Un
____________________
formal
se
compone
de
tres
partes
:
____________________
,
reglas
de
____________________
y
____________________
.
Los
axiomas
se
entienden
como
los
____________________
fundamentales
y
autoevidentes
que
reglamentan
el
____________________
.
Las
reglas
de
____________________
hacen
alusión
a
____________________
lógicas
válidas
que
se
usan
en
los
____________________
.
La
utilización
de
reglas
inferenciales
en
un
proceso
____________________
nos
proporciona
____________________
,
los
cuales
se
entienden
como
____________________
que
han
sido
deducidos
por
una
____________________
de
inferencias
____________________
,
éstos
equivalen
a
nueva
____________________
.