Beruflich Dokumente
Kultur Dokumente
cada curso a una reunin a hrs. 18:00 p.m. el da Jueves 18 de Agosto de la presente
gestin con carcter informativo sobre talleres a realizarse con Padres de Familia. Dicha
reunin ser concreta y breve, razn por la cual se les agradecer la puntualidad.
LA DIRECCIN
La Direccin del Colegio Sagrados Corazones de Jess y Mara cita a los representantes de
cada curso a una reunin a hrs. 18:00 p.m. el da Jueves 18 de Agosto de la presente
gestin con carcter informativo sobre talleres a realizarse con Padres de Familia. Dicha
reunin ser concreta y breve, razn por la cual se les agradecer la puntualidad.
LA DIRECCIN
La Direccin del Colegio Sagrados Corazones de Jess y Mara cita a los representantes de
cada curso a una reunin a hrs. 18:00 p.m. el da Jueves 18 de Agosto de la presente
gestin con carcter informativo sobre talleres a realizarse con Padres de Familia. Dicha
reunin ser concreta y breve, razn por la cual se les agradecer la puntualidad.
LA DIRECCIN
La Direccin del Colegio Sagrados Corazones de Jess y Mara cita a los representantes de
cada curso a una reunin a hrs. 18:00 p.m. el da Jueves 18 de Agosto de la presente
gestin con carcter informativo sobre talleres a realizarse con Padres de Familia. Dicha
reunin ser concreta y breve, razn por la cual se les agradecer la puntualidad.
LA DIRECCIN
La Direccin del Colegio Sagrados Corazones de Jess y Mara cita a los representantes de
cada curso a una reunin a hrs. 18:00 p.m. el da Jueves 18 de Agosto de la presente
gestin con carcter informativo sobre talleres a realizarse con Padres de Familia. Dicha
reunin ser concreta y breve, razn por la cual se les agradecer la puntualidad.
LA DIRECCIN
La Direccin del Colegio Sagrados Corazones de Jess y Mara cita a los representantes de
cada curso a una reunin a hrs. 18:00 p.m. el da Jueves 18 de Agosto de la presente
gestin con carcter informativo sobre talleres a realizarse con Padres de Familia. Dicha
reunin ser concreta y breve, razn por la cual se les agradecer la puntualidad.
LA DIRECCIN
b) ~ (p q) p ~q
8. Leyes del Bicondicional:
a) p q (p q) (q p)
b) p q (p q) (~p ~q)
10. Leyes de Transposicin:
a) (p q) (~q ~p)
b) (p q) (~q ~p)
11. Ley de Exportacin:
(p q) r p (q r)
12. Formas normales:
Para la Conjuncin: V V V; V P P; F P F
Para la Disyuncin: F F F; F P P; V P V
13. Elementos Neutros para la Contradiccin y Tautologa:
P C = C; C T = T; P T = T; C T = C
donde: T= Tautologa (Verdad),
C = Contradiccin (Falso),
P = Esquema Molecular Cualquiera
SIMPLIFICACIN DE PROPOSICIONES
La simplificacin de una proposicin, o dicho de otra manera, la simplificacin
de una expresin lgica consiste en reducir la expresin lgica a una forma
ms simple mediante el uso de los axiomas y/o leyes lgicas.
La simplificacin consiste en ir desarrollando la expresin paso a paso
mediante la sustitucin en cada paso de una expresin lgica equivalente a la
anterior, hasta llegar a una expresin lgica irreducible.
A travs de la simplificacin podemos tambin demostrar una equivalencia
lgica sin usar tablas de verdad.
1.- Simplificar la expresin:
[(p p) q] [~q (r q)] [p (p ~q)]
la ley que utiliza
[(~p p) q] [~q (r q)] [~p (p ~q)]
Condicional
Asociativa
Forma Normal
V [~q (r q)] V
Forma normal
V V [~q (r q)]
Recuerde Ubicar
Asociativa
V [~q (r q)]
Forma normal
~q (r q)
Distributiva
(~q r) (~q q)
Elemento neutro
(~q r) V
Forma normal
~q r
2.-
Simplificar
[~(p q) (~p q)] (~p q
Ley de Morgan
Distributiva
Complemento
(~p V) (~p q)
Forma Normal
~p (~p q)
Condicional
~ (~p) (~p q)
Doble negacin
p (~p q)
Distributiva
(p ~p) (p q)
Complemento
V (p q)
Forma Normal
pq
3.
[(p ~q) ~p ] q
Condicional
~ [~ (~p v ~q) v ~p ] v q
Morgan
Doble negacin
[ (~p v ~q) p ] v q
Conmutativa
[ p (~p v ~q) ] v q
Distributiva
[ (p ~p ) v (p ~q) ] v q
Complemento
[ F v (p ~q) ] v q
Forma Normal
(p ~q) v q
Conmutativa
q v (p ~q)
Distributiva
(q v p) (q v ~q)
Complemento
(q v p) V
Forma Normal
(q v p)
Condicional
Morgan
~p v ~q v ~r v ~p v ~q v ~r
Asociacin
Idempotencia
~p v ~q v ~r
Morgan
~ (p q r)
Simplificar las siguientes proposiciones aplicando las leyes:
1. ~{[(~p) (~q)] ~q ]}
Asociativa
Idempotencia
~[~p ~q]
Morgan
~~p ~(~q)
Doble Negacin
pq
4. [~ (p q) ~ (q p)] (p q)
5. {[(p q) ~q] ~q}
6. ~ [(p p) p]
7. [(p ~q) q] p
8. ~ [~ (p q) ~q] q
9. [(~p q) (r ~r)] ~q
10.
11.
[(~p q) (r ~r)] ~q
12.
13.
14.
[( p ~ q ) ~p ] q
15.
[( p q ) ~r] v [ p ( q ~r)]
2)
a) p q
3)
Construir las
proposicionales :
b) p q
tablas
a) (p q) p
de
c) q p
verdad
de
b) (p q) p
d) (q p) (p q) e) (p q) ( r)
4)
ii) r (s p)
r es V
c) p (p q)
f) (r r)
iii) (p r) (r s)
ii) (p q) ( p q) ;
q es V
7)
esquemas
6)
siguientes
5)
los
si
si
si
p q es Falso
p q es Verdad
p es Verdad y q es Verdad
a) ( p q)
b) (p q) ( p q)
iii) p [ p q ]
ii) [ (p q) (q r) ] (p r)
9)
i) (p q) r
ii) p q
iii) q r
iv) p (q r)
b)
3)
4)
i) (p q) (p r) ;
5)
ii) p (q r);(p r)
es V
6)
ii) (p q) q
7)
p es V y r es F
ii) p (p q)
a) [ (p q) r] s
8)
b) (r s) (p s)
c) (s q) p
i) [ (p q) q ] q ii) (p q) p q iii) (p q) p q
En los siguientes prrafos transfrmelos a formulas lgicas:
9)
Antonio, Miguel y Juan perteneces al club Alpino. Cada miembro del club
esqua, escala o ambas cosas. A ningn escalador le gusta la lluvia y a
todos los esquiadores les gusta la nieve. A Miguel le disgusta lo que a
Ejercicio de aplicacin 2