DISYUNCIONINCLUSIVA
CONTRASECCION
CONTRASECCION
CONDICIONAL
PROPOSICION
TAUTOLOGIA
RECIPROCO
ABSORCION
NEGACION
MORGAN
I
F
C
O
N
T
R
A
S
E
C
C
I
O
N
R
A
J
A
Y
C
W
Q
I
N
U
B
B
D
O
Y
R
P
I
Z
K
I
U
O
U
D
O
P
B
U
U
R
V
I
R
R
D
U
V
A
C
L
A
E
O
A
I
N
A
W
I
K
X
O
Q
I
P
A
I
H
V
A
E
S
U
C
E
K
T
P
I
X
N
K
K
G
K
A
B
N
E
I
U
N
O
J
Q
I
C
R
R
A
F
I
A
F
V
K
I
S
A
F
S
O
A
M
I
O
G
U
A
O
D
Y
L
U
Z
X
U
M
O
Z
A
U
C
A
A
V
M
D
Z
S
P
W
W
W
O
U
W
C
I
R
R
E
L
O
F
L
S
U
J
P
E
O
T
U
F
P
U
W
A
A
C
D
G
C
R
E
S
E
E
O
U
C
S
E
A
U
I
E
L
S
E
I
N
U
N
P
J
X
G
O
O
D
C
I
F
F
G
R
Y
A
Y
I
O
M
I
I
I
T
U
B
O
I
X
I
C
U
Y
I
U
U
N
Z
S
N
A
M
N
C
L
L
Q
I
L
F
O
I
X
O
A
K
O
O
X
C
O
L
C
O
E
J
I
E
B
S
O
N
O
A
I
T
V
O
I
H
I
V
E
N
I
R
P
Z
J
T
B
L
I
N
E
N
E
G
A
C
I
O
N
O
O
C
S
A
J
N
U
S
F
U
N
Z
G
R
T
Z
I
O
X
S
Y
K
N
R
B
Y
E
P
U
P
K
A
W
L
J
N
O
D
M
R
R
T
A
U
T
O
L
O
G
I
A
B
G
A
E
H
H
E
N
A
I
E
I
Y
Y
L
R
F
E
Q
E
O
R
R
X
Q
D
N
A
O
F
E
T
Z
I
S
E
T
V
M
R
I
O
A
O
K
E
E
U
V
C
U
M
X
U
B
I
E
I
L
E
A
B
M
C
M
V
E
P
Y
A
A
A
O
Y
U
E
D
A
R
N
U
X
F
V
I
