Abner é aluno de um curso de Bacharelado
em Ciência da Computação ofertado pelo IFSP.
Em uma aula de Lógica Formal, seu professor propôs a construção da tabela verdade para a sentença
lógica a seguir:
(p ↔ q) → (p ∨ r)'
Por uma questão de praticidade, o professor optou
substituir o símbolo de negação, tradicionalmente, indicado por (~) por aspas simples ('). Desse
modo, ao escrever, por exemplo, p' , o professor
refere-se a ~ p.
Contudo Abner foi desatento em suas anotações
e não considerou o símbolo de negação colocado
na sentença proposta pelo professor para fazer a
tabela verdade. Ao compararmos as duas tabelas
verdades, a proposta pelo professor e a resolvida
por Abner, podemos afirmar que: