Las
____________________
son
una
____________________
que
,
a
partir
de
____________________
____________________
exactas
y
a
través
del
____________________
lógico
,
estudia
las
propiedades
y
relaciones
____________________
entre
los
____________________
____________________