Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
\
|
= + |
.
|
\
|
=
2
3
2
1
1 2 1
2
p q
V V 1
V F 2
F V 3
F F 4
[(p q) p] q .
) r p (~ ) r q ( v
p )] q p ( p [ .
)] q ~ p ( ~ r [ ~ ] r ~ ) q p [(~ v . .
Pgina 2
Simplificar:
a) b)
c) d)
e)
12. Dado el siguiente enunciado:
Segn su tabla de verdad,
podemos decir que dicha
proposicin es una:
a) Tautologa.
b) Contradiccin.
c) Contingencia.
d) Ley lgica.
e) Equivalencia lgica.
13. Indicar el valor de verdad de:
I.
es una contradiccin.
II.
es una tautologa.
III.
es una contingencia.
a) VVV b) VVF c) VFF
d) VFV e) FVV
14. Simplificar a su mnima
expresin:
a) p b) q c)
d) e)
15. Simplificar:
a) q b) p c) ~p
d) ~q e)
16. Simplificar el siguiente
esquema molecular:
( ) ( ) p q s s q . . . (
a) p q . b) p
c) p q v d) ~q
e)
17. Simplificar:
( ) p q p q v v (
a) p q v b) p q .
c) p d) ~q
e) q
18. Simplificar el esquema:
( ) ( ) p q q p r p . . . v (
a) p q v b) p q . c) p
d) ~q e) q
19. Simplificar:
a)
b)
c)
d)
e)
20. Simplificar:
Rpta:........
21. Simplificar:
Rpta:.......
22. La frmula lgica:
( ) ( ) p q r p q r . ( (
Representa:
a) Tautologa.
b) Contingencia.
c) Equivalencia.
d) Contradiccin.
e) Implicacin.
V F F
F V F
F F V
F V V
q # p q p
V F F
V V F
V F V
F V V
q p q p u
p) ~ q ( ] p ) q ~ # p [( u . u
p q p q A
q p v q p .
p ~ q
] q )} r q ( ~ ) p ] q p ([ [{~ ~ v . . v
) q p ( ) q ~ p (~ v .
) r p ( )] r q ( ) q p [( .
r) q ( )] q p ( p [ A .
)] q p ( ) q ~ p [( ) q p ( v v .
q p .
q p v q p
) q p ( ~ )] p q (~ ) q p [(~ M . . v v =
q p ~ v
q p ~ v
)] q ~ p ( q [ ] p ~ ) q p [(~ ~
q ~ p.
q p ~ v
) q p ( ~ .
) q p ( ~ v
q p v
( ) ( ) ( ) p q p q p q v . v (
( ) ( ) p q q p p v v . (