Elaborar la tabla de valor de verdad para cada una de las

siguientes proposiciones:
a) (p ˅ q) → (q ˅ p)
p q (p ˅ q) (q ˅ p) (p ˅ q) → (q ˅ p)
0 0 0 0 1
0 1 1 1 0
1 0 1 1 1
1 1 1 1 1

b) (p ˄ q) → (p ˅ q)
p q (p ˄ q) (p ˅ q) (p ˄ q) → (p˅q)
0 0 0 0 1
0 1 0 1 1
1 0 0 1 1
1 1 1 1 1

c) p → (p ↔ q)
p q (p ↔ q) p → (p ↔ q)
0 0 1 1
0 1 0 1
1 0 0 0
1 1 1 1

d) (p ˄ q) ˄ ¬ (q ˅ p)
p q (p ˄ q) (q ˅ p) ¬ (q ˅ p) (p ˄ q) ˄ ¬ (q ˅ p)
0 0 0 0 1 0
0 1 0 1 0 0
1 0 0 1 0 0
1 1 1 1 0 0
 Utilice una tabla de verdad para analizar los siguientes
argumentos:
a) (p ˅ q → p) ˄ (p →p ˄ q)
p q p ˅ q p ˄ q (p˅q→p) (p→p˄q) (p˅q→p)˄(p→p ˄ q)
0 0 0 0 1 1 1
0 1 1 0 0 1 0
1 0 1 0 1 0 0
1 1 1 1 1 1 1

b) ¬ p ˅ ¬ q → ( p ˄ q )
p q ¬p ¬q ¬p˅¬ q (p˄q) ¬ p˅¬q → ( p˄q )
0 0 1 1 1 0 0
0 1 1 0 1 0 0
1 0 0 1 1 0 0
1 1 0 0 0 1 1
Ejercicio
Analice el argumento:
(Encuentre las proposiciones simples, represente simbólicamente cada
una de ella y exprese en forma lógica )

“Si los comunistas ganan la votación, abandono el país.

No estoy abandonando el país. Por lo tanto, los
comunistas no ganaron la votación.”
P: los comunistas ganan la votación
Q: abandono el país.
Forma lógica: p˄ q
¬ q ˄¬ p
Determine cuáles de estas son tautología, cuáles de estas
son contradicciones y cuáles ninguna de las anteriores.

a)p ˅¬ p: Es una contradicción.

p ¬p p ˅¬ p
0 1 1
1 0 1

b)p ˄¬ p:Es una contradicción.

p ¬p p ˄¬ p
0 1 0
1 0 0

c)p˄(p˄p):Ninguna de las anteriores.

p p˄(p˄p)
0 0
1 1

d)(p ˅q) ˅(¬ p˄¬q):Es una tautología.

 p q ¬p ¬q (p ˅q) (¬ p˄¬q) (p ˅q) ˅(¬ p˄¬q)
0 0 1 1 0 1 1
0 1 1 0 1 0 1
1 0 0 1 1 0 1
1 1 0 0 1 0 1

e)(p ˅ ¬ q) ˅(¬ p˄q):Es una tautología.

p q ¬p ¬q (p ˅¬ q) (¬ p˄q) (p˅¬q)˅(¬ p˄q)

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

F) (p ˅¬ q) ˄(¬ p˄¬ q):Ninguna de las anteriores.

p q ¬p ¬q (p ˅¬ q) (¬ p˄¬ q) (p ˅¬ q) ˄(¬ p˄¬ q)
0 0 1 1 1 1 1
0 1 1 0 0 0 0
1 0 0 1 1 0 0
1 1 0 0 1 0 0

g)(¬p˅q) ˄( p˄q):Ninguna de las anteriores.

p q ¬p (¬p˅q) ( p˄q) (¬p˅q) ˄( p˄q)

0 0 1 1 0 0
0 1 1 1 0 0
1 0 0 0 0 0
1 1 0 1 1 1
 h)(p˄q) ˄(¬ p˄¬q):Es una contradicción.

p q ¬p ¬q (p˄q) (¬ p˄¬q) (p˄q) ˄(¬ p˄¬q)

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

Ejercicio

1. ¬( p˄q) ↔(¬ p˅¬q): Es una tautología.

p q ¬ p ¬ q ( p˄q) (¬p˅¬q) ¬( p˄q) ¬( p˄q) ↔(¬ p˅¬q)
0 0 1 1 0 1 1 1
0 1 1 0 0 1 1 1
1 0 0 1 0 1 1 1
1 1 0 0 1 0 0 1
 2.¬ (p˅¬q) ↔(¬ p˄¬q): No es tautología.
p q ¬p ¬q (p˅¬q) (¬ p˄¬q) ¬ (p˅¬q) ¬ (p˅¬q) ↔(¬ p˄¬q)
0 0 1 1 1 1 0 0
0 1 1 0 0 0 1 0
1 0 0 1 1 0 1 0
1 1 0 0 1 0 1 0

3.(p˄q) ↔ p:No es equivalente.

