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