Taller Proposiciones y Conectivos Pensamiento Lógico 40183
Daniel Armando Rivera Ramirez Camilo Andres Alvarado Ramos
Taller Proposiciones y Conectivos
Una forma abreviada de demostrar que una expresión es una fbf, es ir construyendo lo
que podríamos llamar su árbol genealógico; partiendo de los símbolos proposicionales,
se va formando poco a poco aplicando las reglas (1), (2) y (3) dadas anteriormente;
como ejemplo construyamos el de (¬p ∧ q) ∨ (r → q):
p q r
¬p
¬p ∧ q r→q
(¬p ∧ q) ∨ (r → q)
Use este procedimiento para decidir cuáles de las siguientes expresiones son fbf y
cuales no:
a) (¬p → ¬q) → ¬(p ∨ q).
p q
¬p ¬q p∨q
¬p → ¬q ¬(p ∨ q)
(¬p → ¬q) → ¬(p ∨ q)
b) p → ∨¬r ∧ q. No es una fbf
Taller Proposiciones y Conectivos Pensamiento Lógico 40183
Daniel Armando Rivera Ramirez Camilo Andres Alvarado Ramos
c) (p1 ∧ p2) ∧ p3 ↔ (¬p4 ∨ p3).
p1 p2 p3 p4
p1 ∧ p2 ¬p4
(p1 ∧ p2) ∧ p3 ¬p4 ∨ p3
(p1 ∧ p2) ∧ p3 ↔ (¬p4 ∨ p3)
d) ((p1 → (¬p2)) ∧ p1) → ¬p2
p1 p2
¬p2
p1 → (¬p2)
(p1 → (¬p2)) ∧ p1)
((p1 → (¬p2)) ∧ p1) → ¬p2
e) p ∧ q ∨ p ∧ r
p q r
p∧q
p∧q∨p
p∧q∨p∧r
Taller Proposiciones y Conectivos Pensamiento Lógico 40183
Daniel Armando Rivera Ramirez Camilo Andres Alvarado Ramos
f ) (¬ ∨ p) → (q ∧ r) No es una fbf
g) ¬(p ∧ q) → ((¬p) ∧ (¬q)).
p q
p∧q
¬p ¬q
¬(p ∧ q) (¬p) ∧ (¬q)
¬(p ∧ q) → ((¬p) ∧ (¬q))
Use las tablas de verdad para probar que (p ∧ ¬p) → q es una tautología.
p q ¬p p ∧ ¬p (p ∧ ¬p) → q
V V F F V
V F F F V
F V V F V
F F V F V
TAUTOLOGIA
Sean α, β fórmulas bien formadas. Se dice que“α implica tautológicamente a β” si α → β
es una tautología. Se dice “α es tautológicamente equivalente a β” si α implica
tautológicamente a β y β implica tautológicamente a α, o lo que es igual si α ↔ β es una
tautología. Halle un ejemplo de implicación tautológica y uno de equivalencia tautológica.
Equivalencia Tautológica α ↔ β
p q (p ∧ q) ¬(p ∧ q) ¬p ¬q (¬p∨¬q) ¬(p ∧ q) ↔ (¬p ∨ ¬q)
V V V F F F F V
V F F V F V V V
F V F V V F V V
F F F V V V V V
TAUTOLOGIA
Taller Proposiciones y Conectivos Pensamiento Lógico 40183
Daniel Armando Rivera Ramirez Camilo Andres Alvarado Ramos
Implicación Tautológica α → β
p q r (q → r) (p → q) (p → r) p → (q → r) (p → q) → (p → r) [p → (q → r)] → [(p → q) → (p → r)].
V V V V V V V V V
V V F F V F F F V
V F V V F V V V V
V F F V F F V V V
F V V V V V V V V
F V F F V V V V V
F F V V V V V V V
F F F V V V V V V
TAUTOLOGIA
Una contradicción es una fbf compuesta que siempre es falsa, independientemente de la
veracidad de las proposiciones componentes. Dé un ejemplo de contradiccion,
demostrando que lo son mediante tablas de verdad si es el caso.
¬ p ∧ q) ∧ (p ∨ q)] ∧ r.
p q r (p ∧ q) (p ∨ q) ¬ (p ∨ q) [(p ∧ q) ∧ ¬ (p ∨ q)] [(p ∧ q) ∧ ¬ (p ∨ q)] ∧ r.
V V V V V F F F
V V F V V F F F
V F V F V F F F
V F F F V F F F
F V V F V F F F
F V F F V F F F
F F V F F V F F
F F F F F V F F
CONTRADICCIÓN
Taller Proposiciones y Conectivos Pensamiento Lógico 40183
Daniel Armando Rivera Ramirez Camilo Andres Alvarado Ramos
Dadas las proposiciones p: hace frío y q: está de noche, y suponiendo que la primera es
verdadera en este momento y la segunda falsa, escriba en términos de p, q y los
conectivos, las proposiciones siguientes y halle sus valores de verdad:
a) No está de noche o no hace frío. ¬q ∨ ¬p
p q ¬p ¬q ¬q ∨ ¬p
V F F V V
b) Hace frío o no está de noche. p ∨ ¬p
p q ¬p p ∨ ¬p
V F F V
c) Ni está de noche ni hace frío ¬q ∧ ¬p
p q ¬p ¬q ¬q ∧ ¬p
V F F V F
d) Está de noche pero no hace frío. q ↔ ¬p
p q ¬p q ↔ ¬p
V F F F
q → ¬p
p q ¬p q → ¬p
V F F F
Taller Proposiciones y Conectivos Pensamiento Lógico 40183
Daniel Armando Rivera Ramirez Camilo Andres Alvarado Ramos
Halle la negación de cada una de las proposiciones anteriores dando la respuesta tanto
en términos de p, q y los conectivos, como en español correcto.
a) No está de noche o no hace frío. Está de noche o hace frio q ∨ p
p q q∨p
V F V
b) Hace frío o no está de noche. No hace frio o está de noche ¬ p ∨ p
p q ¬q ¬p∨p
V F V V
c) Ni está de noche ni hace frío Está de noche y hace frio q ∧ p
p q ¬q ∧ ¬p
V F F
d) Está de noche pero no hace frío. No está de noche pero hace frio ¬ q ↔ p
p q ¬p ¬q↔p
V F F F
q → ¬p
p q ¬q ¬q → p
V F V V
