1) Demostrar (sin usar derivacion) el teorema 4.15.

3
Demuestre el Teorema 4.15.3.
`DS (¬false) (teorema 4.15.3)
1) ((¬false) ≡ true) (teorema 4.15.2)
2) True (teorema 4.6.1)
3) (true ≡ (¬false)) (1 regla de conmutatividad φ por
(¬false) Y ψ por true)
4) (¬false) (2,3 regla ecuanimidad.)
2) Demostrar (sin usar derivación) el teorema 4.16.1

3) Demostrar, usando derivacion, el teorema 4.16.1

.¿−¿ DS ¿ ¿
1.¿ Ax10
2.¿ Ax9
3.((¬φ) ≡ψ )≡(( φ ≡ false)≡ ψ) 2, Leibniz ψ=( p≡ ψ)
4.¿ 3,Ax1, ψ por false, τ por ψ
5.( φ ≡ ( false ≡ ψ ) ) ≡( ( false ≡ψ ) ≡ φ) Ax2, ψ por false ≡ψ
6. ¿ Ax2, φ por false
7.(( ( false ≡ ψ ) ≡ φ)≡ ( ( ψ ≡ false ) ≡ φ ) ) 7, Leibniz φ=( p ≡ φ)
8.( ( ¬ψ ) ≡ ( ψ ≡ false ) ) Ax9 φ por ψ
9.¿ 9 Leibniz φ (p ≡ φ)

4) Demostrar, usando derivacion, el teorema 4.19.2

¿−¿ DS ( ( φ ˅true ) ≡true ) ¿

- (φ ˅ true)
≡ <T 4.6.2, regla conmutatividad, Leibniz φ=( φ ˅ p)>

- (φ ˅(φ ≡ φ))
≡ <Ax8 ψ por φ τ por φ,>

- ((φ ˅ φ) ≡(φ ˅ φ))

≡ <T 4.6.2, φ por ( φ ˅ φ )>

- true
Por MT 4.21, se demuestra ¿−¿ DS ( ( φ ˅true ) ≡true ) ¿

5) Demostrar, usando derivacion, el teorema 4.19.4

6) ¿−¿ DS ((¬(φ ˅ψ )) ≡((¬ φ)˄(¬ψ ))) ¿

 - ( ( ¬ φ ) ˄ ( ¬ψ ) )
≡ <Ax11 φ por ¬φ ψ por ¬ψ >

- ¿
≡ <Ax9, Leibniz >

- ¿
≡ <Ax9 φ por ψ, Leibniz >

- ¿
≡ <Ax9, Leibniz>

- ¿
≡ <Ax9 φ por ψ, Leibniz >

- ¿
≡ <Ax8, Leibniz, >

- ¿
≡<¿Ax5, Leibniz

- ¿
≡<¿Ax5, Leibniz

- ¿
≡ <Ax8, Leibniz

- ¿
≡ <Ax8, Leibniz

- ¿
≡ <Ax5, Leibniz, Ax6, Leibniz , Ax5, Ax6, Leibniz, Ax6, Leibniz

- ( ( φ ≡ false ) ≡ ( (ψ ≡ false ) ≡ ( ( φ ˅ψ ) ≡ψ ) ≡ ( φ ≡ false ) ) )

≡ < Ax2, Leibniz, Ax1, Leibniz)

- ( ( φ ≡ false ) ≡ ( ( ψ ≡ false ) ≡ (( ( φ ˅ψ ) ≡ ψ ) ≡false ) ≡ ( ( ( φ ˅ψ ) ≡ψ ) ≡φ )))

≡ <Ax1, regla conmutatividad, Ax2, Ax1, Identidad
 - ( ( φ ˅ ψ ) ≡ false )
≡ <Ax9, φ por ( φ ˅ψ ) >

- ( ¬ ( φ ˅ψ ) )

7) Demostrar, usando derivacion, el teorema 4.25.5

- (φ ˅(ψ ˄τ ))
≡ < Ax11, Leibniz
- ( φ ˅ (ψ ≡ ( τ ≡ ( ψ ˅ τ ) ) ) )
≡ < Ax8
- ( ( φ ˅ψ ) ≡ ( (φ ˅ ( τ ≡ ( ψ ˅τ ) ) )))
≡ < Ax8.Leibniz
- ( ( φ ˅ψ ) ≡ ( ( φ˅ τ ) ≡ ( φ˅ ( ψ ˅ τ ) ) ) )
≡ < Ax7, Regla de conmutatividad, Leibniz
- ( ( φ ˅ψ ) ≡ ( ( φ˅ τ ) ≡ ( ( φ˅ φ ) ˅ ( ψ ˅τ ) ) ) )
≡ < Ax4, Regla de conmutatividad, Leibniz
- ( ( φ ˅ψ ) ≡ ( ( φ ˅ τ ) ≡ (φ ˅ ( φ ˅ ( ψ ˅τ )) ) ))
≡ < Ax4, Leibniz
- ( ( φ ˅ψ ) ≡ ( ( φ ˅ τ ) ≡ (φ ˅ ( ( φ ˅ψ ) ˅τ ) ) ))
≡ < Ax5. Leibniz
- ( ( φ ˅ψ ) ≡ ( ( φ ˅ τ ) ≡ (φ ˅ ( τ ˅ ( φ ˅ψ )) ) ))
≡ < Ax4. Leibniz
- ( ( φ ˅ψ ) ≡ ( ( φ˅ τ ) ≡ ( ( φ˅ τ ) ˅ ( φ ˅ ψ ) ) ) )
≡ < Ax5, Leibniz
- ( ( φ ˅ψ ) ≡ ( ( φ˅ τ ) ≡ ( ( φ˅ ψ ) ˅ ( φ ˅τ ) ) ) )
≡ < Ax11
- ( ( φ ˅ ψ ) ˄ ( φ˅ τ ) ) ¿
8) Demostrar, usando derivacion, el teorema 4.25.7

- (φ ˅(ψ ˄τ ))
≡ < Ax11, Leibniz
- ( φ ˅ (ψ ≡ ( τ ≡ ( ψ ˅ τ ) ) ) )
≡ < Ax8
- ( ( φ ˅ψ ) ≡ ( (φ ˅ ( τ ≡ ( ψ ˅τ ) ) )))
≡ < Ax8.Leibniz
- ( ( φ ˅ψ ) ≡ ( ( φ˅ τ ) ≡ ( φ˅ ( ψ ˅ τ ) ) ) )
≡ < Ax7, Regla de conmutatividad, Leibniz
- ( ( φ ˅ψ ) ≡ ( ( φ˅ τ ) ≡ ( ( φ˅ φ ) ˅ ( ψ ˅τ ) ) ) )
≡ < Ax4, Regla de conmutatividad, Leibniz
- ( ( φ ˅ψ ) ≡ ( ( φ ˅ τ ) ≡ (φ ˅ ( φ ˅ ( ψ ˅τ )) ) ))
≡ < Ax4, Leibniz
- ( ( φ ˅ψ ) ≡ ( ( φ ˅ τ ) ≡ (φ ˅ ( ( φ ˅ψ ) ˅τ ) ) ))
≡ < Ax5. Leibniz
- ( ( φ ˅ψ ) ≡ ( ( φ ˅ τ ) ≡ (φ ˅ ( τ ˅ ( φ ˅ψ )) ) ))
≡ < Ax4. Leibniz
- ( ( φ ˅ψ ) ≡ ( ( φ˅ τ ) ≡ ( ( φ˅ τ ) ˅ ( φ ˅ ψ ) ) ) )
≡ < Ax5, Leibniz
- ( ( φ ˅ψ ) ≡ ( ( φ˅ τ ) ≡ ( ( φ˅ ψ ) ˅ ( φ ˅τ ) ) ) )
≡ < Ax11
- ( ( φ ˅ ψ ) ˄ ( φ˅ τ ) ) ¿