Logica

El objetivo de este apunte es resolver los últimos dos ejercicios de la guía de
estudio, ¿por qué? Porque no alcanzamos a ver dos reglas de inferencias que son
necesarias para su solución. Las dosreglas son la Ley de la Adición (L. A.) y la Ley
Conmutativa (C. L.). Ninguna vendrá en el examen.
Demostrar ¬K & M
1) (R v B)  L
2) S  (P & Q)
3) S & M
4) ¬T v R
5) Q  T
6) K  ¬L
7) S8) (P & Q)
9) Q
10) T
11) R
12) R v B
13) L
14) ¬K
15) M
16) ¬K & M

S (3)
M. P. (7, 2)
S (8)
M. P. (9, 5)
S. D. (10, 4)
L. A. (11)
M. P. (12, 1)
M. T. (13, 6)
S (3)
A (15, 14)Ley de la Adición.

El nombre de la regla de inferencia empleada en la premisa 12 es Ley de la Adición.
Ésta no vendrá en el examen. De cualquier modo hagan la demostración y
cuando lleguen a estepaso, sólo agreguen lo que aquí apunté. Si desean entender la
regla la Ley de la Adición, revisen la página 216 de su libro de texto.
Si tienen una variable proposicional solita, pueden agregarleotra variable
proposicional ¿cuál? La que ustedes quieran, siempre y cuando el conectivo lógico
sea una disyunción.
1) P
2) P v Q

L. A. (1)

Esta regla de inferencia es parecida a la Adjunción,sólo que ésta emplea una
conjunción ¿recuerdan?
1) P
2) Q
3) P & Q

A (1, 2)

Repito: la Ley de la Adición no vendrá en el examen final.

Demostrar R & P
1) W  Z
2) U  ¬T
3) S  (P &R)
4) U v S
5) (X v Z)  T
6) W & Q
7) W
8) Z
9) X v Z
10) T
11) ¬U
12) S
13) P & R
14) R & P

S (6)
M. P. (7, 1)
L. A. (8)
M. P. (9, 5)
M. T. (10, 2)
S. D. (11, 4)
M. P. (12, 3)
C.L. (13)

Ley de la Adición, ignórala.

Ley Conmutativa.

La segunda regla de inferencia que no vimos es la Ley Conmutativa. Si deseas
entenderla, está en la página 218 de tu libro de texto. Decualquier modo, funciona
así:
1) P & Q
2) Q & P

C. L. (1)

1) P v Q
2) Q v P

C. L. (1)

¿Viste? Es sólo voltear los miembros de un binomio, ¡trivial!
1) Tengo dos manzanas y dos...