LAS REGLAS DE INFERENCIA Y EQUIVALENCIA.

Reglas de Inferencia.
Las reglas de inferencia son principios lógicos que permiten deducir conclusiones a partir de
premisas. Estas reglas son fundamentales en la lógica proposicional y se utilizan para
establecer la validez de argumentos.
Principales Reglas de Inferencia.

1-Modus Ponens (MPP): Si P → Q y P son verdaderos, entonces Q es verdadero.

Ejemplo: Si llueve (P), entonces la calle está mojada (Q). Llueve, por lo tanto, la calle está
mojada.

-Se puede tener en cuenta el siguiente esquema:

1.si A ocurre, entonces ocurrirá B.
2.A ocurre.
3.podemos concluir que B ocurrirá.
-Su forma lógica sería la siguiente: P1: p → q
P2: p
_________________
C: q

2-Modus Tollens (MTT): Si P → Q es verdadero y ¬Q es verdadero, entonces ¬P es verdadero.

Ejemplo: Si llueve (P), entonces la calle está mojada (Q). La calle no está mojada (¬Q), por lo
tanto, no llueve (¬P).

1. Si A ocurre entonces ocurrirá B.

2. No ocurre B.
3. Podemos concluir que tampoco ocurrió el antecedente el antecedente A.

Su forma lógica es: p1: p → q

P2: ¬q
_______________
C: ¬p
3-Silogismo Disyuntivo (S.D.): si P es verdadero, entonces P∨Q es verdadero para
cualquier Q.

Ejemplo: La luna es un satélite. Por lo tanto, la luna es un satélite o el sol es una estrella.

P1: p v q P1: p v q
P2: ¬p P2: ¬q
___________. O también puede darse el caso _______________.
C: q C: p

4-Silogismo Hipotético (S.H.): se da una transitividad cuando la condición necesaria de un

condicional es a su vez la condición suficiente de otro condicional.

Ejemplo: P1: p → q (q_ condición necesaria).

P2: q → r (q_ condición suficiente).
__________________
C: p → r

5-Conjunción(conj.): Si P es cierta y Q es cierta, entonces la conjunción “P y Q” también es

cierta.
Forma lógica:
1. P
2. Q
______________.
C: P ^ Q

-Debemos recordar la regla, si ambas proposiciones son verdaderas la conclusión también

lo será.

6-Adición (Ad): Si P es verdadera, entonces su conjunción con cualquier otro enunciado

también será cierta.
Forma lógica:
P1: P
_______________.
C: P v Q
Hay que tener en cuenta que para que una disyunción sea verdad, sólo una parte de la
disyunción tiene que ser verdad. Así que, dado un enunciado cualquiera, es posible
expresarlo como una elección (disyunción) acompañado por cualquier otro enunciado. Por lo
que si sabemos que P ya es una verdad, se deduce que “P o Q” es también verdad sin
importar lo que Q sea.

Ejemplo:
1. En el planeta Tierra habitan seres humanos.
2. En el planeta Tierra habitan los seres humanos o la Luna es de queso.
 7-Simplificación (Simp.):Si la conjunción de P y Q es cierta, entonces P es cierta y Q es
cierta.
Forma lógica:
P1: p ^ q o bien P1: p ^ q
C: p C: q

Para que un conjunto como P^Q sea cierto, P y Q deben ser ciertas. Así que la
simplificación nos permite concluir de P^Q que P es cierta y que Q es cierta.
Ejemplo:
1. Kumiko está tocando el eufonio, y Jeanne está tocando el piano.
2. Jeanne está tocando el piano.
1. Kumiko está tocando el eufonio, y Jeanne está tocando el piano.
2. Kumiko está tocando el eufonio.

REGLAS DE EQUIVALENCIA.
8-Doble negación (D.N.):

p ¬p ¬(¬p)
V F V
F> V F

En la columna p aparecen todos los posibles estados de verdad de p (es decir, p tiene dos
posibles interpretaciones, verdadero o falso), mientras que la columna ¬p muestra los valores
correspondientes a la negación de p.

Los valores de la columna ¬(¬p) no son más que la negación de ¬p (que a su vez ya es una
negación). De esta forma, si ¬p es V, entonces ¬(¬p) es F, y viceversa. Lo notable de la tabla
anterior es que las filas de los enunciados p y ¬(¬p) son iguales para las dos filas (es decir, para
las dos posibles interpretaciones V y F).

Doble negación y lenguaje natural.

En el lenguaje natural con frecuencia utilizamos la negación de forma diferente al uso propio
del lenguaje formal de la lógica. Es típico de las lenguas naturales hacer un uso "poco lógico"
de la negación. Así, en castellano decimos "No sé nada" para dar a entender que nada
sabemos, cuando si aplicamos una lógica estricta, no saber nada equivaldría a saber algo.

¬¬p ≡ p o bien p ↔ ¬¬p

¬¬p p
________. _________.
p ¬¬p

¬¬ 2 = V
9-Teorema de De Morgan (T.D.M.):

***Una primera ley de De Morgan. ¬ (P ∧ Q) ≡ ¬P ∨ ¬Q

-Una de ellas se puede expresar del siguiente modo: ¬ (p ∧ q) ≡ (¬p) ∨ (¬q).

