Questões de Concurso: Proposições com operadores lógicos

Atenção: Para responder as questões de números 47 a 50 deve-se considerar que:

Entende-se por proposição todo conjunto de palavras ou símbolos
que exprimem um pensamento de sentido completo, isto é, que
afirmam fatos ou exprimam juízos a respeito de determinados entes.
Na lógica bivalente, esse juízo, que é conhecido como valor lógico
da proposição, pode ser verdadeiro (V) ou falso (F), sendo objeto
de estudo desse ramo da lógica apenas as proposições que atendam
ao princípio da não contradição, em que uma proposição não pode
ser simultaneamente verdadeira e falsa; e ao princípio do terceiro
excluído, em que os únicos valores lógicos possíveis para uma
proposição são verdadeiro e falso. Com base nessas informações,
julgue os itens a seguir.

Texto para as questões de 11 a 14
Proposição é uma sentença que pode ser julgada como verdadeira — V —, ou falsa — F —, mas não como V e F simultaneamente. Letras maiúsculas do alfabeto são freqüentemente usadas para simbolizar uma proposição básica. A expressão AvB simboliza a proposição composta "A e B" e tem valor lógico V somente quando A e B forem V, nos demais casos, será F. A expressão AwB simboliza a proposição composta "A ou B" e tem valor lógico F somente quando A e B forem F, nos demais casos, será V. A expressão da forma ¬A é a negação da proposição A, e possui valores lógicos contrários aos de A. A expressão A÷B é uma proposição composta que tem valor lógico F somente quando A for V e B for F, e nos demais casos, será V, e pode ser lida como: "se A então B". Uma argumentação lógica correta consiste de uma seqüência finita de proposições, em que algumas, denominadas premissas, são V, por hipótese, e as demais, as conclusões, são V por conseqüência da veracidade das premissas e de conclusões anteriores.

Texto para as questões de 11 a 14

Proposição é uma sentença que pode ser julgada como verdadeira — V —, ou falsa — F —, mas não como V e F simultaneamente. Letras maiúsculas do alfabeto são freqüentemente usadas para simbolizar uma proposição básica. A expressão A?B simboliza a proposição composta "A e B" e tem valor lógico V somente quando A e B forem V, nos demais casos, será F. A expressão A?B simboliza a proposição composta "A ou B" e tem valor lógico F somente quando A e B forem F, nos demais casos, será V. A expressão da forma ¬A é a negação da proposição A, e possui valores lógicos contrários aos de A.
A expressão A?B é uma proposição composta que tem valor lógico F somente quando A for V e B for F, e nos demais casos, será V, e pode ser lida como: "se A então B".
Uma argumentação lógica correta consiste de uma seqüência finita de proposições, em que algumas, denominadas premissas, são V, por hipótese, e as demais, as conclusões, são V por conseqüência da veracidade das premissas e de conclusões anteriores.

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.