1 resultado para 1044

em Livre Saber - Repositório Digital de Materiais Didáticos - SEaD-UFSCar


Relevância:

10.00% 10.00%

Publicador:

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.