Prova por resolução
| Data(s) |
05/03/2015
05/03/2015
05/03/2015
|
|---|---|
| Resumo |
O vídeo mostra um conceito da lógica proposicional que é a prova por resolução. A vantagem dessa aplicação é a simplicidade, pois emprega apenas uma regra de inferência. Para verificar se o argumento é válido, por exemplo, são necessário três passos: converter cada premissa para FNC e negar a conclusão, separar as cláusulas, e construir a árvore de derivação ou refutação. Fundamentos de Lógica Matemática Sistemas de Informação |
| Identificador | |
| Idioma(s) |
pt_BR |
| Palavras-Chave | #Lógica proposicional; Árvore de derivação; Inferência |
| Tipo |
Video |
