Imagine que você está estudando Lógica Formal em um curso de Filosofia. Durante a aula, o professor apresenta uma proposição lógica e pede para que os alunos analisem. A proposição

contradição, ou seja, uma proposição que é falsa em qualquer interpretação possível das variáveis proposicionais p e q.

contigência, ou seja, uma proposição que pode ser verdadeira em qualquer interpretação possível das variáveis proposicionais p e q.

contigência, ou seja, uma proposição que pode ser falsa ou verdadeira em qualquer interpretação possível das variáveis proposicionais p e q.

tautologia, ou seja, uma proposição que é verdadeira em qualquer interpretação possível das variáveis proposicionais p e q.