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