Use este identificador para citar ou linkar para este item:
http://hdl.handle.net/123456789/2172| Título: | Prova por resolução |
| Tipo: | Video |
| Autor(es): | Levada, Alexandre Luis Magalhães |
| Palavras-chave: | Lógica proposicional; Árvore de derivação; Inferência |
| Data do documento: | 5-Mar-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. |
| URI: | http://livresaber.sead.ufscar.br:8080/jspui/handle/123456789/2172 |
| Curso: | Sistemas de Informação |
| Disciplina: | Fundamentos de Lógica Matemática |
| Duração: | 02min 55s |
| Aparece nas coleções: | Vídeos |
Arquivos associados a este item:
| Arquivo | Descrição | Tamanho | Formato | |
|---|---|---|---|---|
| prova_resolucao.mp4 | video | 4,22 MB | Vídeo | Visualizar/Abrir |
Este arquivo é protegido por direitos autorais |
Este item está habilitado sob uma Licença Creative Commons
