Académique Documents
Professionnel Documents
Culture Documents
1) Determinar el valor de verdad de cada una de las siguientes proposiciones: a) Si 5 + 4 = 11, entonces 6 + 6 = 12 Solucin Es verdadera puesto que el antecedente es falso mientras que el consecuente es verdadero. b) No es verdad que 3 + 3 = 7 si y solo si 5 + 5 = 12 Solucin Es falso puesto que se est negando una proposicin verdadera. c) Lima est en Chile o La Paz est en Ecuador. Solucin Es falso puesto que ambas componentes son falsas. d) No es verdad que 2 + 2 = 5 o que 3 + 1 = 4 Solucin Es falso puesto que se est negando una proposicin verdadera. 2) Determinar el valor de verdad de cada una de las siguientes proposiciones: a) 4 + 8 = 12 y 9 4 = 5 Solucin Es verdadera V, porque es una conjuncin cuyas dos proposiciones son verdaderas. b) 8 + 4 = 12 y 8 3 = 2 Solucin Es falso F, puesto que es una conjuncin con una proposicin falsa c) 8 + 4 = 12 o 7 2 = 3
Es verdadera V, puesto que es una disyuncin con una proposicin simple verdadera
d) S 4 + 3 = 2, entonces 5 + 5 = 10 Solucin Es verdadera V, por ser una implicacin en donde el antecedente es falso F, y el consecuente es verdadero V de dos proposiciones simples. e) Si 4 + 5 = 9, entonces 3 + 1 = 2 Solucin Es falso F, puesto que de una proposicin verdadera V no puede implicar una proposicin falsa F. f) S 7 + 3 = 4, entonces 11 7 = 9 Solucin Es verdadera V, puesto que las proposiciones implicacin son falsas. que intervienen en la
3) Evaluar la tabla de verdad de la proposicin compuesta ~ (p q) (~p V ~q) Solucin p V V F F q V F V F ~ F V V V (p q) V F F F V V V V (~p v ~q) F V V V
4) Construir la tabla de verdad de la siguiente proposicin: ~{ ~[ p v (~qp) ] v ~[ (p ~q)(q ~p) ]} Solucin Primero simplificaremos la proposicin por la ley de Morgan: ~ ~{[ p v (~q p) ] [ (p ~q) (q ~p) ]} de donde se tiene
[p v (~q p)] [(p ~q) (q ~p)] (~q p)] V V V F V F V F [(p ~q) F V V F V F V V (q ~p)] F F V F
p V V F F
q V F V F
[p V V F F
v V V V F
El valor de verdad
~ p es una tautologa
p V V F F
q V F V F
[(~p v q) V F V V
Solucin p V V F F q V F V F (p q) V F F F F F F F ~ F F F V (p v q) V V V F ~ F F F F [p V V F F v V V V V ( ~ p v ~q)] F V V V
Contradiccin
7) Demostrar que las proposiciones dadas es una tautologa: [(p v ~q) q] p Solucin p V V F F q V F V F [(p v ~q) V V F V V F F F q] p V V V F V V V V F F V F Es una tautologa
8) Verificar que la proposicin dada es una contingencia: [~p (q v r)] Solucin p V V V V F F F F q V V F F V V F F r V F V F V F V F [~p F F F F V V V V F F F F V V V F (q v r)] [(p v r) V F V V F V V V V F V V V V V V F F V F V F V F Es una contingencia V V F F V F F F q] V V F F V V F F ~p)] son [(p v r) q]
9) Determinar si las proposiciones [p (r v ~q)] y [(q ~p) v (~r equivalentes. Solucin p V V V V F F F F q V V F F V V F F r V F V F V F V F [p V V V V F F F F V F V V V V V V (r v ~q)] V F V V V F V V [(q~p) F F V V V V V V v V F V V V V V V (~r~p)] V F V F V V V V
Idnticas
[(q~p) v (~r~p)]
10) Determinar si las proposiciones [(~p v q) v equivalentes Solucin p V V V V F F F F q V V F F V V F F r V F V F V F V F [(~p v q) V V F F V V V V v V V F F V V V V (~r ~p)] F F F F F V F V Idnticas ~q~p V V F F V V V V
(~r ~p)] y ~q
~p son
q p
11) Determinar los esquemas ms simples de la proposicin: ~ [~ (p q) Solucin ~ [~ (p q) ~q] v p por la condicional por la negacin por conmutativa en la conjuncin por absorcin por Morgan por absorcin ~q] v p
~ [~ (p q) ~q] v p
p v q
12) De la falsedad de la proposicin: (p verdad de los esquemas moleculares. a) (~p ~q) v ~q c) (p Solucin q) (p v q) ^ ~q
b) (~r v q)
(~q v r) ^ s
b) (~r v q) ( ~q V V F
r) F
^ s
F
el valor de verdad es F
el valor de verdad es F
c) (p q) (p v q) ^ ~q V V V V V F F el valor de verdad es F V
F
Por conjuncin
[( p v q ) v (r q)+ es V
[(p v q ) ( q p)] es V
Por negacin
(p v q ) v (r q) es F
por implicacin
(p v q ) es F ( q p)]
Por disyuncin
(p v q ) es F (r q) es F
por disyuncin
por conjuncin
q es F y p es F
P es V y q es F
Por disyuncin
p es F y q es F
por implicacin
r es V y q es F
por negacin
Q es F y p es V
p es V y q es F
14) Se sabe que p q y q t son falsas, determinar el valor de verdad de los esquemas moleculares siguientes: a) (~p v t) v ~ q b) ~ [p (~q v ~p)]
Por conjuncin
( p q ) es F ( q t) es F
Por conjuncin
p es F y q es V
por implicacin
q es V y t es F
Por lo tanto p es F, q es V y t es F
a) ( p v t ) v q V V V V c) [(p q)(q t)] [p v (qt)] F V V V V V V F F V V V V F F F F b) [ p (q v p ) ] F V V
15) Si la proposicin (p q) (s v r) es falsa. Determinar cul de las proposiciones son verdaderas: a) [ ( p q) r ] c) [(p v q) p] v q Solucin
(pq ) (s v r ) es F
b) ( ~p q) [ (r v r ) s ]
Por implicacin
(p q ) es V (s v r ) es F
Por conjuncin
p es V y q es V
por disyuncin
S es F y r es F
Por negacin
p es F y q es V
por negacin
q es V y t es F
Por lo tanto p es F, q es V S es V, r es F
a) [ ( p q) r ]
b) ( p q ) [ (r v r ) s ]
F V
V V
V V
V
V El valor de verdad es V
El valor de verdad F
c) [ ( p v q ) p ] v q
F F F F F F F
16) Determinar el esquema ms simple de la proposicin [(p q) v (p q)] v (p q) Solucin [(p q) v (p q)] v (p q) [((p q) vp) ((pq) v q)] v(pq) [p v (p q) (q v (p q)] v (p q) [p ((q v p) (q v q))] v (p q) [p (q v p) V] v (p q) [p (q v p)] v (p q) [p (p v q)] v (p q) p v (p q) P v q Por distribucin con respecto a Conmutativa Por absorcin y distributiva Por identidad Por identidad Por conmutativa en v Por absorcin Por absorcin
o
p
q
q q
Solucin
La funcin booleana del circuito dado es: [pvq v (p q)] [(p v q) p] Simplificando la proposicin obtenida se tiene: [(p v q) v (p q)] [(p v q) p] distributiva con respecto
[p v q v p) (p v q v q)] [(p v q) p] distributiva respecto a v (V V) [(p p) v (p q)] V [F v (p q)] = V v (p q) = p q Por lo tanto la equivalencia es: [p v q v (p q)] v [(p v q) p] p q Por lo tanto el circuito simplificado equivalente es: por equivalencias
Solucin La funcin Booleana del circuito dado es: [p v (q p) v q] p Ahora simplificamos la proposicin obtenida [p v (q p) v q] p [p v q v p] p [(p v q) v q] p ( Vv q) p q p
o
p
Solucin La funcin booleana del circuito dado es: [(p q) v (p (p v q))] Ahora simplificando la proposicin obtenida [(p q) v (p (p v q))] [ (p q ) ( p q ) ] p q
o
q p q
Solucin La funcin booleana del circuito dado es: (p v q) [( q (r v q)) v (p q)] r Simplificando la proposicin obtenida (p v q) [ (q ( r vq) ) v ( p q ) ] r ( p v q ) [q v ( q p ) ] r (p v q) [q v p] r [p v (q q)] r (p v F) r p r
21) Determinar los circuitos lgicos que representan los siguientes esquemas moleculares. a) [ p ( q v r ) ] Solucin Simplificando se tiene: [ p ( q v r ) [p v ~ ( q v r) = p (q v r)
b) ( p ) ( p q )
Solucin (p ) ( p q ) (p ) (p v q ) (p (p v q ) v ( p ( p q ) ) (p ) v ( p )
c) ( p v q ) [ (p v q ) ( p q ) ] Solucin ( p v q )[ ( ~p v q ) ( p q ) (p v q ) v [ (p v q ) v ( p q ) ] ( p v q ) v[ ( p q ) v ( p q ) ] (p q) v p (p v q)