Traduza as sentenças que seguem para a lógica de predicados:
Nem todo pássaro voa.
Nem todo pássaro voa.
Passo 1
A sentença é do tipo “Nem todo pássaro voa.”, ou seja, uma negação de uma afirmação geral sobre todos os pássaros. Isso envolve tradução de linguagem natural para lógica de predicados usando quantificadores.
Passo 2
Definimos dois predicados: P(x) para “x é pássaro” e V(x) para “x voa”.
Passo 3
A frase “Nem todo pássaro voa” diz que não é verdade que todo x que é pássaro voe, ou de forma equivalente que existe algum x que é pássaro e não voa.