ExercÃcios resolvidos do capÃtulo 2 - Desidério Murcho
ExercÃcios resolvidos do capÃtulo 2 - Desidério Murcho
ExercÃcios resolvidos do capÃtulo 2 - Desidério Murcho
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
P Q R Q → R (P → (Q → R)) → (( P → Q) → (P → R)) V V V V V V V V V V V F F F V V F F V F V V V V F V V V F F V V V F V F F V V V V V V V V F V F F V V V V V F F V V V V V V V F F F V V V V V V Tautologia. g) (P → Q) → ((P ∨ R) → Q) P Q R (P → Q) → ((P ∨ R) → Q) V V V V V V V V V V F V V V V V V F V F V V F F V F F F V V F F F V V V V V V V F V F V V F V V F F V V F V F F F F F V V F V F Fórmula contingente. h) (P → Q) → (P → (Q ∨ R)) P Q R (P → Q) → (P → (Q ∨ R)) V V V V V V V V V V F V V V V V V F V F V V V V V F F F V V F F F V V V V F V V F V F V V F V V F F V V V F V V F F F V V F V F Tautologia. i) (P ∧ (P → Q)) ∧ (P → ¬Q)