Seu próximo nível começa aqui
Seu desenvolvimento não pode ter limites. Garanta sua Assinatura Ilimitada e libere uma preparação completa com os melhores professores do Brasil.
Abner é aluno de um curso de Bacharelado em Ciência da...
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:
A
Apenas a tabela verdade do professor é uma Tautologia.
B
Apenas a tabela verdade do aluno é uma Tautologia.
C
As duas tabelas verdades são iguais.
D
Os resultados das duas tabelas verdades diferem em 4 linhas.