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

{{ver desambiguação|Inferência}}

 

'''Inferência''' é o processo pelo qual se chega a uma [[proposição]], firmada na base de uma ou outras mais [[proposição|proposições]] aceitas como ponto de partida do processo. O [[argumento|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.