Curso: Razonamiento Lógico R.

D 1960 Modulo Teórico

DEDUCCIONES INMEDIATAS b) LEY ASOCIATIVA:

Son razonamientos que partiendo de una sola premisa (esta ley se cumple solo con los conectores ∧, ∨, ⊕, ↔ )
se deduce la conclusión aplicando las equivalencias Esta ley nos indica que cuando los conectores son
lógicas. iguales estos se pueden agrupar mediante símbolos
Ejemplo: Es falso que ni trabaja ni estudia de agrupación “(), {}, [].
Luego, trabaja o estudia
EQUIVALENCIAS LOGICAS 1) ( A ∨ B ) ∨ C ≡ A ∨ (B ∨ C )
Son un conjunto de identidades que permiten 2) ( A ∧ B ) ∧ C ≡ A ∧ (B ∧ C )
simplificar o transformar esquemas lógicos en otros 3) ( A ↔ B ) ↔ C ≡ A ↔ (B ↔ C )
equivalentes. 4) ( A ⊕ B ) ⊕ C ≡ A ⊕ (B ⊕ C )

EQUIVALENCIAS NOTABLES
Ejemplo:
Son las diferentes leyes lógicas donde al unirlas por el
María enseña lógica y geometría, sin embargo,
estudia economía.
bicondicional “ ↔ ", se obtiene una tautología. Dos Equivale a:
esquemas moleculares, por ejemplo, A y B son
María enseña lógica, sin embargo, enseña geometría y
equivalentes cuando unidos por el Bicondicional “ ≡ ” el
estudia economía.
resultado es una tautología.
Simbólicamente: ( A ∧ B ) ∧ C ≡ A ∧ (B ∧ C )
LEYES DE EQUIVALENCIA

Sean A, B y C proposiciones cualesquiera: c) LEY DISTRIBUTIVA:

a) LEY CONMUTATIVA: (Solo se distribuye los conectores combinados

∧∨ , ∨∧, → ∧ )
Esta ley nos indica que todos los conectores a excepción
de la condicional (implicador y replicador), si se cambian Esta ley consiste en repartir la proposición externa a cada
de orden sus componentes, sus equivalentes significan lo una de las proposiciones internas.
mismo.
1) A ∨ (B ∧ C ) ≡ ( A ∨ B ) ∧ ( A ∨ C )
1) A ∧B ≡ B ∧ A
2) A ∧ (B ∨ C ) ≡ ( A ∧ B ) ∨ ( A ∧ C )
2) A ∨B ≡B∨ A
3) A ⊕B ≡ B⊕ A 3) A → (B ∧ C ) ≡ ( A → B ) ∧ ( A → C )
4) A↔ B≡B↔ A
5) A ↓B≡B↓ A Ejemplo: Los sabios dicen la verdad; sin embargo, tienen
6) A B≡B A
problemas con la sociedad o la religión los condena

Ejemplo: Edwin enseña Algebra y Reynaldo enseña Equivale a: Los sabios dicen la verdad y tienen problemas
lógica.
Equivale a: Reynaldo enseña lógica y Edwin enseña con la sociedad; o los sabios dicen la verdad y la religión
Algebra. los condena.

Simbólicamente: A ∧ B ≡ B ∧ A Simbólicamente: A ∧ (B ∨ C ) ≡ ( A ∧ B ) ∨ ( A ∧ C )
d) LEY DE ÍDEMPOTENCIA: i) LEYES DE ABSORCION

Por esta ley se reducen las variables repetidas a una sola. (Solo se utiliza con los conectores combinados ∧∨, ∨ ∧ )

Se aplica a esquemas conjuntivos y disyuntivos. I) PRIMERA LEY DE ABSORCIÓN:

 Conectores combinados ∧∨, ∨ ∧

1) A ∨ A ≡ A
 Termino externo repetido
2) A ∧ A ≡ A  Conclusión: Solo el término que se repite el otro
Ejemplo: Piura es la ciudad del eterno calor y Piura es la se elimina
ciudad del eterno calor. 1) A ∧ ( A ∨ B ) ≡ A
2) A ∨ ( A ∧ B ) ≡ A
Equivale a: Piura es la ciudad del eterno calor. II) SEGUNDA LEY DE ABSORCIÓN:

Simbólicamente: A ∧ A ≡ A  Conectores combinados ∧∨, ∨ ∧

 Termino externo con su opuesto
e) LEY DE LA INVOLUCIÓN (DOBLE NEGACION):  Conclusión: Toda la parte externa y la parte no
común.
Esta ley consiste en agregar o quitar negaciones de 1) A ∧ ( ¬A ∨ B ) ≡ A ∧ B
manera par. 2) A ∨ ( ¬A ∧ B ) ≡ A ∨ B

1) ¬ ( ¬A ) ≡ A j) LEY DE COMPLEMENTO: Se utiliza para proposiciones

opuestas por su signo.

Ejemplo: Es absurdo que Luis no sea de Catacaos. 1) A ∨ ¬A ≡ V

2) A ∧ ¬A ≡ F
Equivale a: Luis es de Catacaos.
3) ¬V ≡ F
Simbólicamente: ¬ ( ¬A ) ≡ A
4) ¬F ≡ V

f) LEY DE MORGAN: k) LEY DE IDENTIDAD: Una proposición cualquiera

(solo se aplica con los conectores ∧, ∨ ). llamada “A” es ordenada al lado de una tautología (V ó 1)
Son equivalencias de esquemas conjuntivos y disyuntivos.
o una contradicción (F ó 0).
Conjunciones no negadas son equivalentes a
disyunciones negadas y viceversa.
1) A ∨ F ≡ A
1) A ∧ B ≡ ¬ ( ¬A ∨ ¬B ) 2) A ∨ B ≡ ¬ ( ¬A ∧ ¬B ) 2) A ∨ V ≡ V
3) A ∧ F ≡ F
3) ¬ ( A ∧ B ) ≡ ¬A ∨ ¬B 4) ¬ ( A ∨ B ) ≡ ¬A ∧ ¬B 4) A ∧ V ≡ A
Ejemplo: Es inconcebible que Alex sea honrado y trabaje.
l) FLECHA DE NICOD
Equivale a: Alex no es honrado y no trabaja.
A ↓ B ≡ ¬A ∧ ¬B
Simbólicamente: ¬ ( A ∧ B ) ≡ ¬A ∨ ¬B m) BARRA DE SHAFFER

g) LEY DE CONTRAPOSICION O CONTRARRECIPROCA A B ≡ ¬A ∨ ¬B

(solo se aplica con los conectores lógicos →, ←) n) LEY DE MUTACION

Se conmutan las variables manteniendo las flechas en su A → (B → C) ≡ B → ( A → C)

misma dirección y negando ambas variables. ñ) LEY DE EXPORTACION

1) A → B ≡ ¬B → ¬A 2) A ← B ≡ ¬B ← ¬A ( A ∧ B) → C ≡ A → ( B → C )

h) DEFINICIÓN DE IMPLICADOR:

Se niega el antecedente y el conector lógico ( → ) se

cambia por el conector lógico ( ∨ ) y el consecuente se
repite.

1) A → B ≡ ¬A ∨ B
2) A → B ≡ ¬ ( A ∧ ¬B )