Corporación Unificada Nacional de Educación Superior

Hernando Barros

Isabela Molina Álvarez

Santa marta
 1. ( a ˄ b ) -> c A: falso
f v f C: falso
D: verdadero
f B: verdadero

2. ~ b ↔ ( c → d ) 3. ~( b ˄ d) ˅ - c 4. ~ a → (a ↔ b)
v f v v v f f f v
v v
f v v f

f
f f
v

5. (a ˅ d) → ~ (b ˄ c) 6. ~ (a → ~ (c ˄ ~ d))

f v v f f f v

v f f

v f

v v

7. b → ~ ((a ˅ c) ˄ (d ↔ a)) 8. ~ (a ˄ b) ↔ ~ (c → d)

v f f v f f v f v

f f f v

f v f

v f

v
1. (p ˄ ¬ q) ↔ (¬ p ˅ q)
p q ¬p ¬q p ˄¬q ¬p˅q (p ˄ ¬ q)→ (¬p ˅ q)
v v f f f v v
v f f v v f f
f v v f f v v
f f v v f v v

2. (p ˅ q) ↔ (p ˅ q)
p q p˅q p˅q (p ˅ q) ↔ (p ˅ q)
v v f v f
v f v v v
f v v v v
f f f f v

3. ¬ (p ˄ q) → (¬p ˅ ¬q)
p q ¬p ¬q p˄q ¬(p ˄ q) (¬p ˅ ¬q) ¬(p ˄q) → (¬p ˅¬q)
v v f f v f f v
v f f v f v f f
f v v f f v f f
f f v v f v v v

4. ¬ (p ˄ q) ↔ (¬p ˅ ¬q)
p q ¬p ¬q p˄q ¬(p ˄ q) (¬p ˅ ¬q) ¬(p ˄ q) ↔ (¬p ˅ ¬q)
v v f f v f f v
v f f v f v f f
f v v f f v f f
f f v v f v v v

5. ¬ (p ˄ q) ↔ (p ˅ ¬q)
p q ¬q p ˄q ¬(p ˄q) (p ˅¬ q) ¬(p ˄q) ↔ (p ˅¬q)
v v f v f v f
v f v f v v v
f v f f v v v
f f v f v f f

6. P → ¬ (p ˅q)
p q p˅q ¬( p ˅ q) p →¬ (p ˅q)
v v v f f
v f v f f
f v v f v
f f f v v