Imagine que um professor de lógica está ministrando uma aula sobre proposições compostas e suas classificações. Durante a aula, ele apresenta três tipos de proposições: tautologias, contradições e contingências, explicando suas características principais por meio de exemplos.
Ao final de sua explicação, para testar os alunos ele apresenta as seguintes afirmações, pedindo ao alunos que verifiquem quais estão corretas:

- Uma tautologia é uma proposição composta que sempre resulta em verdadeiro, independentemente dos valores das proposições simples que a compõem.
- Uma contradição é uma proposição composta que sempre resulta em falso, independentemente dos valores das proposições simples.
- Uma contingência é uma proposição composta que apresenta tanto valores verdadeiros quanto falsos em sua tabela-verdade, dependendo das combinações dos valores das proposições simples.

Considerando essas afirmações os alunos devem afirmar que: