Questões sobre Tautologia e Contradição

Julgue os itens que se seguem, acerca de proposições e seus valores lógicos.

A proposição é uma tautologia.

Entre as opções abaixo, qual exemplifica uma contradição formal?

Considere que um delegado, quando foi interrogar Carlos e José, já sabia que, na quadrilha à qual estes pertenciam, os comparsas ou falavam sempre a verdade ou sempre mentiam. Considere, ainda, que, no interrogatório, Carlos disse: José só fala a verdade, e José disse: Carlos e eu somos de tipos opostos. Nesse caso, com base nessas declarações e na regra da contradição, seria correto o delegado concluir que Carlos e José mentiram.

Ainda com relação ao texto, julgue os seguintes itens.

A proposição A/(¬B)→¬(A/B) é uma tautologia.

Com base nas informações acima, julgue os itens a seguir.