Ed
ano passado
A frase "todos os quadros são azuis" pode ser representada na lógica de primeira ordem como: \[ \forall x (Quadro(x) \rightarrow Azul(x)) \] Dentre as opções apresentadas, a correta é: "A negação da frase é: 'existe pelo menos um quadro que não é azul'." Isso porque a negação de "todos os quadros são azuis" implica que existe pelo menos um quadro que não é azul.
Cadastre-se ou realize login
Mais perguntas desse material