Este documento apresenta exercícios de lógica proposicional para determinar se proposições são tautologias, contradições ou contingências. O professor Thomás da Costa fornece 10 proposições para análise, cobrindo tópicos como negação, conjunção, disjunção e implicação. O objetivo é aplicar regras de validade lógica para categorizar cada proposição.