Regra de inferência: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
Linha 10:
Uma regra de inferência não precisa preservar alguma propriedade semântica como verdadeira, já que não existe nenhuma regra que garanta que uma caracterização lógica sintática tenha uma semântica.
Na lógica formal, as regras de inferência são normalmente determinadas nas seguinte forma:<br />
premissa #1<br />
premissa #2<br />
...<br />
premissa #n<br />
____________<br />
conclusão
| |||