Leyes de la Lógica.

Las leyes lógicas, son proposiciones universales, necesarias,

evidentes y verdaderas. Dichas leyes son cuatro, el principio
de identidad, el de contradicción, el de tercero excluido y
el de razón suficiente.

1. El principio de identidad nos dice que una cosa es

idéntica a sí misma, lo que es, es; lo que no es, no es:
Los de software somos Feos, o los de Software no somos feos.

2. El principio de contradicción nos dice que es imposible

afirmar y negar que una cosa es y no es al mismo tiempo y
bajo la misma circunstancia.
10 no es diferente a 10

3. La ley del tercero excluido dice que una declaración es

verdadera o falsa. Por ejemplo: "Estoy embarazado", es
verdadera o falsa. Pero debido a que quien dice es un hombre,
no es posible que esté embarazado. Por lo tanto, la
declaración es falsa. Si fuera una mujer, sería posible que
estuviera embarazada dadas las condiciones normales del
cuerpo de la mujer.

4. El principio de razón suficiente nos dice que "todo objeto

debe tener una razón suficiente que lo explique". Lo que es,
es por alguna razón, "nada existe sin una causa o razón
determinante". El principio de razón suficiente nos da
respuesta a una exigencia natural de nuestra razón, según la
cual nada puede ser nada más "porque sí", pues todo obedece a
una razón.
Ejemplo: El cuadrado de la hipotenusa es igual a la suma
de los cuadrados de los catetos por alguna razón, y esa razón
se nos da cuando hacemos la demostración del teorema.
1ra. REGLA DE LA SUSTITUCION.
Suponga que la proposición compuesta P es una
tautología. Si � es una proposición primitiva que aparece en
P y reemplazamos cada ocurrencia de � por la misma
proposición �, entonces la proposición compuesta resultante
�1 también es una tautología.

2da. REGLA DE LA SUSTITUCION

Sea P una proposición compuesta donde � es una proposición arbitraria que
aparece en P, y sea � una proposición tal que �⇔�. Supongamos que en P
reemplazamos una o más ocurrencias de � por �. Entonces este reemplazo
produce la proposición compuesta �1. En ese caso �1⟺�.

Equivalencias lógicas

Ejemplos:

Sean p, q las proposiciones primitivas

p: Manuel va a la Laguna Nainari

q: María paga los raspados

Y consideremos la siguiente implicación �→� de una forma distinta a

¬�→�. Es decir, queremos evitar decir “No es cierto que si Juan va a la
laguna Nainari, entonces María pagará los cocos” .

Y podemos escribir la negación como

¬(�→�) : Manuel va a la Laguna Nainari, pero Nohely no paga los

cocos de Manuel.

Dualidad de implicaciones
Ejemplo
p: Hoy es jueves en la mañana de navidad
q: Mañana es Viernes

𝐼𝑚�𝑙𝑖𝑐𝑎𝑐𝑖𝑜� � → : Si hoy mañana de navidad, entonces

mañana es viernes
𝐶𝑜�𝑡𝑟𝑎�𝑜𝑠𝑖𝑡𝑖𝑣𝑎 (¬� → ¬�): Si mañana no es viernes,
entonces hoy no es la mañana de navidad
𝑅𝑒𝑐í�𝑟𝑜𝑐𝑎 (� → �): Si mañana es viernes, entonces es
la mañana de navidad
𝐼�𝑣𝑒𝑟𝑠𝑎 ¬� → ¬ : Si hoy no es la mañana de navidad,
entonces mañana no es viernes
Ejercicio:

El resultado es:

El resultado es:
Ejercicio: Como podemos representar la lógica de las condicionales en estos
códigos?.

Ejercicios de Tarea:
Lea desde la pagina 55 para realizar los ejercicios pares 2.2 en la pagina 66.

Ejercicios 2, 4, 6, 8, 10, 12, 14, 16, 18, 20.

Implicación lógica: Reglas de inferencia

 Validez de un Argumento

Consideremos la implicación:
(�1 ∧ �2 ∧ �3 ∧ ⋯ ∧ ��) → �

