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 é:
Ele desafia a turma a determinar a validade dessa
proposição.
Depois de discutir com seus colegas e revisar os
conceitos de lógica proposicional, você conclui que a
proposição é uma: