Juan Daniel Bogotá Fuentes

25/02/2022

Solución Taller No.6

Sección 3.1:

2. Considere la sustitución F = {p ↦ (p ≡ q), q ↦ (r ↦ s), r ↦ false}. Determine la proposición

correspondiente a la sustitución textual de F en cada una de las siguientes proposiciones:

b. (p ≡ q)

F (p ≡ q) = ( F (p) ≡ F (q)) (Caso ≡)

= ((p ≡ q) ≡ F (q)) (Caso p ∈ {p, q, r})

= ((p ≡ q) ≡ (r ↦ s)) (Caso q ∈ {p, q, r})

= ((p ≡ q) ≡ (s)) (Caso r ∈ {p, q, r})

d. ((p ∧ q) ∨ ((¬p) ∧ (¬q)))

F ((p ∧ q) ∨ ((¬p) ∧ (¬q))) = ( F ((p ∧ q)) ∨ F ((¬p) ∧ (¬q))) (Caso ∨)

= ((( F (p)) ∧ F (q)) ∨ (( F (¬p)) ∧ F (¬q))) (Caso ∧)

= (((p ≡ q) ∧ F (q)) ∨ ((¬(p ≡ q)) ∧ F (¬q))) (Caso p ∈ {p, q, r})

= (((p ≡ q) ∧ (r ↦ s)) ∨ ((¬(p ≡ q)) ∧ (¬(r ↦ s)))) (Caso q ∈

{p, q, r})

= (((p ≡ q) ∧ (s)) ∨ ((¬(p ≡ q)) ∧ (¬s)))) (Caso r ∈ {p, q, r})

f. ((p ∨ r) ← (p ∧ q))

F ((p ∨ r) ← (p ∧ q)) = ( F ((p ∨ r)) ← ( F ((p ∧ q))) (Caso ←)

= (( F (p) V F (r)) ← ( F (p ∧ q))) (Caso V)

= (( F (p) V F (r)) ← ( F (p) ∧ F (q))) (Caso ∧)

= (((p ≡ q) V F (r)) ← ((p ≡ q) ∧ F (q))) (Caso p ∈ {p, r, s})

= (((p ≡ q) V false) ← ((p ≡ q) ∧ F (q))) (Caso r ∈ {p, r, s})

= (((p ≡ q) V false) ← ((p ≡ q) ∧ (r → s))) (Caso q ∈ {p, r, s})

 g. (¬((r ∧ (r ← (p ∨ s))) ≡ (¬((p → q) ∨ (r ∧ (¬r))))))

F (¬((r ∧ (r ← (p ∨ s))) ≡ (¬((p → q) ∨ (r ∧ (¬r)))))) = ( F ((¬((r ∧ (r ← (p ∨ s)))) ≡ F (¬((p → q) ∨ (r ∧ (¬r)))))))

(Caso ≡)

= (¬(( F (r)) ∧ ( F ((r ← (p ∨ s))))) ≡ F (¬((p → q) ∨ (r ∧ (¬r))))))) (Caso ∧)

= (¬(( F (r)) ∧ ( F ((r ← (p ∨ s))))) ≡ (¬(( F ((p → q)) ∨ ( F ((r ∧ (¬r)))))))) (Caso ∨)

