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: