Durante uma aula de Lógica Proposicional na escola Saber Mais, a professora Paula estava introduzindo o conceito de proposições para seus alunos. Ela explicou que a lógica proposicional é a base para o raciocínio lógico e que é essencial entender os diferentes tipos de sentenças e termos usados na lógica.
Paulo ficou contente e elogiou o seu aluno Pedro, pois esse concluiu que no conhecimento da lógica proposicional, toda frase declarativa que se pode classificar como verdadeira ou falsa, porém não ambas ao mesmo tempo, denomina-se: