MATEMATICA DISCRETA

ACTIVIDAD 4

1. Formaliza las siguientes proposiciones y confecciona su tabla de verdad:

O estás seguro y lo que dices es cierto o mientes como un bellaco.

p q r ( p^ q) V r
(p ^q) r
1 1 1 1 1 1 1
p = estar seguro. 1 1 0 1 1 1 0
q = decir la verdad. 10 1 1 0 0 1
r = mentir como un bellaco. 10 0 1 0 0 0
0 1 1 0 0 1 1
0 1 0 0 0 1 0
0 0 1 0 0 0 1
0 0 0 0 0 0 0

2. Construye las tablas de verdad de:

a. ¬p y q p q ¬p y q

1 1 0 1
1 0 0 0
0 1 1 1
0 0 1 0

b. ¬p y ¬q p q ¬py¬q

1 1 0 0
1 0 0 1
0 1 1 0
0 0 1 1

c. (p v ¬q) v p p q (p v ¬q) v p

1 1 1 1 0 1
1 0 1 1 1 1
0 1 0 0 0 0
0 0 0 1 1 0

Dr. Walter Herrera Nieto Página 1

 MATEMATICA DISCRETA

d. (p → q) y p p q ( p → q) p
1 1 1 1 1 1
1 0 1 0 0 1
0 1 0 1 1 0
0 0 0 1 0 0

e. (p ↔ q) y ¬p p q (p ↔ q) ¬p

1 1 1 1 1 0
1 0 1 0 0 0
0 1 0 0 1 1
0 0 0 1 0 1

f. [¬(p → q)v (p ↔ q)] y [(¬p → q)v ¬p ] p q [¬(p → q)v (p ↔ q)] [(¬p → q) v ¬p]
1 1 01 11 1 1 1 1 1 0 1 1 1 0
1 0 1 1 0 0 1 1 0 01 0 1 0 1 0
0 1 0 0 1 1 0 0 0 10 1 1 1 1 1
0 0 0 0 1 0 1 0 1 01 1 0 0 1 1

3. Construye las tablas de verdad e indica si se trata de tautologías,

contradicciones o indeterminaciones.

a. ¬p v q p q ¬p v q

1 1 0 1 1
1 0 0 0 0
0 1 1 1 1
0 0 1 1 0

yy
b. (p y q) → p p q (p q) → p

1 1 1 1 1 1 1
1 0 1 0 0 1 1
0 1 0 0 1 1 0
0 0 0 0 0 1 0

Dr. Walter Herrera Nieto Página 2

 MATEMATICA DISCRETA

c. p ↔ ¬p P p ↔ ¬ p

1 1 01
0 0 10

d. (p ↔ ¬q) y (p v ¬q) pq (p ↔ ¬q) (p ¬q)

1 1 1 0 0 1 10
1 0 1 1 1 1 11
0 1 0 1 0 0 00
0 0 0 0 1 0 11

e. (p ↔ ¬q) v (p v ¬q) pq (p ↔ ¬q) v (p ¬q)

1 1 1 0 0 1 10
1 0 1 1 1 1 11
0 1 0 1 0 0 00
0 0 0 0 1 0 11

f. (¬p v q) ↔ (p → q) pq (¬p v q) ↔ (p → q)

1 1 0 1 1 1 1 1
1 0 0 0 0 1 0 0
0 1 1 1 1 0 1 1
0 0 1 1 0 0 1 0

Dr. Walter Herrera Nieto Página 3