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