Mostre que cada uma das seguintes implica¸c˜oes ´e uma tautologia
usando tabela-verdade:
1 [¬p ∧ (p ∨ q)] → q;
2 [(p → q) ∧ (q → r)] → (p → r);
3 [p ∧ (p → q)] → q;
4 [(p ∨ q) ∧ (p → r) ∧ (q → r)] → r.
Mostre usando tabela-verdade as leis de equivalˆencia l´ogica.
usando tabela-verdade:
1 [¬p ∧ (p ∨ q)] → q;
2 [(p → q) ∧ (q → r)] → (p → r);
3 [p ∧ (p → q)] → q;
4 [(p ∨ q) ∧ (p → r) ∧ (q → r)] → r.
Mostre usando tabela-verdade as leis de equivalˆencia l´ogica.
More Questions From This User See All