-Procedamos a demostrar que las expresiones a ambos lados del signo ≡ son lógicamente
equivalentes:
p∧ ¬(p∧q (¬p)∨(¬q
pq ¬p ¬q
q ) )
VV V F F F F
VF F V F V V
FV F V V F V
FF F V V V V

-Las dos columnas de los enunciados ¬(p∧q), y (¬p)∨(¬q) tienen los mismos valores de
verdad y falsedad para cada una de sus posibles interpretaciones. Por lo tanto, queda claro
que son lógicamente equivalentes.

Fíjate que en lenguaje natural esta ley de DeMorgan se puede expresar de la siguiente
forma: "La negación de una conjunción es lógicamente equivalente a un enunciado
disyuntivo en el que cada uno de sus términos es negado".

***Una segunda ley de De Morgan.

-La otra ley de De Morgan se puede representar de la siguiente manera: ¬(p ∨ q) ≡

(¬p)∧(¬q).

¬(p∨q
p q p∨q )
V V V F

V F V F

F V V F

F F F V

(¬p)∧(¬q
p q ¬p ¬q )
V V F F F

V F F V F

F V V F F

F F V V V
-En términos de lenguaje natural, se puede formular de la siguiente manera: "La negación de
una disyunción es lógicamente equivalente a una conjunción en el que cada uno de sus
términos es negado".

10-Conmutación (conm.):

Teoría

-La regla de conmutación establece que el orden de las proposiciones en una conjunción
(AND) o en una disyunción (OR) no afecta el valor de verdad de la expresión. Esta propiedad
es fundamental en la lógica proposicional y se puede expresar de la siguiente manera:

1. Conjunción :

 P∧ Q≡Q∧ P
 Esto significa que "P y Q" es equivalente a "Q y P".

2. Disyunción :

 P∨ Q≡Q∨ P
 Esto indica que "P o Q" es equivalente a "Q o P".

-Ambas expresiones son lógicamente equivalentes porque tienen el mismo valor de verdad
para todas las combinaciones posibles.

Tabla de Verdad para Conjunción.

P Q P∧Q Q∧P
V V V V

V F F F

F V F F

F F F F

Tabla de Verdad para Disyunción.

P Q P∨Q Q∨P
V V V V

V F V V

F V V V

F F F F
11-Asociativa (asoc.):

Teoría
-La regla de equivalencia asociativa en lógica proposicional establece que el modo en que se
agrupan las proposiciones no afecta el valor de verdad de una expresión. Esta propiedad se
aplica a las operaciones de conjunción (AND) y disyunción (OR). Las formas generales son:
1. Conjunción :

 (P ∧ Q) ∧ R ≡ P ∧ (Q ∧ R)
 Esto significa que "P y Q, y R" es equivalente a "P y (Q y R)".

2. Disyunción :

 (P ∨ Q) ∨ R ≡ P ∨ (Q ∨ R)
 Esto indica que "P o Q, o R" es equivalente a "P o (Q o R)".

12-Distributiva (distr.):

Teoría
La ley de equivalencia distributiva en lógica proposicional describe cómo se pueden
distribuir las operaciones de conjunción (AND) y disyunción (OR) dentro de expresiones
lógicas. Esta ley es análoga a la propiedad distributiva en álgebra y tiene dos formas
principales:

1. Distributiva de la Conjunción sobre la Disyunción:

 P ∧ (Q ∨ R) ≡ (P ∧ Q) ∨ (P ∧ R)
 Esto significa que "P y (Q o R)" es equivalente a "(P y Q) o (P y R)".

2. Distributiva de la Disyunción sobre la Conjunción:

 P ∨ (Q ∧ R) ≡ (P ∨ Q) ∧ (P ∨ R)
 Esto indica que "P o (Q y R)" es equivalente a "(P o Q) y (P o R)".

Esta equivalencia distribuye los elementos de una conjunción mediante una disyunción
cuando se encuentra en la misma PM. Su forma Lógica es:

[p v (q ᴧ r )] [p ᴧ (q v r)]
______________ __________________
[(p v q) ᴧ (p v r)] [(p ᴧ q) v (p ᴧ r)]
Aplicación de las reglas de inferencias y equivalencias.

1) p v ( q v r )
2) (q → s) ᴧ ( r → t)
3) (s ᴧ t) → (p v r)
4) ¬p
_________________________.
encontrar C: r
5) q v r S.D. 1,4. silogismo disyuntivo.
6) s v t D.C. 2,5. dilema constructivo.
7) p v r M.P. 3,6. modus ponens ponens.
8) r S.D. 7,4. Silogismo disyuntivo.

-El silogismo constructivo, también conocido como dilema constructivo, es una regla de
inferencia válida en lógica proposicional. Esta regla establece que si se tienen dos
condicionales y al menos uno de sus antecedentes es verdadero, entonces se puede concluir
que al menos uno de los consecuentes también es verdadero.

https://www.perplexity.ai/search/apliacion-de-la-regla-de-infer-_ytOndzJQ6a7IHG4FKj.Yg

1. p → q (Si p entonces q)
2. q → r (Si q entonces r)
3. p (Si es así p es verdadero)
_______________.
C: r
4. q M.P.P 1,3
5. p → r S.H. 1,2
6. r M.P.P 2,4

https://youtu.be/Jrx8W3tOIn4