CONTRADICCION
CUANTIFICADOR
EXISTENCIAL
PROPOSICION
IMPLICACION
TAUTOLOGIA
DISYUNCION
UNIVERSAL
ENUNCIADO
NEGACION
S
M
R
M
O
P
D
R
S
S
O
F
O
R
E
W
U
U
S
B
E
G
E
Q
H
X
Q
D
D
G
A
E
R
F
I
M
E
O
O
E
H
L
A
S
R
E
V
I
N
U
V
J
H
K
E
X
I
S
T
E
N
C
I
A
L
A
I
C
E
B
C
P
G
M
X
P
K
E
P
C
A
Q
A
I
S
G
D
O
U
L
O
L
A
H
A
N
E
D
X
E
O
A
I
Y
N
U
A
U
P
T
Z
P
N
G
T
P
P
A
M
U
Z
T
F
O
N
Q
Z
R
R
U
R
O
A
C
Q
U
A
K
R
O
O
P
T
K
N
N
O
Q
O
V
I
E
I
I
N
A
U
S
C
O
I
M
O
E
E
P
V
Y
T
C
G
I
D
E
E
R
I
R
F
K
I
G
C
J
O
E
I
O
A
I
U
N
G
U
E
W
I
C
C
A
J
E
A
S
L
R
C
C
U
C
U
Y
R
Q
C
F
N
C
E
N
H
O
I
C
U
N
I
W
T
L
I
S
A
X
U
I
U
O
T
X
I
C
C
M
P
L
O
O
E
Z
D
K
Y
O
A
U
Q
O
A
I
I
O
E
M
P
I
A
F
O
J
S
N
A
N
N
C
A
L
G
O
L
E
I
M
M
W
R
Z
I
T
E
G
G
D
U
E
U
O
N
S
A
O
I
E
I
C
D
Q
I
C
O
C
F
A
C
U
V
A
M
U
O
S
K
Z
