Questão de Raciocínio Lógico — Tautologia, Contradição e Contingência — IF-SP 2019
Raciocínio LógicoTautologia, Contradição e Contingência
- Código
- qq510522
- Banca
- IF-SP
- Órgão
- IF-SP
- Ano
- 2019
- Nível
- Superior
- Cargo
- Matemática
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:
- AApenas a tabela verdade do professor é uma Tautologia.
- BApenas a tabela verdade do aluno é uma Tautologia.
- CAs duas tabelas verdades são iguais.
- DOs resultados das duas tabelas verdades diferem em 4 linhas.