DIVISIÓN DE EDUCACIÓN PNP

Institución Educativa
ALFÉREZ PNP

ALUMNO : Jordy Huanca Vílchez

ÁREA : Raz. Lógico.
GRADO : 5º de Secundaria
SECCIÓN : “B”
Trujillo – Perú
2009
 Dedic atoria

A él por per mi tir que este tr abajo tan es for zos o se ha ll a podido real iz ar y
por bri ndar me la in tel igenc ia y sa biduría nece saria par a poder real iza r lo.

A el lo s, por br indar me los med ios necesar ios par a poder r eal izar es te tr abajo y
por su car iño que es fundamenta l par a mí .

Por el apr ecio que me tiene y el apo yo que me brinda cada momento que lo
nece si to .
 Ag r adecimiento

Por brindarme la luz bendita de la sabiduría e

inteligencia y de esa manera dando como resultado
este sacrificado trabajo.

Por brindarme su afecto necesario que es fundamental

para mi, como lo sería para todo hijo de sus padres.

Por brindarme todo su cariño y su amor incondicional que es

esencial para mí.
 Pr esentación

Para mi es un agrado presentarles este tan costoso trabajo que es reflejo de

una buena educación y una buena formación brindada por mi Institución
Educativa, que con tanto esmero y dedicación fue elaborado para mostrar al
mundo la enseñanza de esta prestigiosa Institución.
Esperando que este monografía sea debidamente de su agrado…

Atte

JORDY
 IN DICE

Leyes de equivalencia lógica…………………………………1

Leyes transitivas……………………………………………………2
Leyes de Morgan……………………………………………….……3
Ley de la expansión…………………………………………….….….4
Bibliografía…………………………………………………..…………7
Anexos……………………………………………………………………8
 LEYES DE EQUIV ALENCIA LÓGICA
Presentamos unas cuantas leyes de equivalencia lógica las de mayor uso.

LEY DE LA DOBLE NEGACIÓN

a) ~ ( ~ p) ≡ p

LEYES CONMUTATIVAS
a) p∧q≡q∧ p
b) p ∨ q ≡ q ∨ p
c) p↔q≡q↔ p

LEYES ASOCIATIVAS
a) ( p ∧ q ) ∧ r ≡ p ∧ ( q ∧ r )
b) ( p ∨ q ) ∨ r ≡ p ∨ ( q ∨ r)
c) ( p ↔ q ) ↔ r ≡ p ↔ ( q ↔ r)
LEYES DISTRIBUTIVAS
a) p ∧ ( q ∨ r) ≡ ( p ∧ q ) ∨ ( p ∧ r)
b) p ∨ ( q ∧ r) ≡ ( p ∨ q ) ∧ ( p ∨ r)
c) p → ( q ∧ r) ≡ ( p → q ) ∧ ( p → r)
d) p → ( q ∨ r) ≡ ( p → q ) ∨ ( p → r)
LEYES TRANSITIVAS ( Silogismo Hipotético)
a) [ ]
( p → q ) ∧ ( q → r) → ( p → r)
b) [ ( p ↔ q ) ∧ ( q ↔ r) ] → ( p ↔ r)
LEYES DE LA BICONDICIONAL
a) p ↔ q ≡ ( p → q ) ∧ ( q → p)
b) ~ ( p ↔ q) ≡ ( ~ p ↔ q) ≡ ( p ↔~ q)
c) p ↔ q ≡ ¬ ( p ∨ q) ∨ ( p ∧ q)
d) p ↔ q ≡ ( ¬ p ∧ ¬ q) ∨ ( p ∧ q)

LEYES DE ABSORCIÓN
a) p ∧ ( p ∨ q ) ≡ p
b) p ∨ ( p ∧ q) ≡ p
c) p ∧ ( ~ p ∨ q) ≡ p ∧ q
d) p ∨ ( ~ p ∧ q) ≡ p ∨ q
 LEYES DE MORGAN

a) ~ ( p ∧ q ) ≡ ~ p∨ ~ q negación de la conjunción
b) ~ ( p ∨ q ) ≡ ~ p∧ ~ q negación de la disyunción

LEY DE LA CONDICIONAL:

p→ q ≡ ~ p∨q

NEGACIÓN DE LA CONDICIONAL
~ ( p → q ) ≡ p∧ ~ q

LEY DE EXPORTACIÓN
( p ∧ q) → r ≡ p → ( q → r )
LEY DE LA TRANSPOSICIÓN

p→q≡¬q→¬ p
p↔q≡¬q↔¬ p
LEY DE LA EXPANSIÓN

p ≡ p ∨ ( q ∧ ¬ q)
p ≡ p ∧ ( q ∨ ¬ q)
LEY DE IDEMPOTENCIA
p∨ p ≡ p
p∧ p ≡ p

Ley de la negación de la bicondicional

¬( p ↔ q) ≡ ( ¬p ↔ q ) ≡ p ↔ ¬ q

IMPLICACIONES NOTABLES REGLAS DE INFERENCIA

Modus ponendo ponens Modus tollendo tollens

A→B A→B
A ¬B
----- -----
B ¬A
Silogismo Disyuntivo Silogismo Disyuntivo
A∨B A∨B
¬A ¬B
----- -----
B A

Silogismo hipotético Ley de simplificación

A→B A∧B
B→C -----
----- A
A→C Ley de simplificación
A∧B
-----
B
Ley de adición Ley de conjunción
A A
----- B
A∨B -----
A ΛB

Ley de adición
B
-----
A∨B
Dilema Constructivo Dilema Destructivo

(A → B ) Λ ( C → D) (A → B ) Λ ( C → D)
A v C ~B v ~ D
----- -----
B v D ~A v ~C

Otras reglas prácticas de inferencia:

Modus ponendo ponens * Modus tollendo tollens *

(bicondicional) (bicondicional)

A ↔ B A ↔B
A ¬B
----- -----
B ¬A
 BIBLIOGRAFÍA

- www.scribd.com

- www.google.com

- Blogger

ANEXOS