Observe a frase: ''todos os quadros são azuis''. Em relação à lógica de primeira ordem, selecione a opção correta.
A negação da frase é: ''existe...
Observe a frase: ''todos os quadros são azuis''. Em relação à lógica de primeira ordem, selecione a opção correta.
A negação da frase é: ''existe pelo menos um quadro que não é azul''. A negação da frase é: ''existe pelo um quadro branco''. A frase é equivalente a: ''para qualquer quadro existente, ele pode ser azul''. A frase pode ser representada por três variáveis:''todos'', ''os quadros'' e ''são azuis''. A frase pode ser representada pela lógica sentencial, mas não pela lógica de primeira ordem.
Compartilhar