INTEGRANTES:
EJERCICIOS:
1) (p → q) → q y pvq
2) p ∧ ͠ q y ͠ (p ↔ q)
3) [(p ∧ ∼q) v ∼ (q ∧ ∼p)] y [(p → q) → (q → p)]
4) p ↔ q y (∼p ↔ ∼q)
5) [p → (q v r)] y [(p → q) v (q → r)]
6) [p → (q ∧ r)] y [∼p v (q ∧ r)]
7) [∼ (p v q)] y ∼p v ∼q
8) Cuál de las siguientes expresiones son lógicamente equivalentes
( ͠ p v ͠ q) ∧ r
a) p → (∼ q ∧ r)
b) (p → q) ∧ r
c) (p → ∼ q) ∧ r
d) p → (q v r)
9) Probar que las tres proposiciones siguientes son equivalentes:
A: p ⇒ (q v r)
B: (p ∧ ∼q) ⇒ r
C: (p ⇒q) v (p ⇒ r) RPT: Solo B y C son equivalentes
10) Transformar la proposición:
p ⇒ ∼(∼q ⇒r)
en otra equivalente que contenga sólo conectivos "∧ " y "∼"
RESOLUCIÓN DE EJERCICIOS
1)
p q
V V
V F
F V
F F
2)
p q
V V
V F
F V
F F
3)
p q
V V
V F
F V
F F
4)
p q
V V
V F
F V
F F
5)
p q
V V
V V
V F
V F
F V
F V
BARBARAN ORIHUELA, KATHERIN ESTHER
EQUIVALENTE
(p → q) → q ↔ pvq
VVVVV V VVV
VFFVF V VVF
FVVVV V FVV
FVFFF V FFF
NO EQUIVALENTE
p∧∼q ↔ ∼ (p ↔ q)
VFFV F FVVFV
VVVF F FVFVF
FFFV V VFFFV
FFVF F VFVVF
NO EQUIVALENTE
[(p ∧ ∼q) v ∼ (q ∧ ∼p)] ↔ [(p → q) → (q → p)]
VFFVFFVFV F VVVVVVV
VVVFVVFVV V VFFVFVV
FFFVFFVFF V FVVFVFF
FFVFFVFFF F FVFVFVF
EQUIVALENTE
p↔q ↔ (∼p ↔ ∼q)
VVV V FVVFV
VFF V FVFVF
FFV V VFFFV
FVF V VFVVF
NO EQUIVALENTE
r [p → (q v r)] ↔ [(p → q) v (q → r)]
V VVVVV V VVVVVVV
F VVVVF V VVVVVFF
V VVFVV V VFFVFVV
F VFFFF F VFFVFVF
V FVVVV V FVVVVVV
F FVVVF V FVVVVFF
 F F V FVFVV V FVFVFVV
F F F FVFFF V FVFVFVF

6) EQUIVALENTE
p q r [p → (q ∧ r)] ↔ [∼p v (q ∧ r)]
V V V VVVVV V FVVVVV
V V F VFVFF V FVFVFF
V F V VFFFV V FVFFFV
V F F VFFFF V FVFFFF
F V V FVVVV V VFVVVV
F V F FVVFF V VFVVFF
F F V FVFFV V VFVFFV
F F F FVFFF V VFVFFF

7) EQUIVALENTE
p q [∼ (p v q)] ↔ ∼p v ∼q
V V FVFFV V FVFFV
V F FVVVF V FVVVF
F V VFVFV V VFVFV
F F VFVVF V VFVVF

8) Cuál de las siguientes expresiones son lógicamente equivalentes

a) NO EQUIVALENTE
p q r p → (∼ q ∧ r) ↔ ( ͠ p v ͠ q) ∧ r
V V V VFFVFV V FVFFVFV
V V F VFFVFF V FVFFVFF
V F V VVVFVV V FVVVFVV
V F F VFVFFF V FVVVFFF
F V V FVFVFV V VFVFVVV
F V F FVFVFF F VFVFVFF
F F V FVVFVV V VFVVFVV
F F F FVVFFF F VFVVFFF

b) NO EQUIVALENTE
p q r (p → q) ∧ r ↔ ( ͠ p v ͠ q) ∧ r
V V V VVVVV V FVFFVFV
V V F VVVFF F FVFFVFF
V F V VFFFV V FVVVFVV
V F F VFFFF V FVVVFFF
F V V FVVVV V VFVFVVV
F V F FVVFF V VFVFVFF
F F V FVFVV V VFVVFVV
F F F FVFFF V VFVVFFF

c) EQUIVALENTE
p q r (p → ∼ q) ∧ r ↔ ( ͠ p v ͠ q) ∧ r
V V V VFFVFV V FVFFVFV
V V F VFFVFF V FVFFVFF
V F V VVVFVV V FVVVFVV
V F F VVVFFF V FVVVFFF
F V V FVFVVV V VFVFVVV
F V F FVFVFF V VFVFVFF
F F V FVVFVV V VFVVFVV
F F F FVVFFF V VFVVFFF

d) NO EQUIVALENTE
p q r p → (q v r) ↔ ( ͠ p v ͠ q) ∧ r
V V V VVVVV F FVFFVFV
V V F VVVVF F FVFFVFF
V F V VFFVV F FVVVFVV
V F F VFFFF V FVVVFFF
F V V FVVVV V VFVFVVV
F V F FVVVF F VFVFVFF
F F V FVFVV V VFVVFVV
 F F F FVFFF F VFVVFFF

9) Probar que las tres proposiciones siguientes son equivalentes: RPT: solo la B y C son equivalentes, por lo tanto las tres no son equivalentes

A NO EQUIVALENTE B EQUIVALENTE C
p q r p ⇒ (q v r) ↔ (p ∧ ∼q) ⇒ r ↔ (p ⇒q) v (p ⇒ r)
V V V VVVVV V VFFVVV V VVVVVVV
V V F VVVVF V VFFVVF V VVVVVFF
V F V VFFVV F VVVFVV V VFFVVVV
V F F VFFFF V VVVFFF V VFFFVFF
F V V FVVVV V FFFVVV V FVVVFVV
F V F FVVVF V FFFVVF V FVVVFVF
F F V FVFVV V FFVFVV V FVFVFVV
F F F FVFFF V FFVFVF V FVFVFVF

10)
p q
V V
V V
V F
V F
F V
F V
F F
F F
EQUIVALENTE
r p ∧ ∼(∼q ∧ r) ↔ ∼[∼(p ∧ ∼(∼q ∧ r))]
V VVVFFV V VVVFFV
F VVVVVF V VVVVVF
V VFFFFV V VFFFFV
F VFFFVF V VFFFVF
V FFVFFV V FFVFFV
F FFVFVF V FFVFVF
V FFFFFV V FFFFFV
F FFFFVF V FFFFVF

Mis, algo así entendí la indicación