LÓGICAMATEMÁTICA
LÓGICAPROPOSICIONAL
LÓGICADEPREDICADOS
ALGEBRADECLARATIVA
INDUCCIÓNMATEMÁTICA
ALGEBRABOOLEANA
TEOREMASYPOSTULADOS
EXPRESIONESBOOLEANAS
APLICACIÓN
CIRCUITOSLÓGICOS
W
E
P
C
J
U
A
L
I
A
Q
Y
G
V
V
O
I
R
U
I
L
T
V
X
I
I
H
S
I
K
D
B
R
H
E
L
Y
B
S
C
N
Ó
A
E
S
P
H
R
E
I
L
R
Y
B
K
S
D
O
O
Z
A
D
G
P
Z
O
G
R
S
C
A
D
J
U
E
L
L
V
D
I
N
O
U
I
L
A
D
R
O
E
E
U
E
U
O
T
W
R
A
H
Y
U
A
C
C
I
T
U
I
E
Z
S
S
I
V
O
Z
T
C
I
X
E
I
S
C
A
C
J
D
H
Z
M
S
I
A
T
T
O
I
E
E
S
H
J
X
I
M
A
J
T
H
H
O
A
U
O
D
O
D
I
U
A
U
D
F
V
Ó
A
C
L
U
M
V
X
U
S
A
N
E
S
A
X
L
U
S
G
F
N
T
I
E
K
Q
U
T
M
U
Y
R
E
E
L
K
O
U
K
S
V
M
E
Ó
O
O
O
V
U
C
K
P
P
S
S
E
Ó
I
J
M
U
N
A
M
N
U
P
O
J
S
V
E
M
J
O
H
B
I
G
D
T
I
Y
T
Á
I
D
M
U
A
W
D
M
U
Z
J
S
O
O
U
I
W
P
T
E
T
R
Y
H
A
Z
A
W
I
U
T
Y
Z
T
L
O
C
C
P
B
M
I
U
L
O
L
C
N
O
I
I
C
P
B
R
U
W
L
S
O
G
Á
C
E
P
L
I
V
A
U
J
I
G
A
T
P
P
L
R
E
O
S
T
A
A
L
G
E
B
R
A
B
O
O
L
E
A
N
A
A
A
A
P
I
E
L
Ó
R
X
U
U
A
A
O
U
F
W
Z
K
N
H
D
C
N
C
A
L
E
P
J
F
S
E
Y
M
F
T
J
P
G
E
G
Q
O
I
A
F
A
L
G
E
B
R
A
D
E
C
L
A
R
A
T
I
V
A
S
U
S
F
U
L
Ó
G
I
C
A
P
R
O
P
O
S
I
C
I
O
N
A
L
