2 resultados para Inferência de atividades
em Livre Saber - Repositório Digital de Materiais Didáticos - SEaD-UFSCar
Resumo:
Dimensão: 8800x2382px
Resumo:
Nestes slides são apresentados conceitos sobre a inferência lógica e os sistemas de derivação. Define o conceito de argumento válido, e demonstra que a verificação da validade de argumentos pode ser feita por meio de tabelas-verdade e pelo uso de regras de inferência.
