Regla De Interferencias

Reactivo 1:

Demostrar: (q ⊃ t)

1) (q ⊃ r)

2) (r ⊃ s)

3) (s ⊃ t)

4) (q ⊃ s) SH 1,2

5) (r ⊃ t) SH 2,3

6) (q ⊃ t) SH 1,5

Reactivo 2:

Demostrar: ~ q

1) (q ⊃ r)

2) (r ⊃ s)

3) (s ⊃ t)

4) ~ t

5) (q ⊃ s) SH 1,2

6) ~ s MTT 3,4

7) ~ q MTT 5,6

Reactivo 3:

Demostrar: (~r ∧ ~s)

1) (r ⊃ m)

2) (s ⊃ w)

3) (~m ∧ ~w)

4) ~m SIMP 3

5) ~r MTT 1,4

6) ~w SIMP 3

7) ~s MTT 2,6

8) (~r ∧ ~s) CONJ 5,7

Reactivo 4:

Demostrar:(p∧ ~q)

1) (r ⊃p)

2) (q ⊃ s)

3) (r ∧ ~s)

4) r SIMP 3

5) p MPP 1,4

6) ~s SIMP 3

7) ~q MTT 2,6

8) (p ∧ ~q) CONJ 5,7

Reactivo 5:

Demostrar:p ∨ f

1) (r ⊃ s)

2) (s ∨m) ⊃ p

3) (r ∧b)

4) r SIMP 3

5) s MPP 1,4

6) (s ∨m) AD 5

7) p MPP 2,6

8) (p ∨ f) AD 7

...