Demostrar p q p q p q

Demostracion por casos:

I

Hay que demostrar que p p = true

Esto se tiene por el medio excluido
Ahora hay que demostrar que p (p q p q p q)
y
p (p q p q p q)
I

SumE SumE+SumN

SumE SumN

SumN (SumE)

SumN N

N0

NsN

Idsum

x +0
x

SumNatsum Para n Nat:

Conmsum
assocSum1

x +y
y +x
(x + y ) + z
x + (y + z)

s n
n+s 0

Regla de Leibniz : Reemplazar iguales por iguales

x =y
E [x] = E [y ]

x + (y + z)
(x + y ) + z

x + (y + z)
h Conmsum i
( y +z )+x
h Conmsum i
(z + y ) + x
h assocSum1 i
z +( y +x )
h Conmsum i
z + (x + y )
h Conmsum i
(x + y ) + z

Axioma Par0 par (0)

par (x)
Regla Par1
par (x + s s 0)
Regla Par2

par (x)
par (x + s 0)

Regla Par3

par (x + s 0)
par (x)

Regla Par4 : un n
umero impar no puede ser cero

Regla Par5

par (x)
par (y )
par (x + y )

par (x)
x = x + s 0

par (x)
par (y )
par (x + y )

Expresi
on

Justificaci
on

1
2
3
4
5
6
7
8
9
10
11

par (x)
par (y )
x = x + s 0
y = y + s 0
par (
x + s 0)
par (
y + s 0)
par (
x)
par (
y)
par (
x + y)
par ((
x + y) + s s 0)
par ((
x + s 0) + (
y + s 0))

12

par (x + y )

Hip
otesis
Hip
otesis
Par4 (1)
Par4 (2)
Leibniz (1,3)
Leibniz (2,4)
Regla Par3 (5)
Regla Par3 (6)
Regla Par5 (7,8)
Par1 (1)
Lema:
(A + B) + s s 0 =
(A + s 0) + (B + s 0)
Leibniz (3,4,11)

(A + B)+ s s 0
h SumNatsum i
A + (B + (s 0 + s 0))
h assocSum2 i
A + ((B + s 0) + s 0))
h Conmsum i
A + (s 0 + (B + s 0))
h assocSum2 i
(A + s 0) + (B + s 0)