Regra de inferência: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
Linha 2:
'''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.
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.
'''Regras de inferência''' têm as seguintes características:
Linha 10 ⟶ 12:
#As premissas são regras sem hipóteses
Uma regra de inferência não precisa preservar
Na lógica formal, as regras de inferência são normalmente determinadas nas seguinte forma:<br />
| |||