PRACTICA DE INFERENCIA LOGICA
A.- Demostrar razonamiento siguiente: ⇒ (P ∧ M)
1) P ∧ Q
2) M → (R ∧ S)
3) S → (T ∧ Q)
B.- Demostrar razonamiento siguiente: ⇒ T → (S ∨ R)
1) R → (P ∧ Q)
2) S → (¬T ∨ U)
3) ∧ (S ∧ R)
4) T → (S ∧ U)
C.- Demostrar el siguiente razonamiento: ⇒ P → ( (Q ∨ R) → T ∨ S)
1) (P ∨ Q → R ∨ M)
2) R → (T ∨ S)
3) N → S
4) (M ∧ R → N)
D.- Demostrar el siguiente razonamiento: ⇒ P ∧ Q
1) P ↔ Q
2) Q → R
3) R
E.- Demostrar el siguiente razonamiento: ⇒G Ʌ F
1) C → B
2) D →(E Ʌ F)
3) A Ʌ B
4) (A Ʌ E) → G
5) C v D
F.- Demostrar el siguiente razonamiento: ⇒ r v s
1) P → A
2) Q → B
3) P → r
4) A v B
5) Q → s