LENGUAJESIMBOLICO
LENGUAJENATURAL
BICONDICIONAL
TABLADEVERDAD
PROPOSICION
CONDICIONAL
DISYUNCION
CONJUNCION
CONCLUSION
COMPUESTA
NEGACION
PREMISA
SIMPLE
O
U
O
J
E
O
D
A
D
R
E
V
E
D
A
L
B
A
T
Y
F
I
M
I
C
O
S
O
U
P
K
L
F
T
I
L
U
P
I
L
G
G
O
J
X
O
E
S
I
M
P
L
E
Y
N
A
A
U
N
E
H
U
O
J
A
A
N
Z
Y
N
B
A
Z
E
N
R
T
O
R
I
U
F
D
C
E
C
C
J
O
Z
Q
I
D
W
S
U
S
I
O
V
J
E
S
D
I
R
I
I
U
R
P
I
D
L
Q
T
E
N
U
Z
F
G
I
F
K
L
C
A
P
N
S
I
A
H
H
A
U
R
R
N
I
A
X
I
L
A
O
V
A
Y
C
N
U
W
W
N
P
C
A
E
A
N
T
V
G
I
A
B
U
I
O
I
D
E
Y
E
M
Y
O
S
J
B
O
E
O
G
K
N
M
I
R
G
O
O
I
J
O
N
E
C
R
G
N
I
I
W
C
E
C
I
T
S
X
N
A
A
C
K
E
O
X
H
O
U
S
I
R
I
J
A
S
A
G
J
F
U
W
A
O
N
A
B
I
Q
O
U
D
O
X
Z
E
E
G
K
Y
G
G
P
D
D
O
X
I
N
U
N
L
N
B
K
Y
U
J
X
O
N
I
Z
M
I
J
P
E
S
O
I
A
C
T
I
E
P
O
A
O
E
A
E
A
C
I
Y
U
C
V
J
R
U
N
U
I
S
W
I
U
L
L
U
K
I
E
A
I
Z
I
S
T
P
E
O
A
X
V
O
R
G
W
A
N
O
M
B
V
P
U
P
B
D
I
X
C
F
D
N
W
I
N
D
H
N
A
X
U
V
R
O
P
R
O
P
O
S
I
C
I
O
N
E
A
A
N
U
Q
W
E
W
O
N
O
O
U
A
S
I
M
E
R
P
L
L
