Com base nas informações do texto, julgue os itens de 25 a 28.

Texto para as questões de 13 a 15

Com respeito à tabela de valores V / F correspondente a cada uma das proposições simbólicas a seguir, assinale a opção que apresenta a proposição que tem todas as possíveis valorações iguais a V.

Uma expressão da forma é uma proposição que tem exatamente as mesmas valorações V ou F da proposição A→B.

 A partir desses conceitos, julgue os próximos itens.

A proposição simbólica possui, no máximo, 4 avaliações V.

Uma dedução é uma seqüência finita de proposições, em que algumas das proposições são assumidas como verdadeiras e, a partir delas, a seqüência é acrescida de novas proposições sempre verdadeiras. A última proposição que se acrescenta é chamada conclusão. A partir das informações acima, julgue os itens a seguir.

Uma proposição da forma tem exatamente 8 possíveis valorações V ou F.

Considerando as informações apresentadas acima, julgue os itens subseqüentes.

Todas as interpretações possíveis para a proposição P   ¬(P   Q) são V.

Considerando as informações apresentadas acima, julgue os itens subseqüentes.

Não é possível interpretar como V a proposição (P→Q)   (P  ¬ Q).

Considerando as informações apresentadas acima, julgue os itens subseqüentes.

Considere que, em cada célula da tabela abaixo, deve-se associar uma projeção da forma P Q, em que P é proposição correspondente à linha e Q à coluna. Algumas células já estão preenchidas e sabe-se que a proposição "rosas são azuis" é F. Nesse caso, o preenchimento correto de todas as células vazias é F.

Numa avenida reta há cinco pontos comerciais, todos do mesmo lado da rua. A farmácia fica entre a padaria e o restaurante, a padaria fica entre o supermercado e a lotérica e o supermercado fica entre o restaurante e a farmácia. Nessas condições, qual das proposições abaixo é verdadeira?

Um dos instrumentos mais importantes na avaliação da validade ou não de um argumento é a tabela-verdade. Considere que P e Q sejam proposições e que " ^", " ^" e "→" sejam os conectores lógicos que representam, respectivamente, "e", "ou" e o "conector condicional". Então, o preenchimento correto da última coluna da tabela-verdade acima é