Razonamiento logico

REGLAS DE INFERENCIA
PAG. 52
C) DEDUCIR LA CONCLUSIÓN QUE SE DESEA DEMOSTRAR. EXPRESANDO LA REGLA APLICADA PARA DEDUCIR CADA LÍNEA E INDICANDO LAS LÍNEAS QUE SE HAN UTILIZADO AL APLICAR LA REGLA.I. Demostrar ̴N
(1) R→ ̴ S P
(2) R P
(3) ̴S → Q P
(4) Q→ ̴N P
(5) ̴SPP 1,2
(6) Q PP 3,5
(7) ̴ N PP 4,6

II. Demostrar B

(1) ̴G→E P
(2) E→KP
(3) ̴G P
(4) K→ ̴L P
(5) ̴L→M P
(6) M→B P
(7) E PP1,3
(8) K PP 2,7
(9) ̴L PP 4,8
(10) M PP 5,9
(11) B PP 6,10III. Demostrar R˅S

(1) C˅D P
(2) C˅D → ̴F P
(3) ̴F →A˄ ̴B P
(4) A˄ ̴B → R˅SP
(5) ̴F PP 1,2
(6) A˄ ̴B PP 3,5
(7) R˅S PP 4,6Pág. 54 y 55
a.
1. No ocurre que todos los mamíferos no son animales de sangre caliente.
2. El núcleo de un átomo está cargado positivamente.
3. No ocurre que el granito noes un tipo de mineral ígneo.
4. No ocurre que en los Estados Unidos las elecciones presidenciales no tienen lugar cada cuatro años.
5. Un quinto es el veinte por ciento.
b.
1. (1) P &Q R
(2) R
2. (1) Q R v S
(2) Q
(3) R v S PP 1,2
3. (1) ~~R
(2) Q ~~R
4. (1) S
(2) S ~P
(3) ~P PP...