= (¬(((false) ∧ ( F ((r ← (p ∨ s))))) ≡ (¬(( F ((p → q)) ∨ ( F ((r ∧ (¬r)))))))) (Caso r ∈ {p,
q, r})

= (¬(((false) ∧ (( F ((r)) ← ( F ((p ∨ s)))))) ≡ (¬(( F ((p → q)) ∨ ( F ((r ∧ (¬r)))))))) (Caso ←)

= (¬(((false) ∧ ((false) ← ( F ((p ∨ s)))))) ≡ (¬(( F ((p → q)) ∨ ( F ((r ∧ (¬r)))))))) (Caso r ∈ {p,
q, r})

= (¬(((false) ∧ ((false) ← (( F (p)) ∨ ( F (s))))) ≡ (¬(( F ((p → q)) ∨ ( F ((r ∧ (¬r))))))) (Caso ∨)

= (¬(((false) ∧ ((false) ← (( F (p)) ∨ s))) ≡ (¬(( F ((p → q)) ∨ ( F ((r ∧ (¬r))))))) (Caso s ∉ {p,
q, r})

= (¬(((false) ∧ ((false) ← ((p ≡ q) ∨ s))) ≡ (¬(( F ((p → q)) ∨ ( F ((r ∧ (¬r))))))) (Caso p ∈ {p,
q, r})

= (¬(((false) ∧ ((false) ← ((p ≡ q) ∨ s))) ≡ (¬(( F ((p → q)) ∨ (( F (r)) ∧ ( F ((¬r))))))) (Caso ∧)

= (¬(((false) ∧ ((false) ← ((p ≡ q) ∨ s))) ≡ (¬(( F ((p → q)) ∨ ((false) ∧ (¬false)))))) (Caso p ∈ {p, q, r})

= (¬(((false) ∧ ((false) ← ((p ≡ q) ∨ s))) ≡ (¬((( F (p)) → ( F (q))) ∨ ((false) ∧ (¬false)))))) (Caso →)

= (¬(((false) ∧ ((false) ← ((p ≡ q) ∨ s))) ≡ (¬(((p ≡ q)→ ( F (q))) ∨ ((false) ∧ (¬false)))))) (Caso p ∈ {p,
q, r})

= (¬(((false) ∧ ((false) ← ((p ≡ q) ∨ s))) ≡ (¬(((p ≡ q)→ s) ∨ ((false) ∧ (¬false)))))) (Caso ∈ {p, q, r})
 3. Para cada una de las siguientes proposiciones encuentre una sustitución F tal que la
proposición resultante de la sustitución textual bajo F sea una tautología:

a. P

p (¬p) (p ∨ (¬p))
F T T
T F T

F = {p ↦ (p ∨ (¬p))}

⊨ (p ∨ (¬p))
p ⊨ (p ∨ (¬p))

c. ((p ∧ (¬q)) → r)

((p ≡ q) ∧ (((p ≡ q) ∧ (¬p)) → (p ≡

p q r (¬p) (p ≡ q) (p ≡ p)
(¬p)) p))
F F F T T T T T
F F T T T T T T
F T T T F F T T
F T F T F F T T
T F T F F F T T
T F F F F F T T
T T F F T F T T
T T T F T F T T

F = {p ↦ (p ≡ q), q ↦ p, r ↦ (p ≡ p)}

⊨ (((p ≡ q) ∧ (¬p)) → (p ≡ p))

((p ∧ (¬q)) → r) ⊨ (((p ≡ q) ∧ (¬p)) → (p ≡ p))

e. (p → (q → p))

(((¬q) ≡ q) → (p ≡ ((p ≡ (¬p)) → (((¬q) ≡ q) → (p ≡

p q (¬p) (¬q) (p ≡ (¬p)) ((¬q) ≡ q)
(¬p)))) (¬p))))
F F T T F F T T
F T T F F F T T
T F F T F F T T
 T T F F F F T T

F = {p ↦ (p ≡ (¬p)) , q ↦ ((¬q) ≡ q)}

⊨ ((p ≡ (¬p)) → (((¬q) ≡ q) → (p ≡ (¬p))))

(p → (q → p)) ⊨ ((p ≡ (¬p)) → (((¬q) ≡ q) → (p ≡ (¬p))))

g. (¬((r ∧ (r ← (p ∨ s))) ≡ (¬((p → q) ∨ (r ∧ (¬r))))))

((r ≡
(¬r))
((r ≡
((p≡ ← ((p≡ (¬r))
p q r s (¬r) true false
(r ≡ (¬(r ≡ (p ≡ p) ∨
( ((p
α p) → ∧ δ ¬δ β ¬β
(¬r)) (¬r))) p) ≡ p)
(true)) (false)) ≡
(¬(r
∨ (¬r)))
(true))
)
F F F F T T F F T T T F F F F F T F T
F F F T T T F F T T T F F F F F T F T
F F T T F T F F T T T F F F F F T F T
F T T T F T F F T T T F F F F F T F T
F T T F F T F F T T T F F F F F T F T
F T F F T T F F T T T F F F F F T F T
F F T F F T F F T T T F F F F F T F T
F T F T T T F F T T T F F F F F T F T
T F T F F T F F T T T F F F F F T F T
T T F T T T F F T T T F F F F F T F T
T F T T F T F F T T T F F F F F T F T
T F F T T T F F T T T F F F F F T F T
T F F F T T F F T T T F F F F F T F T
T T F F T T F F T T T F F F F F T F T
T T T F F T F F T T T F F F F F T F T
T T T T F T F F T T T F F F F F T F T

F = {p ↦ (p ≡ p) , q ↦ (false), r ↦ (r ≡ (¬r)) , s ↦ (true)}

⊨ (¬(( (r ≡ (¬r)) ∧ ( (r ≡ (¬r)) ← ( ((p ≡ p) ∨ (true))) ≡ (¬( ((p ≡ p) → (false)) ∨ ((r ≡ (¬r)) ∧ (¬(r ≡ (¬r))))))
(¬((r ∧ (r ← (p ∨ s))) ≡ (¬((p → q) ∨ (r ∧ (¬r))))))

⊨ (¬(( (r ≡ (¬r)) ∧ ( (r ≡ (¬r)) ← ( ((p ≡ p) ∨ (true))) ≡ (¬( ((p ≡ p) → (false)) ∨ ((r ≡ (¬r)) ∧ (¬(r ≡
(¬r))))))

α = (r ≡ (¬r)) ∧ ( (r ≡ (¬r)) ← ( ((p ≡ p) ∨ (true)))

δ = (((p ≡ p) → (false)) ∨ ((r ≡ (¬r)) ∧ (¬(r ≡ (¬r)))

 β = (( (r ≡ (¬r)) ∧ ( (r ≡ (¬r)) ← ( ((p ≡ p) ∨ (true))) ≡ (¬( ((p ≡ p) → (false)) ∨ ((r ≡ (¬r)) ∧ (¬(r ≡ (¬r)))))

5. Para cada uno de los siguientes casos encuentre proposiciones concretas ϕ , ψ , τ tales que:

a. (ϕ [q := τ ])[p := ψ ] ≠ (ϕ [p := ψ ])[q := τ ].

ϕ = (p → q)
τ = (p ∧ q)
ψ = (r ∨ s)
F = (q := (p ∧ q)) ≢ s = { p := (r ∨ s)}
F (ϕ ) = (p→ (p ∧ q)) ≢ (s(ϕ )) = ((r ∨ s) → q
¿p →((p ∧ q)) [p:= (r ∨ s)] ≢ ((r ∨ s) → q) [q:=(p∧ q)]
((r ∨ s) → ((r ∨ s) ∧ q)) ≢ (r ∨ s) →( p∧ q))

b. ϕ [p,q := ψ , τ ] ≠ (ϕ [p := ψ ])[q := τ ].

Sección 3.2:

1. Proponga una proposición ϕ tal que ϕ [p := ψ ] = ϕ para cualesquiera variables proposicional

p y proposición ψ .

ϕ = (t → s)
ψ=(q ≡ t)
(t → s ) [ p ≔ ( q ≡t ) ] =¿ (t → s) = ϕ

4. Sean p una variable proposicional, ϕ , ψ proposiciones y Γ un conjunto de proposiciones.

Demuestre o refute:

a. Si Γ ⊨ ϕ , entonces Γ ⊨ ϕ [p := ψ].

Sea v una valuación de Γ y ϕ

ϕ =T MT 3.7

Γ ⊨ ϕ [p := ψ]

5. Sean p una variable proposicional y ϕ , ψ proposiciones. Demuestre o refute:

a. Si ϕ es satisfacible, entonces ϕ [p := ψ ] es satisfacible.

b. Si ϕ es insatisfacible, entonces ϕ [p := ψ ] es insatisfacible.
c. Si ϕ [p := ψ ] es satisfacible, entonces ϕ es satisfacible.
d. Si ϕ [p := ψ ] es insatisfacible, entonces ϕ es insatisfacible.

8. Considere la siguiente afirmación hecha en el Ejemplo 3.3:

Tome dos variables proposicionales p y q tales que: q sea distinta a p y esta no aparezca
en ϕ ni en ψ .

Con base en esta afirmación:

b. Suponga que p y q son tales que satisfacen las condiciones en la afirmación anterior,
excepto que q puede aparecer en ϕ o en ψ . Explique por qué, en cualquiera de estos
casos, la siguiente igualdad puede fallar:

((ϕ → ψ) ≡ ((¬ϕ ) ∨ ψ )) = ((p → q) ≡ ((¬p) ∨ q))[p := ϕ ][q := ψ ]

ϕ = (p ∨ (true))
( F ((false) ∨ (true)) ≡ ((true) ∨ (true))

( F (ϕ [p := ψ] ≡ ϕ [p := τ ])

q := (false) ψ := (true)

( F (ψ ≢ τ )) la igualdad no se cumple

Sección 3.3:

1. Justifique por qué las afirmaciones (1) y (2) en el Ejemplo 3.4 son correctas.

{(¬ϕ )} ⊨ ((¬ϕ ) ∨ ψ ) y ⊨ (((¬ϕ ) ∨ ψ ) ≡ (ϕ → ψ ))

v((¬ϕ )) = T (Suposición)
v((ϕ )) = F (MT 2.3, Caso ¬)
v(((¬ϕ ) ∨ ψ )) = T (Suposición)
v ((ψ )) = T o v ((ψ )) = F (MT 2.3, Caso ∨)
(ϕ → ψ ) = T (MT 2.3, Caso →)

8. Sean Γ un conjunto de proposiciones, ϕ , ψ 0, … , ψ n, τ 0, …, τ n proposiciones y p0, …, pn

variables proposicionales. Si Γ ⊨ (ψ i ≡ τ i ) para 0 ≤ i ≤ n, entonces

Γ ⊨ (ϕ [ p0, …, pn := ψ 0, … , ψ n] ≡ ϕ [ p0, …, pn := τ 0, …, τ n]).

9. Sean p una variable proposicional y ϕ , ψ , τ proposiciones. Demuestre o refute: si ⊨ (ϕ [p :=
ψ ] ≡ ϕ [p := τ ]), entonces ⊨ (ψ ≡ τ ).

1. ⊨ (ϕ [p := ψ ] ≡ ϕ [p := τ ]) (Suposición)
2. v( (ϕ [p := ψ ] ≡ ϕ [p := τ ]) ) = T Sea v una valuación
3. v( (ϕ [p := ψ ] = ϕ [p := τ ]) ) (MT 2.23 caso≡)
(Sea w una valuación, suposición)
4. v( ϕ [p := ψ ] ) = w (ϕ ) (Lema 3.6)
5. v( ϕ [p := τ ] ) = w (ϕ ) (Lema 3.6)
6. ⊨ (ψ ≡ τ )