ESCUELA COLOMBIANA DE INGENIERÍA

L-CAT

Tarea No. 3

Edgar Alejandro Barbosa Galarza

1. Demuestre que las siguientes proposiciones son tautologías para cualesquiera proposiciones φ, ψ,
τ:
b) ((φ ≡ ψ) ≡ (ψ ≡ φ)).
Dado que por la nota 2.20 v(φ)= T o v(φ) =F y de la misma manera v(ψ) = T o v(ψ) = F,
Revisaremos 4 casos.
a) v(φ) =F y v(ψ) = F
1.v(φ) = F caso a
2.v(ψ) = F caso a
3.v((φ ≡ ψ)) = T (M.T 2.23 caso ≡, paso 1,2)
4.v((ψ ≡ φ)) = T (M.T 2.23 caso ≡, paso 2,1)
5.v((φ ≡ ψ) ≡ (ψ ≡ φ)) = T (M.T 2.23 caso ≡, paso 3,4)

b) v(φ) =F y v(ψ) = T
1.v(φ) = F caso a
2.v(ψ) = T caso a
3.v((φ ≡ ψ)) = F (M.T 2.23 caso ≡, paso 1,2)
4.v((ψ ≡ φ)) = F (M.T 2.23 caso ≡, paso 2,1)
5.v((φ ≡ ψ) ≡ (ψ ≡ φ)) = T (M.T 2.23 caso ≡, paso 3,4)

c) v(φ) =T y v(ψ) = F
 1.v(φ) = T
2.v(ψ) = F
3.v((φ ≡ ψ)) = F
4.v((ψ ≡ φ)) = F
5.v((φ ≡ ψ) ≡ (ψ ≡ φ)) = T
caso a
caso a
(M.T 2.23 caso ≡, paso 1,2)
(M.T 2.23 caso ≡, paso 2,1)
(M.T 2.23 caso ≡, paso 3,4)

d) v(φ) =T y v(ψ) = T
1.v(φ) = T
2.v(ψ) = T
3.v((φ ≡ ψ)) = T
4.v((ψ ≡ φ)) = T
5.v((φ ≡ ψ) ≡ (ψ ≡ φ)) = T
caso a
caso a
(M.T 2.23 caso ≡, paso 1,2)
(M.T 2.23 caso ≡, paso 2,1)
(M.T 2.23 caso ≡, paso 3,4)

Como se observa en todos los casos se cumple que ((φ ≡ ψ) ≡ (ψ ≡ φ)) = T

Para cualquier valuación, en conclusión esta proposición es una tautología.

 c) ((φ ≡ true) ≡ φ).

Dado que por la nota 2.20 v(φ)= T o v(φ) =F, revisaremos 2 casos.
a) v(φ) =F
1.v(φ) = F caso a
2.v(true) = T definicion
3.v((φ ≡ true)) = F (M.T 2.23 caso ≡, paso 1,2)
4.v((φ ≡ true) ≡ φ) = T (M.T 2.23 caso ≡, paso 2,1)

b) v(φ) =T
1.v(φ) = T caso a
 2.v(true) = T definicion
3.v((φ ≡ true)) = T (M.T 2.23 caso ≡, paso 1,2)
4.v((φ ≡ true) ≡ φ) = T (M.T 2.23 caso ≡, paso 2,1)

Como se observa en todos los casos se cumple que ((φ ≡ true) ≡ φ) = T

Para cualquier valuación, en conclusión esta proposición es una tautología.

 f ) ((φ ∨ false) ≡ φ).

Dado que por la nota 2.20 v(φ)= T o v(φ) =F, revisaremos 2 casos.
a) v(φ) =F
1.v(φ) = F caso a
2.v(False) = F definición
3.v((φ ∨ false)) = F (M.T 2.23 caso ∨, paso 1,2)
4.v((φ ∨ false) ≡ φ) = T (M.T 2.23 caso ≡, paso 2,1)

b) v(φ) =T
1.v(φ) = T caso a
2.v(False) = F definición
3.v((φ ∨ false)) = T (M.T 2.23 caso ∨, paso 1,2)
4.v((φ ∨ false) ≡ φ) = T (M.T 2.23 caso ≡, paso 2,1)
Como se observa en todos los casos se cumple que ((φ ∨ false) ≡ φ)= T
Para cualquier valuación, en conclusión esta proposición es una tautología.

 g) ((φ ∨ φ) ≡ φ).

Dado que por la nota 2.20 v(φ)= T o v(φ) =F, revisaremos 2 casos.
a) v(φ) =F
1.v(φ) = F caso a
2.v((φ ∨ φ)) = F (M.T 2.23 caso ∨, paso 1,2)
3.v((φ ∨ φ) ≡ φ) = T (M.T 2.23 caso ≡, paso 2,1)

a) v(φ) =T
1.v(φ) = T caso a
2.v((φ ∨ φ)) = T (M.T 2.23 caso ∨, paso 1,2)
3.v((φ ∨ φ) ≡ φ) = T (M.T 2.23 caso ≡, paso 2,1)

