Wikipédia em português - A enciclop...
Abaixe este dicionário
Sistema dedutivo
Um
sistema dedutivo
(também chamado de
apararato dedutivo
de um
sistema formal
) é constituído de
axiomas
e
regras de inferência
que podem ser usadas para
derivar
os
teoremas
do sistema.
Veja mais na Wikipédia.org...
© Esse artigo usa material da
Wikipédia
®
sob a licença
Licença GNU de Documentação Livre
e sob nos termos da licença
Creative Commons Attribution-ShareAlike