Inferência lógica e os sistemas de derivação
| Data(s) |
10/12/2012
10/12/2012
10/12/2012
|
|---|---|
| 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. Fundamentos de Lógica Matemática Sistemas de Informação |
| Identificador | |
| Idioma(s) |
pt_BR |
| Palavras-Chave | #Lógica proposicional #Inferência lógica #Derivação (álgebra) #Argumento válido (álgebra) #Tabela verdade #Sistema de derivação |
| Tipo |
Apresentacao |
