REDUCCIONALABSURDO
DEMOSTRACION
PROPOSICION
INDUCCION
DIRECTA
AXIOMA
S
A
M
C
N
I
H
A
U
I
Z
U
E
C
E
U
I
G
D
W
O
N
U
S
R
R
O
E
X
U
O
J
J
Q
E
T
V
Y
E
W
H
V
N
N
P
B
D
G
H
I
D
I
E
A
T
W
Y
E
M
C
E
D
K
A
O
I
E
J
C
I
R
U
I
A
Y
U
A
O
O
V
I
I
Y
Q
P
F
K
Q
V
H
U
N
U
K
C
X
I
N
S
B
V
L
E
I
U
Z
S
Z
E
P
S
I
O
D
X
R
Q
Q
T
C
S
I
I
O
U
K
N
I
V
W
B
M
S
E
Y
U
M
N
R
T
Y
G
D
D
E
I
U
Q
H
X
A
H
T
E
P
Q
D
H
A
U
O
E
O
U
Q
G
A
I
A
P
L
A
A
U
B
N
N
B
C
I
O
E
I
E
Z
A
X
I
O
M
A
O
I
R
E
O
K
C
I
O
Y
E
W
O
A
E
O
G
Z
E
N
X
A
R
I
I
H
L
O
O
I
G
E
I
L
U
O
S
H
E
O
K
J
V
E
C
E
A
N
O
I
K
D
Q
Y
T
I
C
U
L
I
Q
E
G
Z
C
R
J
O
I
W
G
I
C
N
X
O
Z
M
W
C
O
B
B
B
U
R
A
A
U
Z
O
R
F
F
I
D
U
A
R
C
F
O
G
I
D
B
Z
B
B
Q
C
E
S
B
Z
L
U
I
C
U
W
A
T
I
N
P
Y
M
U
U
K
C
H
V
A
D
J
U
V
D
R
I
V
E
I
Z
B
E
U
Q
H
T
H
A
E
K
O
K
T
E
I
A
O
T
G
U
E
B
N
A
F
A
J
O
N
I
F
C
P
R
D
I
C
N
Z
S
U
N
V
K
I
O
C
A
X
Q
U
P
R
O
P
O
S
I
C
I
O
N
D
