A lógica proposicional trata de argumentações
elaboradas por meio de proposições, isto é, de declarações
que podem ser julgadas como verdadeiras (V) ou falsas (F),
mas nunca como V e F simultaneamente. As proposições
normalmente são simbolizadas por letras maiúsculas do
alfabeto e alguns símbolos lógicos são usados para compor
novas proposições. Uma conjunção, proposição simbolizada
por AvB, é lida como "A e B" e julgada como V somente
quando A e B forem V, e F, nos demais casos. Uma
implicação, proposição simbolizada por A÷B, é lida como
"se A, então B", e julgada como F somente quando A for V
e B for F, e V nos demais casos.
A lógica de primeira ordem também trata de
argumentações elaboradas por meio de proposições da
lógica proposicional, mas admite proposições que
expressem quantificações do tipo "todo", "algum",
"nenhum" etc.
A partir dessas notações e definições, julgue os itens que se
seguem.