Ed
há 2 anos
A regra de inferência estabelece que uma fórmula chamada conclusão, pode ser inferida de outra ou outras chamadas premissas. Uma demonstração ou prova é assim, neste contexto, uma sequência finita de fórmulas tais que cada uma delas ou é um axioma ou é uma consequência imediata de alguma ou alguns precedentes (precedente na sequência do raciocínio) em virtude de uma regra de inferência. A fórmula final de demonstração é um teorema ou fórmula derivada.
Cadastre-se ou realize login
Mais perguntas desse material