Tarea 1: Conceptualización de las reglas de inferencia.

Socializar en el Foro diseñado para el desarrollo de la actividad la conceptualización y dos

ejemplos específicos (En caso de ser extraído por alguna fuente bibliográfica, se debe citar
correctamente empleando normas APA) de un grupo de las Reglas de Inferencia Lógica.
 Silogismo Hipotético, Simplificación y Leyes de Morgan.

Silogismo Hipotético.

El silogismo hipotético se compone de dos premisas condicionales, la primera es una condicional

y la segunda tiene como antecedente al consecuente de la primera premisa y la conclusión se forma
con el antecedente de la segunda premisa.
1ªpremisa:P----->Q
2ªpremisa:Q---->R
Conclusión:P--->R.

Claramente se percibe que la conclusión es una proposición condicional y que las dos premisas
también son condicionales. (abc, 2007)

Ejemplo 1.

Si no me despierto, entonces no voy a ir a trabajar.

Si no voy a trabajar, entonces no me pagan mi sueldo.
Podemos Concluir: Si no me despierto, entonces no me van a pagar mi sueldo.
Ejemplo 2.

Si se satisfacen las necesidades básicas, entonces el estado recauda como corresponde.

Si el estado recauda como corresponde, entonces el ciudadano está consciente del pago de sus
tributos.
Podemos concluir:- Si se satisfacen las necesidades básicas, entonces el ciudadano es
consciente del pago de sus tributos.
Simplificación.

la simplificación es una inferencia inmediata válida, forma de argumento y regla de inferencia que
hace que la inferencia de que, si la conjunción A y B es cierta, entonces A es verdad ( o bien "B
también es verdad", otra conclusión). La regla permite acortar las pruebas más largas mediante la
derivación de una de las conjunciones de una conjunción en una línea por sí misma. (Wikipedia,
2014)

Ejemplo 1.

Llueve y llueve a cántaros.

Por lo tanto, está lloviendo.
La regla se puede expresar el lenguaje formal como:

donde la regla es que cada vez que aparecen las instancias de "P ^󠆑 Q " en las líneas de se puede
colocar en una prueba, "P" o "Q" en una línea posterior.

Ejemplo 2.

Hago mucho deporte y estoy cansado.

Por lo tanto, hago mucho deporte
La regla se puede expresar el lenguaje formal como:

Hago mucho deporte y estoy cansado.

Por lo tanto, estoy cansado.
Leyes de Morgan

Las Leyes de Morgan permiten:

El cambio del operador de conjunción en operador de disyunción y viceversa. Las proposiciones

conjuntivas o disyuntivas a las que se aplican las leyes de Morgan pueden estar afirmadas o
negadas (en todo o en sus partes).

Casos:

¬(P ^ Q) ≡ (¬P v ¬Q)

Si nos encontramos con una proposición conjuntiva totalmente negada, la ley de Morgan nos
permite transformarla en una proposición disyuntiva con cada uno de sus miembros negados

¬(P v Q) ≡ (¬P ^ ¬Q)

Si nos encontramos con una proposición disyuntiva totalmente negada, la ley de Morgan nos
permite transformarla en una proposición conjuntiva con cada uno de sus miembros negados

(P ^ Q) ≡ ¬ (¬ P v ¬ Q)

Si nos encontramos con una proposición conjuntiva afirmada, la ley de Morgan nos permite
transformarla en una proposición disyuntiva negada en su totalidad y en sus miembros.

(P v Q) ≡ ¬(¬P ^ ¬Q)

Si nos encontramos con una proposición disyuntiva afirmada, la ley de Morgan nos permite
transformarla en una proposición conjuntiva negada en su totalidad y en sus miembros. (Calameo,
2015)

Ejemplo 1.

 (1) No llueve y no hace sol.

Se puede también expresar, en forma algo forzada, diciendo:

 (2) No ocurre que llueva o que haga sol.

Si (1) y (2) significan lo mismo en el lenguaje corriente, entonces en Lógica será válido concluir
(1) de (2) o (2) de (1), lo que expresado en símbolos es:
(a) de ¬ P ^ Q se puede concluir ¬ (P V Q).
y
(b) de ¬ (P V Q) se puede concluir ¬ P ^ ¬ Q.
Así (b) dice que, si no se tiene o P o Q, entonces no se tiene P y no se tiene Q. La regla que
permite esta conclusión es una de las denominadas leyes de Morgan
Ejemplo 1.

 Karen sale o Francisco compra un obsequio

Expresado en símbolos es: ¬(KvF)

Según las leyes de Morgan, podemos también expresarlo así:

 Karen no sale y Francisco no compra el obsequio.

Expresado en símbolos es: (¬K)^(¬F)