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.
d) P ⊨ P → Q P Q P ⊨ (P → Q) V V V V V F V F F V F V F F F V Não é um sequente tautológico. e) P ⊨ Q → P P Q P ⊨ Q → P V V V V V F V V F V F F F F F V É um sequente tautológico. f) P → Q ⊨ Q → P P Q P → Q ⊨ Q → P V V V V V F F V F V V F F F V V Não é um sequente tautológico. g) P ∧ Q ⊨ P ∨ Q P Q P ∧ Q ⊨ P ∨ Q V V V V V F F V F V F V F F F F O sequente é tautológico. h) P ∨ Q ⊨ P ∧ Q