Como se observa en todos los casos se cumple que ((φ ∨ φ) ≡ φ) = T

Para cualquier valuación, en conclusión, esta proposición es una tautología.

 k) (¬(φ ∧ (¬φ))).
Dado que por la nota 2.20 v(φ)= T o v(φ) =F, revisaremos 2 casos.
a) v(φ) =F
1.v(φ) = F caso a
2.v(¬φ)=T (M.T 2.23 caso¬,paso1)
3.v(φ ∧ (¬φ))= F (M.T 2.23 caso ∧, paso 1,2)
4.v(¬(φ ∧ (¬φ))) = T (M.T 2.23 caso ¬, paso 3)

a) v(φ) =T
1.v(φ) = T caso a
2.v(¬φ)=F (M.T 2.23 caso¬,paso1)
3.v(φ ∧ (¬φ))= F (M.T 2.23 caso ∧, paso 1,2)
4.v(¬(φ ∧ (¬φ))) = T (M.T 2.23 caso ¬, paso 3)

 l) (φ → (ψ → φ))
Dado que por la nota 2.20 v(φ)= T o v(φ) =F y de la misma manera v(ψ) = T o v(ψ) = F,
Revisaremos 4 casos.
a) v(φ) =F y v(ψ) = F
 1.v(φ) = F caso a
2.v(ψ) = F caso a
3.v((ψ → φ))= T (M.T 2.23 caso →, paso 1,2)
4.v (φ → (ψ → φ))= T (M.T 2.23 caso →, paso 2,1)

b) v(φ) =F y v(ψ) = T
1.v(φ) = F caso a
2.v(ψ) = T caso a
3.v((ψ → φ)) = F (M.T 2.23 caso →, paso 1,2)
4.v (φ → (ψ → φ)) = T (M.T 2.23 caso →, paso 2,1)

c) v(φ) =T y v(ψ) = F
1.v(φ) = T caso a
2.v(ψ) = F caso a
3.v((ψ → φ)) = T (M.T 2.23 caso →, paso 1,2)
4.v (φ → (ψ → φ)) = T (M.T 2.23 caso →, paso 2,1)

d) v(φ) =T y v(ψ) = T
1.v(φ) = T caso a
2.v(ψ) = T caso a
3.v((ψ → φ)) = T (M.T 2.23 caso →, paso 1,2)
4.v (φ → (ψ → φ)) = T (M.T 2.23 caso →, paso 2,1)

Como se observa en todos los casos se cumple que (φ → (ψ → φ)) = T

Para cualquier valuación, en conclusión, esta proposición es una tautología.
2. Demuestre que las siguientes proposiciones son satisfacibles pero no tautologías:

 b) ((¬p) ∨ q).

Dada la siguiente tabla de verdad

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

Como se observa en la tabla anterior la proposición ((¬p) ∨ q) es satisfacible por el caso resaltado
en color verde y no es tautología por el caso resaltado en rojo.

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

Dada la siguiente tabla de verdad

p q (¬q) (p ∧ (¬q) (¬(p ∧ (¬q)))

F F T F T
F T F F T
T F T T F
T T F F T

Como se observa en la tabla anterior la proposición (¬(p ∧ (¬q))) es satisfacible por el caso
resaltado en color verde y no es tautología por el caso resaltado en rojo.

9. Demuestre para cualquier proposición φ:

 a) φ es insatisfacible si y solo si |= (φ ≡ false)

Dado que la nota 2.20 v(φ) =T o v(φ) =F tendremos dos casos posibles

a) v(φ) =T

1. v(φ) =T caso a
2.v(false)=F definicion
3. (φ ≡ false)= F (M.T 2.23 caso ≡, pasos 1,2)

b) v(φ) =F

1. v(φ) =F caso b
2.v(false)=F definicion
3. (φ ≡ false)= T (M.T 2.23 caso ≡, pasos 1,2)

Como se muestra en los posibles casos φ es insatisfacible si y solo si |= (φ ≡ false)

  b) φ es insatisfacible si y solo si |= (¬φ).

Dado que la nota 2.20 v(φ) =T o v(φ) =F tendremos dos casos posibles

a) v(φ) =T

1. v(φ) =T caso a
2.v((¬φ))=F (M.T 2.23 caso ¬, pasos 1,)

a) v(φ) =F

1. v(φ) =F caso a
2.v((¬φ))=T (M.T 2.23 caso ¬, pasos 1,)

Como se muestra en los posibles casos φ es insatisfacible si y solo si |= (¬φ).

SECCION 2.4

1. Demuestre que un conjunto de proposiciones Γ es insatisfacible si y solo si para cualquier

valuación v hay al menos una proposición φ ∈ Γ tal que v(φ) = F.

 v(φ) = F suposicion
φ∈Γ “
Γ es insatisfacible Def Γ es insatisfacible

2. Demuestre para cualesquiera proposiciones φ, ψ, τ :