Considerando que os símbolos ¬, ∧, ∨ e → represent...

Q: Considerando que os símbolos ¬, ∧, ∨ e → representam negação, conjunção, disjunção e implicação, respectivamente, indique em qual conjunto de fórmulas não é possível inferir contradição.

A) {A ∧ B, A → C, ¬C} | B) {¬A → ¬B ∧ B, A → ¬B ∧ B} | C) {A ∨ ¬B, B ∧ C, ¬A ∧ C} | D) {¬(A ∧ B), ¬(¬A ∨ ¬B)} | E) {¬A ∨ B, A ∨ C, ¬B ∧ C}

457941200095687

Ano: 2018Banca: COPEVE-UFALOrganização: UFALDisciplina: Raciocínio Lógico e QuantitativoTemas: Tautologia, Contradição e Contingência Lógica | Introdução à Lógica | Equivalência Lógica e Negação de Proposições | Negação - Leis de De Morgan | Proposições e Operadores Lógicos

Considerando que os símbolos ¬, ∧, ∨ e → representam negação, conjunção, disjunção e implicação, respectivamente, indique em qual conjunto de fórmulas não é possível inferir contradição.

Gabarito comentado

Anotações

Marcar para revisão

Considerando que os símbolos ¬, ∧, ∨ e → representam negação, conju...

Questões relacionadas para praticar

Considerando que os símbolos ¬, ∧, ∨ e → representam negação, conju...

Questões relacionadas para praticar