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

1
 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í .

2
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.

3
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

4
 IN DICE

Caratula…………………………………………………………………1
Dedicatoria………………………………………………………………2
Agradecimiento…………………………………………………………3
Presentación…………………………………………………………….4
Leyes de equivalencias lógicas…………………………………………6
Bibliografía………………………………………………………………7
Anexos……………………………………………………………………8

5
 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)

6
 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

7
 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

8
 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

9
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
10
 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

11
 BIBLIOGRAFÍA

- www.scribd.com

- www.google.com

- Blogger

ANEXOS

12