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\mapsto q)\rightarrow (p \vee 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: