Escolar Documentos
Profissional Documentos
Cultura Documentos
GUA DE UNIDAD V
TABLA DE VERDAD Y
CONECTIVOS LOGICOS
ING. MELENDEZ
REVISION 2016.
b)
Disyuncin
i)
FUNCIN
Juntar,
Agregar,
Adherir,
(enunciados /no trminos )
Inclusiv
a
El uno o el otro o
ambos
ii) Exclusiva
El uno o el otro pero no
ambos
c)
Condicional
d)
Bicondicional
La Negacin
Signos
1. Agrupacin
2.
SMBOLO
^
&
LECTURA
Y, pero, mas, tambin,
mientras, sin embargo
Tanto.como
Aunque, adems
A menos que, o,
La o en medio de las
proporciones simples.
La o antes de la primera
proposicin y otra o en medio de
las proporciones.
Presenta una reilacin hipottica
entre 2 o mas eventos que tengan
una secuencia lgica.
Es necesario que ocurra A
(antecedente) para que suceda
B (consecuencia)
Implica una relacin de igualdad o
de equivalencia
~
(){}[]
, . ;
Puntuacin
Nini..
O bien o.
O bien..a menos que.
O el uno el otro pero no
ambos
Si ... entonces
Se sigue que,
Implica que,
Contiene a
Si y solo si
Equivalente
Es falso que
No es el caso que
No es cierto que
No ocurre que
No sucede que
Cuando existe una coma;
punto, y punto y coma, aislar
la expresin siguiente con
signos de agrupacin.
TABLAS DE VERDAD
Proposiciones
Conjuncin
Disyuncin
Inclusiva
Disyuncin
Exclusiva
p q
pv q
pvq
Condicional
Bicondicional
Negacin
pq
pq
Antecedente
Consecuente
~P
GUA DE UNIDAD V
TABLA DE VERDAD Y
CONECTIVOS LOGICOS
ING. MELENDEZ
REVISION 2016.
REGLAS DE INFERENCIA
pq
p
q
~p q
~p
q
pq
~q
~p
~p q
~q
p
pq
qr
p r
~p q
qr
~p r
pvq
~p
q
~a v b
~b
~a
(p q) . (r s)
pvr
qvs
pq
p (q.p)
ab
a
b
~p ~q
~p
~q
ab
~b
~a
~p ~q
q
p
p ~q
~q r
p r
~p q
q ~r
~p ~r
pvq
~q
p
s v ~t
t
s
(~p q) . (r ~s)
~p v r
q v ~s
pq
p (p.q)
p.q
p
p
q
p.q
P
p v q
p.q
q
~a
~b
~a . ~ b
t
t v w
(p v q) r
(p v q)
r
(p . q) (r v s)
(p . q)
(r v s)
(p v q) r
~r
~(p v q)
(p . q) (r v s)
~(r v s)
~(p . q)
(p . q) (r v s)
(r v s) (t . u)
(p . q) (t . u )
(a b) . (~c ~d)
a v ~c
b v ~d
(a v b) (c.d)
(a v b) [ (c.d). (a v
b) ]
t.u
r v ~s
(t . u) . (r v ~s)
rvs
(r v s) v (r.t)
REGLAS DE REEMPLAZO
Teoremas de De Morgan (De M)
~ p.q ~ p ~ q
~ p q ~ p . ~ q
Distribucin (Dist.)
p . q r
pq.r
p
p
p p
p. p
q p
q . p
p q
p q
p q r p q r
p.q.r p.q.r
Transposicin (Trans.)
p . q p . rp ~ ~ p
p q. p r
p q ~ p q
Tautologa (Taut.)
pq
p.q
Asociacin (Asoc.)
Doble Negacin (D N)
Conmutacin (Conm.)
p q ~ q ~ p
Exportacin (Exp.)
q
p . pq r
p.q ~ p.~ q
p q .
q r
GUA DE UNIDAD V
TABLA DE VERDAD Y
CONECTIVOS LOGICOS
ING. MELENDEZ
REVISION 2016.
GUA DE UNIDAD V
TABLA DE VERDAD Y
CONECTIVOS LOGICOS
ING. MELENDEZ
REVISION 2016.
2. B v X
3. Y v C
4. Z v X
5. (A X) v (B Y)
6. (B C) v (Y Z)
7. (C Y) v (A Z)
8. (A B) v (X Y)
9. (X Z) v (B C)
10. (X Y) v (B C)
11. (A v X) (Y v B)
13. (X v Y) (X v Z)
12. (B v C) (Y v Z)
14. (A v Y) (B v X)
15. (X v Z) (X v Z)
16. (A v C) v (X Y)
17. (B v Z) (X v Y)
GUA DE UNIDAD V
TABLA DE VERDAD Y
CONECTIVOS LOGICOS
ING. MELENDEZ
REVISION 2016.
de los valores de
2. Q X
4. B P
6. P v (Q v P)
8. P (P v X)
10. Q (P v Q) P
12. (P Q) (P v Q)
14. P v (A v X)
16. (P Q) v (Q P)
18. (P v Q) [P v (P Q)]
GUA DE UNIDAD V
TABLA DE VERDAD Y
CONECTIVOS LOGICOS
ING. MELENDEZ
REVISION 2016.
IV. Usando las letras E, I, J, L y S para abreviar los enunciados simples Egipto
disminuye sus aprovisionamientos, Irn eleva el precio del petrleo,
Jordania pide ayuda a Estados Unidos, Libia aumenta el precio del petrleo
y Saudiarabia compra otros quinientos aviones de guerra, simbolice lo
siguiente:
1. Irn eleva el precio del petrleo pero Libia no aumenta el precio del petrleo.
2. O bien Irn o Libia aumentarn el precio del petrleo.
3. Irn y Libia elevarn el precio del petrleo.
4. Irn y Libia no aumentarn el precio del petrleo.
5. Irn y Libia aumentarn ambos el precio del petrleo.
6. Irn o Libia aumentarn el precio del petrleo pero no lo harn ambos a la vez.
7. Saudiarabia compra otros quinientos aviones de guerra y o bien Irn eleva el
precio del petrleo o Jordania pide ms ayuda norteamericana.
8. O bien Saudiarabia compra otros quinientos aviones de guerra e Irn eleva el
precio del petrleo o Jordania pide ms ayuda a Estados Unidos.
9. No es el caso que Egipto disminuya sus aprovisionamientos y Jordania pida ms
ayuda norteamericana. ~E ^ J
10. No es el caso que o bien Egipto disminuya sus aprovisionamientos o Jordania
pida ms ayuda a Estados Unidos.
11. No es el caso que Egipto disminuya sus aprovisionamientos o Jordania pida ms
ayuda norteamericana.
12. No es el caso que a la vez Egipto disminuya sus aprovisionamientos y Jordania
pida ms ayuda a Estados Unidos.
13. Jordania pide ms ayuda a Estados Unidos, a menos que Saudiarabia compre
otros quinientos aviones de guerra.
14. A menos que Egipto disminuya sus aprovisionamientos, Libia elevar el precio
del petrleo.
15. Irn no elevar el precio del petrleo a menos que Libia tambin lo haga.
GUA DE UNIDAD V
TABLA DE VERDAD Y
CONECTIVOS LOGICOS
ING. MELENDEZ
REVISION 2016.
16. A menos que tanto Irn como Libia eleven el precio del petrleo, ninguno de ellos
lo har.
17. Libia eleva el precio del petrleo y Egipto disminuye sus aprovisionamientos.
18. No es el caso que ni Irn ni Libia elevarn los precios del petrleo.
19. Egipto disminuye sus aprovisionamientos y Jordania pide ms ayuda de Estados
Unidos, a menos que tanto Irn como Libia no eleven el precio del petrleo.
20. O
bien Irn
eleva
el
precio
del
petrleo y Egipto
disminuye
sus
7. (A B) Z
7. (A B) C
8. (X Y) C
9. A (B Z)
11. [(A B) C] Z
13. [A (X Y)] C
15. [(X Z) C] Y
(Y Z)
12. (A X) Y Z
14. A B) Y X
16. (Y B) Y Y
10. X
GUA DE UNIDAD V
TABLA DE VERDAD Y
CONECTIVOS LOGICOS
ING. MELENDEZ
REVISION 2016.
17. [(A Y)
B] Z
18. [(A X) C] [(A C) X]
19. [(A X) C] [(A X) C]
20.[(A X) Y] [(X A) (A Y)]
21. [(A X) v ( A X)] [(A X) (X A)]
22. {[A (B C)] [(A B) C]} [(Y B) (C Z)]
23. {[(X Y) Z] [Z (X Y)]) [(X Z) Y]
24. [(A X) Y] [(A X) (A Y)]
25. [(A (X Y)] [(A X) v (A Y)]
VI. Si A y B se conocen como verdaderos y X y Y como falsos, pero los valores
de verdad de P y de Q no se conocen, de cules de los siguientes enunciados
podemos determinar los valores de verdad?
1. P A
2.X Q
5. (P P)
6.(X Q) X
3. (Q A) Y
X
7. X (Q X)
9. [P (Q P)] Y
11. (P X) (X P)
13. (X P) (B Y)
15. (X Q) Q Q
17. (X P) (X Y)
19. (P Q) (P Q)
21. (A P) (A v P)
23. (X v Q) (X Q)
24. [P (A v X)] [(P A) X]
25. [Q V (B Y)] [(Q v B) (Q v Y)
4. (P A) B
8. (P X) Y
10. (Q Q) (A X)
12. (P A) (B X)
14. [(P B) B] B
16. (P X) (X P)
18. (P A) (A
B)
20. (P P) (A B)
22. (P X) (P v X)
GUA DE UNIDAD V
TABLA DE VERDAD Y
CONECTIVOS LOGICOS
ING. MELENDEZ
REVISION 2016.
GUA DE UNIDAD V
TABLA DE VERDAD Y
CONECTIVOS LOGICOS
ING. MELENDEZ
REVISION 2016.
VIII. Use tablas de verdad para probar la validez o invalidez de cada una de las
formas argumentales.
1. p q
q
2. q p
3. p q
p
4. p
p v q
5. p
6. p q
pq
p (p q)
7. (p v q) (p q)
(p q) (q p)
8. p q
p
q
9. p q
q
p
10. p
q
pq
11. p q
12. p q
p r
qr
p r
r p
13. p (q r)
p q
14.p (q r)
(q v r)
p r
15. p (q r)
q (p r) (p v r)
(p v q)
17. (p q) (r s)
q v s
16. (p q) (r s)
pvr
qvs
18. p (q r)
q (r s)
GUA DE UNIDAD V
TABLA DE VERDAD Y
CONECTIVOS LOGICOS
ING. MELENDEZ
REVISION 2016.
:.p s
p v s
19. p (q r)
20. (p q) [(p q) r
(q r) s
p (r s)
p s
p s
21. (p v q) (p q)
(p v q)
(p q)
22. (p v q) (p q)
pq
pvq
23. (p q) (r s)
24. (p q) (r s)
(p q) [(p q) (r s)
p q
IX. Use tablas de verdad para determinar la validez o invalidez de cada uno de
los siguientes argumentos:
1. (A v B) (A B)
AvB
AB
3. E F
FE
E v F
2. (C v D) (C D)
CD
CvD
4. (G v H) (F H)
(G H)
(G v H)
5. (I V J) (I j)
(I v J)
(I J)
6. K v L
K
L
7. M v (N N)
8. (O v P) Q
Q (O P)
(N N)
(O v P) (O P)
9. (R v S) T
10. U (V v W)
T (R . S)
(V W)
(R S) (R v S)
GUA DE UNIDAD V
TABLA DE VERDAD Y
CONECTIVOS LOGICOS
ING. MELENDEZ
REVISION 2016.
lluvia,
entonces
el
suministro
de
agua
de
Oregon
se
reducir
GUA DE UNIDAD V
TABLA DE VERDAD Y
CONECTIVOS LOGICOS
ING. MELENDEZ
REVISION 2016.
GUA DE UNIDAD V
TABLA DE VERDAD Y
CONECTIVOS LOGICOS
ING. MELENDEZ
REVISION 2016.
2. (p q) ( p
3. (p q) (p
4. p
q)
q)
p (q v q)]
6. (p p) (q q)
5. p [p (q q)]
7. [p (q r) [(p q) (p r)
8. [p (q p)] [(q q)
(r r)]
p)
2. (p q) (p
q)
3. [(p q) r [(q p) r]
4. [p (q r) q (p r)
5. p [p (p v q)]
6. p p v (p q )
7. p [p (p q)
8. p [p (q p)
9. p [p v (p q)]
10.(p q) [(p v q) q]
11. p (p v (q q)
12.p [p (q q)
13. p p q]
14. p p v (q v q)
15. p (q v r) (p q) v (p r)
GUA DE UNIDAD V
TABLA DE VERDAD Y
CONECTIVOS LOGICOS
ING. MELENDEZ
REVISION 2016.