Wikipédia em português - A enciclop...
Download this dictionary
Princípio da resolução
O
princípio da resolução
é uma regra de
inferência
que dá origem a uma técnica de demonstração por refutação para sentenças e inferências da
lógica proposicional
e da
lógica de primeira ordem
.
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