CONTRADICCION
DEMOSTRACION
TAUTOLOGIA
OPERADORES
CONECTIVOS
PREDICADOS
METODOS
LOGICOS
PRIMER
ORDEN
I
A
O
U
U
L
C
A
H
D
K
R
N
Y
H
I
E
S
O
U
X
I
K
X
R
U
S
U
I
R
I
U
G
N
O
I
E
N
P
R
E
D
I
C
A
D
O
S
O
L
E
D
V
E
O
B
A
P
R
I
M
E
R
Y
A
U
U
D
O
D
T
I
Z
W
S
D
L
M
J
R
X
A
D
Z
R
T
W
E
C
O
Q
C
E
O
I
E
W
K
N
O
X
O
E
F
U
C
C
O
O
M
G
N
K
X
P
P
C
Q
S
M
G
A
I
R
Q
N
O
I
P
W
S
V
O
P
P
E
T
C
I
D
U
R
E
S
C
U
R
Q
Y
U
E
U
R
D
V
U
A
U
U
C
T
O
D
N
C
M
H
E
S
O
T
B
E
R
J
U
T
R
S
S
N
S
S
A
O
B
D
S
E
P
T
R
R
I
A
Y
D
O
H
A
S
H
Z
A
O
A
I
N
I
M
V
C
C
A
E
C
O
W
T
U
R
O
I
H
O
C
A
O
I
E
A
O
L
B
N
R
B
E
F
S
U
C
O
F
S
O
O
I
W
A
A
M
I
F
P
A
I
E
W
M
O
A
N
Y
A
O
A
G
E
U
L
O
E
T
A
U
T
O
L
O
G
I
A
A
Y
V
C
U
Z
