Durante uma aula de Lógica Proposicional na escola Pensar Melhor, a professora Mariana estava explicando aos alunos os conceitos fundamentais de tautologia, contradição e contingência. Para ajudar os alunos a compreenderem esses conceitos, ela decidiu usar exemplos práticos e uma questão de múltipla escolha para fixar o aprendizado.

Ela começou a aula explicando que, na lógica, uma contradição é uma proposição composta que é sempre falsa, independentemente dos valores de verdade das proposições que a compõem. Isso é diferente de uma tautologia, que é uma proposição que é sempre verdadeira, e de uma contingência, que pode ser verdadeira ou falsa dependendo dos valores das suas proposições componentes.

Após a explicação, a professora apresentou uma questão para os alunos resolverem.

Qual das afirmativas, de acordo com a Lógica, denomina-se Contradição?