Inferência

Origem: Wikipédia, a enciclopédia livre.
Ir para: navegação, pesquisa

Inferência, em Lógica, é o ato ou processo de derivar conclusões lógicas de premissas conhecida ou decididamente verdadeiras. A conclusão também é chamada de idiomática.

[editar] Ver também

Portal A Wikipédia possui o portal:
Portal de Lógica
{{{Portal2}}}
{{{Portal3}}}
{{{Portal4}}}
{{{Portal5}}}
Wiki letter w.svg Este artigo é mínimo. Você pode ajudar a Wikipédia expandindo-o.
Ferramentas pessoais
Espaços nominais

Variantes
Ações
Navegação
Colaboração
Imprimir/exportar
Ferramentas
Noutras línguas