Inferência é o processo pelo qual se chega a uma
proposição, firmada na base de uma ou outras mais
proposições aceitas como ponto de partida do processo. O
Argumento é chamado de premissa e o valor de conclusão. As conclusões são deduzidas a partir das premissas. Caso o estado das premissas esteja vazio, então a conclusão é dita ser o axioma da lógica.
Uma propriedade desejável de uma regra de inferência é que esta seja efetiva, isto é, existe um procedimento efetivo para determinar se uma dada fórmula é inferível de um dado conjunto de fórmulas.