Professional Documents
Culture Documents
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
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)]
b)
3)
b) p q
b) (p q) p
d) (q p) (p q) e) (p q) ( r)
4)
f) (r r)
ii) r (s p)
iii) (p r) (r s)
6)
c) p (p q)
5)
c) q p
r es V
ii) (p q) ( p q) ;
q es V
a) (p q) q
b) p (p q)
c) [ (p q) q] q
7)
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)
2)
3)
4)
i) (p q) (p r) ;
5)
es V
ii) (p q) q
7)
ii) p (q r);(p r)
6)
p es V y r es F
ii) p (p q)
a) [ (p q) r] s
b) (r s) (p s)
c) (s q) p
8)
i) [ (p q) q ] q ii) (p q) p q iii) (p q) p q
En los siguientes prrafos transfrmelos a formulas lgicas:
9)
10) Cierto pas est habitado por personas que siempre dicen la
verdad o que siempre mienten, y que respondern preguntas solo
con si o no. Un turista llega a una bifurcacin en el camino, una
de cuyas ramas conduce a la Capital y la otra no. No hay un letrero
que diga qu camino seguir, pero hay un nativo, el seor z, parado
en la bifurcacin. Qu nica pregunta deber hacerle el turista
para determinar qu camino seguir ?.
11)
Determine si cada una de las afirmaciones de los ejercicios
1-8
es una proposicin. Si la afirmacin es una proposicin, escriba
su negacin. (No se le piden los valores de verdad de las
afirmaciones que son proposiciones).
1.
2 + 5 = 19
2. Mesero, puede traer las nueces? Es decir, puede servir las
nueces a los invitados?
3. Para algn entero positivo n, 19340 = n 17.
4. Autrey Meadow fue la Alicia original en The
Honeymooners.
5. Plame una uva.
6. La frase Hazlo de nuevo, Sam aparece en la pelcula
Casablanca.
7. Todo entero mayor que 4 es la suma de dos nmeros primos.
12)
Ejercicio de aplicacin 2