DIVISIN DE EDUCACIN PNP Institucin Educativa ALFREZ PNP

ALUMNO REA GRADO SECCIN

: Jordy Huanca Vlchez : Raz. Lgico. : 5 de Secundaria : B

Trujillo Per 2009

Dedicatoria
A l por permitir que este trabajo tan es forzoso se halla podido realizar y por brindarme la inteligencia y sabidura necesaria para poder realizarlo.

A ellos, por brindarme los medios necesarios para poder realizar este trabajo y por su cario que es fundamental para m.

Por el aprecio que me tiene y el apoyo que me brinda cada momento que lo necesito.

Agradecimiento
Por brindarme la luz bendita de la sabidura e inteligencia y de esa manera dando como resultado este sacrificado trabajo. Por brindarme su afecto necesario que es fundamental para mi, como lo sera para todo hijo de sus padres.
Por brindarme todo su cario y su amor incondicional que es esencial para m.

Presentacin
Para mi es un agrado presentarles este tan costoso trabajo que es reflejo de una buena educacin y una buena formacin brindada por mi Institucin Educativa, que con tanto esmero y dedicacin fue elaborado para mostrar al mundo la enseanza de esta prestigiosa Institucin. Esperando que este monografa sea debidamente de su agrado

Atte JORDY

INDICE

Leyes de equivalencia lgica1 Leyes transitivas2 Leyes de Morgan.3 Ley de la expansin...4 Bibliografa..7 Anexos8

LEYES DE EQUIVALENCIA LGICA

Presentamos unas cuantas leyes de equivalencia lgica las de mayor uso.

LEY DE LA DOBLE NEGACIN a) ~ ( ~ p) p LEYES CONMUTATIVAS pqq p a) b) p q q p pqq p c) LEYES ASOCIATIVAS a) ( p q ) r p ( q r ) b) c)

( p q ) r p ( q r) ( p q ) r p ( q r)

LEYES DISTRIBUTIVAS p ( q r) ( p q ) ( p r) a) b) c) d)

p ( q r) ( p q ) ( p r)

p ( q r) ( p q ) ( p r)

p ( q r) ( p q ) ( p r)

LEYES TRANSITIVAS ( Silogismo Hipottico) ( p q ) ( q r) ( p r) a) b)

[ ] [ ( p q ) ( q r) ] ( p r)
~ ( p q) ( ~ p q) ( p ~ q)
p q ( p q) ( p q)

LEYES DE LA BICONDICIONAL p q ( p q ) ( q p) a) b) c) d)

p q ( p q) ( p q)

LEYES DE ABSORCIN p ( p q) p a) b) c) d)

p ( p q) p

p ( ~ p q) p q p ( ~ p q) p q

LEYES DE MORGAN a) b)

~ ( p q ) ~ p ~ q negacin de la conjuncin ~ ( p q ) ~ p ~ q negacin de la disyuncin

LEY DE LA CONDICIONAL:

p q ~ pq
NEGACIN DE LA CONDICIONAL

~ ( p q ) p ~ q

LEY DE EXPORTACIN

( p q) r p ( q r )
pqq p pqq p

LEY DE LA TRANSPOSICIN

LEY DE LA EXPANSIN

p p ( q q) p p ( q q)
LEY DE IDEMPOTENCIA

p p p p p p

Ley de la negacin de la bicondicional

( p q) ( p q ) p q
IMPLICACIONES NOTABLES REGLAS DE INFERENCIA
Modus ponendo ponens AB A ----B Modus tollendo tollens AB B ----A

Silogismo Disyuntivo AB A ----B Silogismo hipottico AB BC ----AC

Silogismo Disyuntivo A B B ----A Ley de simplificacin A B ----A Ley de simplificacin A B ----B Ley de conjuncin A B ----A B

Ley de adicin A ----AB

Ley de adicin B ----AB

Dilema Constructivo (A B ) ( C D) A v C ----B v D

Dilema Destructivo (A B ) ( C D) ~B v ~ D ----~A v ~C

Otras reglas prcticas de inferencia:

Modus ponendo ponens * (bicondicional) A B A ----B Modus tollendo tollens * (bicondicional) A B B ----A

BIBLIOGRAFA
www.scribd.com www.google.com Blogger

ANEXOS