BICONDICIONAL
CONTINGENCIA
TAUTOLOGICO
IMPLICACION
PROPOSICION
CONDICIONAL
DISYUNCION
COMPUESTAS
CONJUNCION
NEGACION
C
O
N
D
I
C
I
O
N
A
L
M
I
I
H
T
W
Y
B
V
D
K
Y
S
U
H
J
F
A
I
G
G
P
R
G
Q
I
B
C
O
N
J
U
N
C
I
O
N
U
E
Q
L
W
A
C
T
A
U
T
O
L
O
G
I
C
O
I
U
F
F
F
A
O
E
U
Y
L
T
K
B
O
A
V
B
E
Y
E
I
U
Y
N
H
H
Q
F
I
B
E
P
A
F
O
I
W
A
E
H
E
D
A
V
P
I
J
O
E
E
F
N
V
P
I
E
I
I
X
I
I
F
G
M
I
N
I
U
E
E
J
I
E
E
T
H
X
C
C
R
R
P
D
O
R
C
F
A
A
D
Y
N
A
U
S
I
N
M
T
L
I
I
D
O
R
A
I
F
X
O
J
U
A
O
E
N
U
I
S
C
C
P
V
A
I
I
K
E
A
O
T
N
G
E
E
C
Y
I
O
E
Q
E
L
O
I
I
U
N
S
A
N
G
X
A
U
S
A
E
P
U
R
R
K
F
R
L
E
L
I
A
Y
C
N
O
W
K
H
I
Q
I
Q
N
I
O
U
Z
T
C
W
I
C
P
U
E
U
V
O
Z
E
Q
Q
E
P
I
N
I
X
O
I
O
W
I
Y
E
E
E
B
O
E
I
M
C
O
O
Y
N
O
R
R
J
N
I
Y
B
T
I
E
O
O
I
C
N
S
C
N
P
Q
R
E
E
U
U
O
O
U
T
C
