Meanings of regra de inferencia in Portuguese

Do mesmo modo, a regra de inferência se liga a pequenas decisões que escapam de sua formulação abstrata.

Nessas últimas, as premissas e regras de inferência estão estipuladas desde o início.

Ele começou considerando qualquer conjunto consistente de regras de inferência.

Para qualquer conjunto de regras de inferência, existem provas válidas não designadas como válidas por essas regras.

Mas quais regras de inferência devemos usar?

Desta vez a consistência teria de ser provada, usando um método de prova que por si mesmo seguisse as mesmas regras de inferência.

Suponha que alguns críticos façam objeção às nossas regras de inferência porque acham que nossos símbolos se comportarão de modo diferente das entidades abstratas.

É a intuição de que a prova é um tipo especial de objeto, ou seja, uma sequência de declarações que obedecem a regras de inferência.

Logo, num certo sentido, toda a argumentação é condicional: podemos sempre pôr em causa, em princípio, as premissas ou as regras de inferência (ou ambas).

As mesmas considerações aplicam-se à intuição de que deve existir uma quantidade finita de regras de inferência e de que elas devem ser "diretamente aplicáveis".