¿Lo sabías? Puedes hacer doble clic en una palabra para buscarla en TermGallery.
Significados de regra de inferencia en portugués
Aún no tenemos significados para "regra de inferencia".
Uso de regra de inferencia en portugués
1
Do mesmo modo, a regradeinferência se liga a pequenas decisões que escapam de sua formulação abstrata.
2
Nessas últimas, as premissas e regrasdeinferência estão estipuladas desde o início.
3
Ele começou considerando qualquer conjunto consistente de regrasdeinferência.
4
Para qualquer conjunto de regrasdeinferência, existem provas válidas não designadas como válidas por essas regras.
5
Mas quais regrasdeinferência devemos usar?
6
Desta vez a consistência teria de ser provada, usando um método de prova que por si mesmo seguisse as mesmas regrasdeinferência.
7
Suponha que alguns críticos façam objeção às nossas regrasdeinferência porque acham que nossos símbolos se comportarão de modo diferente das entidades abstratas.
8
É a intuição de que a prova é um tipo especial de objeto, ou seja, uma sequência de declarações que obedecem a regrasdeinferência.
9
Logo, num certo sentido, toda a argumentação é condicional: podemos sempre pôr em causa, em princípio, as premissas ou as regrasdeinferência (ou ambas).
10
As mesmas considerações aplicam-se à intuição de que deve existir uma quantidade finita de regrasdeinferência e de que elas devem ser "diretamente aplicáveis".