Aquí, � es un entero positivo, las proposiciones �1, �2, �3, … �� se denominan premisas
del argumento y � es la conclusión del argumento.

El argumento es válido si cada vez que las premisas �1, �2, �3, … �� sean verdaderas,
entonces la conclusión � también lo es.

Entonces, una vía para establecer la validez de un argumento es demostrar que la

proposición �1 ∧ �2 ∧ �3 ∧ ⋯ ∧ �� → � es una tautología .

Ejemplo

Queremos determinar si el argumento

(�1 ∧ �2 ∧ �3) → �
es válido. Para lograrlo, escribimos �1, �2, �3 como:
�1: � → 𝑟 �2: ¬� → � �3: ¬𝑟
y examinamos la tabla de verdad de la implicación:
[(� → 𝑟) ∧ (¬� → �) ∧ (¬𝑟)] → �
Reglas de Inferencia

Hay 12 reglas de inferencia (TAREA y las demás?)

• Modus ponens, o regla de separación

• Ley del silogismo
• Modus tollens, método de la negación
• Regla de la conjunción
• Silogismo disyuntivo
• Demostración por contradicción

 MODUS PONENS O LA AFIRMACION DE UN ANTECEDENTE.

“la forma en que se afirma afirmando”, afirma el antecedente

para afirmar el consecuente.

Si está lloviendo, Ella esperará a Manuel en el CINE.

Está lloviendo.
Por lo tanto, más vale que Manuel vaya al cine.

 El silogismo hipotético se puede escribir formalmente

como:

Un ejemplo de silogismo hipotético es:

Si no me despierto, entonces no voy a ir a trabajar.
Si no voy a trabajar, entonces no me pagan mi sueldo.
Por lo tanto, si no me despierto, entonces no me van a pagar
mi sueldo.
  Modus tollens
Dentro de la Lógica proposicional resalta un tipo de
argumento lógico, conocido como Modus Tollendo Tollens, el
cual también se ha sintetizado a su forma Modus Tollens, y
que básicamente indica en latín la ley lógica en el que “el
modo que al negar, niega”.

Podemos leerlo como: P implica Q entonces la negación de

Q implica la negación de P.

Si es de dia
Hay luz
Si no hay luz
No es de dia.

 REGLA DE LA CONJUNCION

Si �, son proposiciones verdaderas, entonces �∧� es una

proposición verdadera
•Premisas

•Resultados de premisas

•Resultados desarrollados en el argumento

Ejemplo:

p = “El número 4 es par”

q = “Siempre el residuo de los números pares es 2″
Entonces…
p^q: “El número 4 es par y Siempre el residuo de los números
pares es 2”
  Silogismo disyuntivo

Esta regla se usa cuando hay que analizar dos posibilidades y

podemos descartar una de ellas si no es verdadera. Entonces,
la otra posibilidad tiene que ser verdadera.

Ejemplo:

O está durmiendo o se está bañando.

Si está durmiendo no vendrá a la fiesta.
Si se está bañando, llegará tarde.

• Demostración por contradicción

Ley de la lógica que dice que dos proposiciones que se
niegan (Negación) recíprocamente no pueden ser auténticas
ambas a la vez. Aristóteles dio la primera formulación de
dicha ley. La ley de contradicción puede formularse también
de la siguiente manera: una proposición no puede ser a la vez
auténtica y falsa.
Esta regla es muy fácil de aplicar al detectar una
contradicción, para evitar llegar a una conclusión sin
primero evaluar toda declaración o proposición, y estar
seguro que no se incluyan ciertos puntos que se contradicen.
“Dos conceptos o ideas que se contradicen o se oponen no
pueden ser correctos a la ‘misma vez’ y en el ‘mismo
sentido”. Para poder aceptar una declaración o proposición
como verdad, debe estar libre de elementos que se oponen o se
contradigan.

Ejemplo
 P1 = manuel es novio de Carmen
 P2 = manuel es novio de Nohely

Entonces P1 = ¬P2

NOTA: Si las dos fueran verdaderas por silogismo

entenderíamos una P3 = manuel morirá a manos de una o dos de
sus novias.