Regra de inferência: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
Linha 14:
#As premissas são regras sem hipóteses
Uma regra de
Note que existem diferentes sistemas de lógicas formais, cada qual com seus próprios conjuntos de fórmulas bem-formadas, regras de inferências, e algumas vezes, semânticas. Tome como exemplo as lógicas temporal, modal ou intuicionista. Na lógica de primeira ordem, é necessária uma regra de inferência adicional, conhecida como generalização.
|