ExercÃcios resolvidos do capÃtulo 2 - DesidÃ©rio Murcho

More documents

Recommendations

Info

F V V F F F F V F F V F F F V V F F F F F V V F O sequente não é tautológico. h) Interpretação: P: Há liberdade nos países comunistas. Q: Devia visitar a China. Formalização: ¬P ⊨ ¬Q Inspetor de Circunstâncias: P Q ¬P ⊨ ¬Q V V F F V F F V F V V F F F V F O sequente não é tautológico. i) Interpretação: P: Deus é sumamente bom. Q: Deus é to<strong>do</strong> poderoso. R: O Mal existe. Formalização: P ∧ Q, (P ∧ Q) → ¬R, R ⊨ ¬P ∨ ¬Q Inspetor de Circunstâncias: P Q R ¬P ¬Q ¬R P ∧ Q (P ∧ Q) → ¬R R ⊨ ¬P ∨ ¬Q V V V F F F V F V F V V F F F V V V F F
V F V F V F F V V V V F F F V V F V F V F V V V F F F V V V F V F V F V F V F V F F V V V F F V V V F F F V V V F V F V O sequente é tautológico. j) Interpretação: P: O Diabo tem graças redentoras. Q: O Diabo é completamente mal. Formalização: ¬P → Q ⊨ Q → ¬P Inspetor de Circunstâncias: P Q ¬P ¬P → Q ⊨ Q → ¬P V V F V F V F F V V F V V V V F F V F V O sequente não é tautológico. Página 60 1 – a) P → ¬P P ¬P P → ¬P V F F F V V Fórmula contingente. b) (P ∧ Q) ↔ (Q ∧ P) P Q (P ∧ Q) ↔ (Q ∧ P)
Page 1: Lógica I (FIL 120) Exercícios
Page 5 and 6: c) (P → Q) ↔ (Q → P) P
Page 7: d) P ⊨ P → Q P Q P ⊨
Page 11: E-CLIPMAKER Hi-Res Handheld Miniatu
Page 16 and 17: V V V V V V F F V F F V F
Page 18 and 19: P Q ¬Q (P ∧ (P → Q))
Page 20 and 21: F V F V F F F F F V V F
Page 22 and 23: V V F F F V V V V F V V
Page 24 and 25: a) Caso o sequente “A, B, C
Page 26 and 27: (Q ∨ ¬Q) ∧ ¬ (P ∨ ¬

ExercÃ­cios resolvidos do capÃ­tulo 2 - DesidÃ©rio Murcho

Create successful ePaper yourself

Delete template?

Save as template?

ExercÃcios resolvidos do capÃtulo 2 - DesidÃ©rio Murcho