Complete o texto abaixo: A regra de inferência estabelece que uma fórmula chamada ____________, 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__________. A fórmula final de demonstração é um teorema ou fórmula derivada.