Reservaciones

ARGUMENTO Y REGLA

Reactivo 1 | Demostrar: ~ q1) (q ⊃ r) 2) (r ⊃ s) 3) (s ⊃p) 4) ~ p5) ~ s MTT_ 3, 46) ~ r MTT 2,57) ~ q MTT 1,6 |

Reactivo 2 | Demostrar: p1)(p ∨ r)2) (~r ∨ s)3) (~s ∨ q)4) ~ q5) ~s _MTP_ __3,4__6) ~r _MTP_ __2,5__7) p _MTP_ __1,6__ |

Reactivo 3 | Demostrar: (p ⊃ r) 1) (p ⊃ q) 2) (q ⊃ r) 3) (p⊃ r) __SH__ _1,2_ |

Reactivo4 | Demostrar: (p ⊃ q) 1) (p ⊃ r) 2) (r ⊃ s) 3) (s ⊃w)4) (w ⊃q)5) (p ⊃ s) _SH_ _1,2_6) (s ⊃ q) _SH_ _3,4_7) (p ⊃ q) _SH_ _5,6_ |

Reactivo 5 | Demostrar: q1) (p ⊃ q) 2) (p ∨ r)3) (~r∧ s)4) ~r _SIMP _3_5) p _MTP_ _2,4_6) q _MPP_ _1,5_ |

Reactivo 6 | Demostrar: [(p ⊃ s) ∧ ( s⊃ q)] 1) [(p ⊃r) ∧ (r ⊃ s)] ∧ [(s ⊃ w) ∧ (w ⊃q)]2) (p ⊃ r) ∧ (r ⊃ s) _SIMP__1__3) (p ⊃ r) _SIMP_ _2__4) (r ⊃s) _SIMP_ _2___5) (p⊃s) _SH__ _ 3,4__6) (s ⊃ w) ∧ (w ⊃ q) _SIMP_ __1___7) (s ⊃ w) _SIMP_ __6__8) (w ⊃ q) _SIMP __6__9) (s ⊃q)_SH_ _7,8_10) [(p ⊃ s) ∧ ( s ⊃q)] _CONJ_ _5,9_ |

Reactivo 7 | Demostrar: [ (p ∧q) ∨ s]1) (~p ⊃ h)2) (w ⊃ q)3) (w ∨ k)4) (~h ∧ ~k)5) ~h _SIMP 46) p _MPP 1,5 7) ~k_SIMP 48) w _MTP 3,79) q _MPP 2,810) (p ∧ q) CONJ 6,911) [ (p ∧ q) ∨ s] AD 7 |

Reactivo 8 | Demostrar: [ (p ⊃ s) ∧ (q ∨r) ]1) (q ∨ g)2) (g ⊃ w)3) (h ⊃ ~w)4) (h ∨ k)5)~k ∧ [(p ⊃ m) ∧ (m ⊃ s)]6) ~k SIMP 57) h MTP 4.68) ~w MPP 3,79) ~g MTT 2,810) q MTP 1,911) (p ⊃ m) ∧ (m ⊃s) SIMP 5 12) (p ⊃ m) SIMP1113) (m ⊃ s) SIMP 1114) (p ⊃ s) SH 12, 1315) (q ∨ r) AD 1016) [ (p ⊃ s) ∧ (q ∨ r) ] CONJ 14,15 |

Reactivo 9 | Demostrar: [ (s ∧~q) ∨ w] 1)(p ⊃ s) 2) (q ⊃ b) 3) (p ∧ ~b)4) (h ∨ q)5) p SIMP 35) s MPP 1,56) ~b SIMP 37) ~ q MTT 2,68)(s ∧ ~q) CONJ 5,79) [ (s ∧ ~q) ∨ w] AD 8 |

Reactivo 10 | Demostrar: (p ∧...