Questão em destaque · Q1083971
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 sente
IFSP · IFSP · 2019 · Professor de Ensino Básico, Técnico e Tecnológico - Área: Matemática
Resolva a questão abaixo e continue estudando com o banco de questões.
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:
...
...
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:
Responda à questão para liberar o gabarito e as estatísticas.
Carregando plataforma de questões...