///
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 \leftrightarrow q) \to (p \lor 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 \leftrightarrow q) \to (p \lor r)'\), 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: