Juan Daniel Bogotá Fuentes

11/03/2022

Solución Tarea No.8

Sección 4.3:

5. ⊢DS ( ( ( ¬ ϕ ) ≡ ψ ) ≡ ( ϕ ≡ ( ¬ψ ) ) )
0. ( ( ¬ ( ϕ ≡ψ ) ) ≡ ( ¬ ( ϕ ≡ ψ ) ) ) < T 4.6.3 ϕ ≔ (¬( ϕ ≡ψ)) >
1. ( ( ¬ ( ϕ ≡ψ ) ) ≡ ( ( ¬ ϕ ) ≡ ψ ) ) < T 4.15.4 >
2. ( ( ¬ ( ϕ ≡ψ ) ) ≡ ( ¬ ( ϕ ≡ψ ) ≡ ( ( ¬ ϕ ) ≡ψ ) ) ≡ ( ¬ ( ϕ ≡ψ ) ) ) < Leibniz ϕ ≔ (P≡(¬( ϕ ≡ ψ))) >
3. ( ( (¬ ϕ ) ≡ψ ) ≡ ( ¬ ( ϕ ≡ ψ ) ) ) < Ecuanimidad 0 – 2 >
4. ( ( ϕ ≡ψ ) ≡ ( ψ ≡ϕ ) ) < Ax2 >
5. ( ( ( ¬ ϕ) ≡ψ ) ≡ ( ¬ ( ϕ ≡ ψ ) ) ≡ (( ( ¬ ϕ ) ≡ ψ ) ≡ ( ¬ ( ψ ≡ ϕ) ) ) ) < Leibniz ϕ ∶= (((¬ ϕ )≡ ψ)≡P) >
6. ( ( (¬ ϕ ) ≡ψ ) ≡ ( ¬ (ψ ≡ ϕ ) ) ) < Ecuanimidad 3 – 5 >
7. ( ¬ ( ψ ≡ ϕ ) ≡ ( ( ¬ψ ) ≡ϕ ) ) < T 4.15.4 >
8. ( ( ( ( ¬ϕ ) ≡ψ ) ≡ ( ¬ ( ψ ≡ ϕ ) ) ≡ (( ( ¬ ϕ ) ≡ ψ ) ≡ ( ( ¬ψ ) ≡ϕ ) ) )) < Leibniz ϕ ≔ (((¬ ϕ )≡ ψ)≡P) >
9. ( ( (¬ ϕ ) ≡ψ ) ≡ ( ( ¬ψ ) ≡ ϕ ) ) < Ecuanimidad 6 – 8 >
10. ( ( ϕ ≡ ( ¬ψ ) ) ≡ ( ( ¬ψ ) ≡ ϕ ) ) < Ax2 ψ ≔ (¬ψ) >
11. ( ( (¬ ψ ) ≡ ϕ ) ≡ ( ϕ ≡ ( ¬ ψ ) ) ) < Conmutatividad >
12. ( ( ( ( ¬ ϕ ) ≡ ψ ) ≡ ( ( ¬ψ ) ≡ϕ ) ) ≡ ( ( ( ¬ ϕ ) ≡ψ ) ≡ ( ϕ ≡ ( ¬ψ ) ) ) ) <Leibniz ϕ ≔ (((¬ ϕ )≡ ψ)≡P)>
13. ( ( (¬ ϕ ) ≡ψ ) ≡ ( ϕ ≡ ( ¬ ψ ) ) ) < Ecuanimidad 9 – 12 >

6). ⊢DS ( ( ϕ ≡ (¬ ϕ ) ) ≡ False )

0. ((¬ϕ )≡ ϕ) ≡(ϕ ≡ False) ¿ < Ax9 >

1. ( ( (¬ ϕ ) ≡ϕ ) ≡ False ) < Asociatividad >
2. ( ( (¬ ϕ ) ≡ϕ ) ≡ ( ϕ ≡ (¬ ϕ ) ) ) < Ax2 ϕ ≔ (¬ ϕ ) ψ ≔ ϕ >
3. ( (( ( ¬ ϕ ) ≡ ϕ ) ≡ False ) ≡ ( ( ϕ ≡ ( ¬ ϕ ) ) ≡ False )) < Leibniz ϕ ≔(P ≡ False) >
4. ( ( ϕ ≡ ( ¬ϕ ) ) ≡ False ) < Ecuanimidad 1 – 3 >
8. ⊢DS ( ( ϕ ≢ψ ) ≡ ( ψ ≢ ϕ ))
0. ( ( (¬ ϕ ) ≡ψ ) ≡ ( ( ¬ψ ) ≡ ϕ ) ) < T 4.15.5 conmutatividad >
1. ( ( (¬ ϕ ) ≡ϕ ) ≡ ( ψ ≢ ϕ )) < Ax10 conmutatividad >
2. ( ( (¬ ϕ ) ≡ψ ) ≡ ( ψ ≢ ϕ ) ) < Transitividad 1 – 2 >
3. ( ( (¬ ϕ ) ≡ψ ) ≡ ( ϕ ≢ψ ) ) < Ax10 conmutatividad >
4. ( ( ( ( ¬ ϕ ) ≡ ψ ) ≡ ( ψ ≢ ϕ ) ) ≡ ( ( ϕ ≢ψ ) ≡ ( ψ ≢ ϕ ) ) ) < Leibniz ϕ ≔ ( p ≡ ( ψ ≢ ϕ ) )>
5. ( ( ϕ ≢ψ ) ≡ ( ψ ≢ ϕ ) ) < Ecuanimidad 3 – 5 >

9. ⊢DS ( ( ϕ ≢ false ) ≡ ϕ )
0. ( ( (¬ ϕ ) ≡ϕ ) ≡ false ) < Ax9 conmutatividad >
1. ( ( (¬ ϕ ) ≡ϕ ) ≡ ( ϕ ≡ (¬ ϕ ) ) ) < Ax2 ϕ ≔ ( ¬ ϕ ) , ψ ≔ ϕ >
2. ( ( ( ( ¬ ϕ ) ≡ ϕ ) ≡ false ) ≡ ( ( ϕ ≡ ( ¬ ϕ ) ) ≡ false ) ) < Leibniz ϕ ≔ ( p≡ false ) >
3. ( ( (¬ ϕ ) ≢ false ) ≡ ϕ ) < Ax9 conmutatividad, asociatividad >
4. ( ( ¬ ϕ ¿≢ false ) ≡ ( ϕ ≢ false ) ) < Ax10 ψ ≔false , conmutatividad >
5. ( ( (¬ ϕ ¿≢ false ) ≡ ϕ ) ≡ ( ( ϕ ≢ false ) ≡ ϕ ) ) < Leibniz ϕ ≔ ( p≡ ϕ ) >
6. ( ( ϕ ≢ false ) ≡ ϕ ) < Ecuanimidad 3 – 5 >

10. ⊢DS ( ( ( ϕ≢ ψ ) ≢ ψ ) ≡ ϕ )
0. ( ( ϕ ≢ψ ) ≡ ( ψ ≢ ϕ ) ) < T 4.16.2 >
1. ( ( ψ ≢ ϕ ) ≡ ( ( ¬ψ ) ≡ ϕ ) ) < Ax10 >
2. ( ( ( ϕ ≢ψ ) ≡ ( ψ ≢ ϕ ) ) ≡ ( ( ϕ ≢ ψ ) ≡ ( ( ¬ψ ) ≡ϕ ) ) ) < Leibniz ϕ ≔ ( ( ϕ ≢ψ ) ≡ p¿ )>
3. ( ( ϕ ≢ ψ ) ≡ ( ( ¬ψ ) ≡ ϕ ) ) < Ecuanimidad 0 – 2 >
4. ( ( ( ϕ ≢ψ ) ≡ ( ( ¬ ψ ) ≡ ϕ ) ) ≡ (( ϕ ≢ ψ ) ≡ ( ( ¬ψ ) ≡ ϕ ) ) ) < Ax1
ϕ ≔ ( ϕ ≢ψ ) ,ψ ≔ ( ¬ψ ) , τ ≔ϕ >
5. ( ( ϕ ≢ ψ ) ≡ ( ( ¬ψ ) ≡ ϕ ) ) < Ecuanimidad 3 – 4 >
6. ( ( ( ϕ ≢ψ ) ≡ ( ( ¬ ψ ) ≡ ϕ ) ) ≡ (( ( ϕ ≢ ψ ) ≢ ψ ) ≡ ϕ )) < Leibniz ϕ ≔ ( p≡ ϕ )>
7. ( ( ( ϕ ≢ ψ ) ≢ ψ ) ≡ϕ ) < Ecuanimidad 5 – 7 >
Sección 4.4

1. ⊢DS ( ( ϕ ⋁ True ) ≡True )

0. ( ϕ ⋁ True ) <T.4.14.3>
1. ( ( ϕ ⋁ True ) ≡True ) <Identidad ϕ ≔ ( ϕ ⋁ True )>

2. ⊢DS ( ϕ ⋁ True )
0. ¿ < Ax 8 ψ ≔True , τ ≔True >
1. ¿ < T.4.14.2, Asociatividad >
2. (True ≡ ( True ≡True ) ) < T.4.6.2 φ ≔True >
3. ¿ < Leibniz ϕ =(ϕ p) >
4. ( ϕ ⋁ True ) < Ecuanimidad 2 - 3 >

3. ⊢DS ( ( ϕ ψ ) ≡ ( ( ϕ (¬ψ )¿ ≡ ¿ ϕ ) ) )
0. ¿
1. ¿ <Ax 9 conmutatividad >
2. (((ϕ (¿ ψ ≡ False)¿ ≡(ϕ (¬ψ )¿)¿ < Leibniz ϕ =(ϕ p) >
3. ¿ < Transitividad 0 - 2>
4. ¿ < Conmutatividad, Asociatividad >
5. ¿ < Ax 6 >
6. ¿ <Leibniz ϕ ≔¿ ( ϕ ψ ) ¿ ≡ p ¿> ¿
7. ¿ < Ecuanimidad 4-6 >
8. ¿ < Conmutatividad, Asociatividad >

7.

a 2 ∈ N y es par.
ϕV ψ
a 2=aa a= multiplicación de pares es igual a un par.
ψ
10.

Sabiendo que un condicional se permite responder cuando se conoce una parte de este.
0. (ϕ V ψ ¿ Premisa
1. (¬ ϕ) Premisa
2. ( ¬ ϕ ) ≡(ϕ ≡ False) <Ax9>
3. (ϕ ≡ False ) <Ecuanimidad 1-2>
4. ( ( ϕ V ψ ) ≡ ( False V ψ )) <Leibniz ϕ ≔ (P V ψ )
5. ( FalseV ψ ) <Ecuanimidad 0-4>
6. ¿ ≡ψ ¿ <Ax6 ϕ ≔ψ , Conmutatividad V>
7. ψ <Ecuanimidad 5-6>

12.

0. ϕ Premisa
1. ((ϕ ≡True ¿≡ ϕ ¿ <Ax3>
2. (ϕ ≡True ¿ <Ecuanimidad 0-1>
3. ((ϕ V ψ ¿ ≡(True V ψ)¿ <Leibniz ϕ ≔ (P V ψ )>
4. ( True V ψ ) <Teorema 4.14.3, Conmutividad, ϕ ≔ψ >
5. (ϕ V ψ) <Ecuanimidad 3-4>

13.

0. ( ϕ ⋁ ϕ ) Premisa
1. ( ( ϕ ⋁ ψ ) ≡ ( ( ϕ ⋁ ( ¬ψ ) ) ≡ϕ ) ) < T 4.19.4 >
2. ( ( ϕ ⋁ ( ¬ψ ) ) ≡ ϕ ) < Ecuanimidad 0 – 1 >
3. ( ( ( ϕ ⋁ (¬ ψ ) ) ≡ ϕ ) ≡ ( ϕ ≡ ϕ )) < Leibniz ϕ :=( P ≡ ϕ )>
4. ( ϕ ≡ ϕ ) < Ecuanimidad 2 – 5 >
5. ( ( ϕ ≡ ϕ ) ≡ ϕ )
6. ϕ <Ecuanimidad 4 – 5 >
Sección 4.5:

3. Una secuencia de proposiciones ϕ ,… ϕ es una demostración si la última proposición (ϕ ≡ ϕ ) ,

entonces la demostración es derivación por MTT 4.21

4. ⊢DS (¬False)
0. ϕ 1 (¬False) ≡ (False ≡ False) Ax9 ϕ ≡ False
1. ϕ 2 (False ≡ False) T4.6.3 ϕ ≡ False
2. ϕ 3 (¬False) Ecuanimidad ϕ 1 - ϕ 2