Com relação a estruturas lógicas, julgue o item a seguir, nos quais são utilizados os símbolos usuais dos conectivos lógicos e as letras P, Q, R e S representam proposições lógicas.

Considere que a figura acima apresenta as colunas iniciais de uma tabela verdade, com P e Q representando proposições lógicas. Nessa situação, a última coluna da tabela-verdade referente à proposição lógica P ⇒ (∿Q), em que o símbolo ∿ representa o conectivo de negação, quando escrita na posição horizontal, é igual a:

Com relação a estruturas lógicas, julgue o item a seguir, nos quais são utilizados os símbolos usuais dos conectivos lógicos e as letras P, Q, R e S representam proposições lógicas.

A frase “A capacidade hoteleira e o número de empregos cresceram 10% no ano de 2003 no Nordeste brasileiro, e isso foi consequência do total de 90 milhões de reais investidos na área de turismo pelo governo federal e pelos governos estaduais dessa região no ano de 2002” pode ser expressa corretamente pela proposição lógica (P˄Q) ⇒ (R˄S).

Com relação a lógica proposicional, julgue o item a seguir.

Considere as seguintes proposições

p: “Paola é feliz”;

q: “Paola pinta um quadro”.

Assim, a proposição “Paola é feliz apenas se ela pinta um quadro” pode ser representada por ~(p^~q).

Com relação a lógica proposicional, julgue o item a seguir.

Uma tautologia é uma proposição composta em que seu valor lógico será sempre verdadeiro, independentemente do valor lógico das proposições que a estruturam. Nesse sentido, considerando-se p e q como proposições, a proposição composta p^q <-> ~(p -> ~q) é uma tautologia.

P1: Se a fiscalização foi deficiente, as falhas construtivas não foram corrigidas.

P2: Se as falhas construtivas foram corrigidas, os mutuários não tiveram prejuízos.

P3: A fiscalização foi deficiente.

C: Os mutuários tiveram prejuízos.

Considerando um argumento formado pelas proposições precedentes, em que C é a conclusão, e P1 a P3 são as premissas, julgue o item a seguir.

A tabela verdade da proposição condicional associada ao argumento tem menos de dez linhas.

Julgue o item.

Se x, y e z são números naturais, então (x*y - z)*(z + x) sempre será um número inteiro.