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: