Regra de inferência: diferenças entre revisões

 

[[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 ou 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.