La
____________________
es
una
____________________
lógica
deductiva
,
que
utiliza
____________________
para
____________________
una
teoría
exacta
de
deducción
e
inferencia
lógica
basada
en
definiciones
,
axiomas
,
postulados
y
reglas
que
transforman
elementos
primitivos
en
____________________
y
____________________
más
____________________
.