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:
(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:
