Question

Observe a frase: ''todos os quadros são azuis''. Em relação à lógica de primeira ordem, selecione a opção correta.


A) A negação da frase é: ''existe pelo menos um quadro que não é azul''.

B) A frase pode ser representada por três variáveis:''todos'', ''os quadros'' e ''são azuis''.

C) A negação da frase é: ''existe pelo um quadro branco''.

D) A frase é equivalente a: ''para qualquer quadro existente, ele pode ser azul''.

E) A frase pode ser representada pela lógica sentencial, mas não pela lógica de primeira ordem.

Answer 1

Resposta: Letra - A

Explicação: Os quantificadores lógicos podem ser universais e existenciais. Os quantificadores universais são usados para generalizar proposições, como, por exemplo: ''qualquer quadro que exista é azul''. No caso do quantificador existencial, indica a existência de pelo menos uma situação em que a proposição é verdadeira, como, por exemplo: ''existe pelo menos uma casa azul''. A negação de uma proposição com quantificador universal é equivalente à existência de, pelo menos, uma exceção.