Parte D

1. Demostrar: ~T ^ ~P
(1) ~S~R

(2) ~R ~T

(3) ~S P

(4) ~P

(5) S

MTP 4, 3,

(6) ~R

SD 5,1

(7) ~T

MPP 6,2

(8) ~T v ~P

Adjuncin 7,4

2. Demostrar ~R
1) P ~Q
2) ~Q ~S
3) (P ~S) ~T
4) R T
5) P ~S

SH 1,2

6) ~T

MP 5,3

7) ~R

MTT 6,4

3. Demostrar G v ~H
1) (E v F) ~H
2) J E
3) K F
4) J v K
5) E v F

Disyuncin de casos 4, 2,3

6) ~H

MPP 5,1

7) ~H v G

Adicin 6

4. Demostrar S ^ T
1) ~ (P v ~R)
2) Q v P
3) R S

4) (Q ^ S) (T ^ S)
5) ~Q ^ ~P

Ley de Morgan 2

6) ~Q

Simplificacin 5

7) ~P

Simplificacin 5

8) ~ R

MTT 7,1

9) ~S

MTT 8,3

10) S

Doble negacin 9

11) Q

Doble negacin 6

12) S ^ Q

Adjuncin 10,11

13) T ^ S

MPP 12,4

5. Demostrar ~T
1) ~ (P v ~R)
2) Q v P
3) R S
4) (Q ^ S) (T ^ S)
5) P

Simplificacin 2

6) Q

Simplificacin 2

7) S

MPP 5,1

8) R

MPP 6,4

9) S ^ R

Adjuncin 7,8

10) ~ T

MPP 9,3

6. Demostrar S
1) P (Q ^ R)
2) P
3) T ~Q
4) T v S
5) Q ^ R

MPP 2,1

6) Q

Simplificacin 5

7) ~ T

MTT 6,3

8) S

Silogismo disyuntivo 7,4

Parte E
1. Demostrar: S R
1) (R ^ S) v P
2) Q ~ P
3) T ~ P
4) Q v T
5) ~ P

Disyuncin de casos 2, 3,4

6) R ^ S

Silogismo Disyuntivo 1,5

2. Demostrar: ~S
1) ~T ~S
2) ~Q T
3) Q ~R
4) R
5) ~Q

MTT 4,3

6) T

MPP 5,2

7) ~S

Silogismo disyuntivo 6,1

3. Demostrar: ~P
1) R T
2) S Q
3) (T Q) ~P
4) R S
5) T v Q

Disyuncin de casos 1, 2, 4

6) ~P

MPP 3,5