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