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