p q (p˄q) (p˄q) ↔ p
0 0 0 1
0 1 0 1
1 0 0 0
1 1 1 1

(p˅q) ↔p: Si es equivalente.

p q (p˅q) (p˅q) ↔p
0 0 0 1
0 1 1 0
1 0 1 0
1 1 1 1

4. ¬ (p˄¬q):No es equivalente .
p q ¬q (p˄¬q) ¬(p˄¬q)
0 0 1 0 1
0 1 0 0 1
1 0 1 1 0
1 1 0 0 1
 ¬ p˅q:No es equivalente.
p q ¬p ¬ p˅q
0 0 1 1
0 1 1 1
1 0 0 0
1 1 0 1

5. ¬ (p˅¬q): No es equivalente
p q ¬q (p˅¬q) ¬ (p˅¬q)
0 0 1 1 0
0 1 0 0 1
1 0 1 1 0
1 1 0 1 0

¬ p˄q: No es equivalente
p q ¬p ¬ p˄q
0 0 1 0
0 1 1 1
1 0 0 0
1 1 0 0

6. (p˅¬q) ↔(¬ p˄q): Es una contradicción.

p q ¬p ¬q (p˅¬q) (¬ p˄q) (p˅¬q)↔(¬ p˄q)
0 0 1 1 1 0 0
0 1 1 0 0 1 0
1 0 0 1 1 0 0
1 1 0 0 1 0 0

Ejercicio
 Si p y r son proposiciones verdaderas y q es falsa,
determine el valor de verdad de :

a) [(p˄¬q) ˅¬r] →q:

p q r ¬q ¬r (p˄¬q) [(p˄¬q) ˅¬r] [(p˄¬q) ˅¬r] →q
0 0 0 1 1 0 1 0
0 0 1 1 0 0 0 1
0 1 0 0 1 0 1 1
0 1 1 0 0 0 0 1
1 0 0 1 1 1 1 0
1 0 1 1 0 1 1 0
1 1 0 0 1 0 1 1
1 1 1 0 0 0 0 1
b.[(¬r ˅q) ˄(r ˅¬p)]↔ ¬r
p q r ¬p ¬r (¬r˅q) (r˅¬p) [(¬r˅q)˄(r˅¬p)] [(¬r˅q)˄(r˅¬p)
↔¬r
0 0 0 1 1 1 1 1 1
0 0 1 1 0 1 1 1 0
0 1 0 1 1 1 1 1 1
0 1 1 1 0 1 1 1 0
1 0 0 0 1 1 0 0 0
1 0 1 0 0 0 1 0 1
1 1 0 0 1 1 0 0 0
11 1 0 0 1 1 1 0

c)[( ¬p→q) →¬r] ˅[¬q→r]

p q r ¬p ¬q ¬r (¬p→q) [(¬p→q)→¬r] [¬q→r] [(¬p→q)→¬r]˅

[¬q→r]
0 0 0 1 1 1 0 1 0 1
0 0 1 1 1 0 0 1 1 1
0 1 0 1 0 1 1 1 1 1
0 1 1 1 0 0 1 0 1 1
1 0 0 0 1 1 1 1 0 1
1 0 1 0 1 0 1 0 1 1
1 1 0 0 0 1 1 1 1 1
1 1 1 0 0 0 1 0 1 1

¿ Qué condiciones debe satisfacer p y q para que la

siguiente proposición sea : ?
 a)[(q↔p) ˄ ¬q] → [p ˄¬q ]
p q ¬q (q↔p) [(q↔p)˄¬q] [p˄¬q] [(q↔p)˄¬q]→
[p ˄¬q ]
0 0 0 1 0 0 1
0 0 1 1 1 0 0
0 1 0 0 0 0 1
0 1 1 0 0 0 1
1 0 0 0 0 0 1
1 0 1 0 0 1 1
1 1 0 1 0 0 1
1 1 1 1 1 1 1
b)[( ¬p→q) →¬r] ˅[¬q→r]
p q r ¬p ¬q ¬r (¬p→q) [(¬p→q) [¬q→r] [(¬p→q)→¬r]
→¬r] ˅[¬q→r]
0 0 0 1 1 1 0 1 0 1
0 0 1 1 1 0 0 1 1 1
0 1 0 1 0 1 1 1 1 1
0 1 1 1 0 0 1 0 1 1
1 0 0 0 1 1 1 1 0 1
1 0 1 0 1 0 1 0 1 1
1 1 0 0 0 1 1 1 1 1
1 1 1 0 0 0 1 0 1 1
 c){ ¬p ˄(p ˅q)} ˄[p↔q]
p q ¬p (p ˅q) {¬p˄(p˅q)} [p↔q] {¬p˄(p˅q)}˄[p↔q]
0 0 1 0 0 1 0
0 0 1 0 0 1 0
0 1 1 1 1 0 0
0 1 1 1 1 0 0
1 0 0 1 0 0 0
1 0 0 1 0 0 0
1 1 0 1 0 1 0
1 1 0 1 0 1 0

NOMBRE: EMILIA YUBIRI YEPEZ CANO