Considere as proposições P e Q a seguir.


P: Todo processo que tramita no tribunal A ou é enviado para tramitar no tribunal B ou no tribunal C.

Q: Todo processo que tramita no tribunal C é enviado para tramitar no tribunal B.

A partir dessas proposições, julgue o item seguinte.


A proposição ¬P→[P→Q], em que ¬P denota a negação da proposição P, é uma tautologia, isto é, todos os elementos de sua tabela-verdade são V (verdadeiro).

Uma proposição é uma sentença que pode ser julgada
verdadeira (V) ou falsa (F). As proposições são normalmente
representadas pelas letras maiúsculas A, B, C etc. A partir de
proposições dadas, podem-se construir novas proposições
compostas, mediante o emprego de símbolos lógicos chamados
conectivos: "e", indicado pelo símbolo lógicoImagem 011.jpg , e "ou", indicado pelo símbolo lógico Imagem 012.jpg. Usa-se o modificador "não", representado pelo símbolo lógico ¬, para produzir a negação de uma
proposição; pode-se, também, construir novas proposições
mediante o uso do condicional "se A então B", representado
por AImagem 013.jpgB.O julgamento de uma proposição lógica composta
depende do julgamento que se faz de suas proposições
componentes. Considerando os possíveis julgamentos V ou Fdas
proposições A e B, tem-se a seguinte tabela-verdade para
algumas proposições compostas.
Imagem 014.jpg
Considerando-se a proposição A, formada a partir das
proposições B, C etc. mediante o emprego de conectivos (Imagem 015.jpg ou
Imagem 016.jpg), ou de modificador (¬) ou de condicional (Imagem 017.jpg), diz-se que A é uma tautologia quando A tem valor lógico V, dependentemente
dos valores lógicos de B, C etc. e diz-se que A é uma contradição
quando A tem valor lógico F, independentemente dos valores
lógicos de B, C etc. Uma proposição A é equivalente a uma
proposição B quando A e B têm as tabelas-verdade iguais, isto é,
A e B têm sempre o mesmo valor lógico.

A proposição (AImagem 009.jpgB) Imagem 009.jpg (¬A Imagem 010.jpgB) é uma tautologia.

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

Considerando-se as proposições simples “Cláudio pratica esportes” e “Cláudio tem uma alimentação balanceada”, é correto afirmar que a proposição “Cláudio pratica esportes ou ele não pratica esportes e não tem uma alimentação balanceada” é uma tautologia.

Considerando que, P, Q e R são proposições conhecidas, julgue os próximos itens.

A proposição [(P ∧ Q) → R] ∨ R é uma tautologia, ou seja, essa proposição é sempre verdadeira independentemente dos valores lógicos de P, Q e R.

Julgue o item a seguir, relativos a raciocínio lógico e operações com conjuntos.

Para quaisquer proposições p e q, com valores lógicos quaisquer, a condicional p → (q → p) será, sempre, uma tautologia.

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.