![](/jspui/image/bg.png)
Use este identificador para citar ou linkar para este item:
http://hdl.handle.net/123456789/1044
Título: | Inferência lógica e os sistemas de derivação |
Tipo: | Apresentacao |
Autor(es): | Levada, Alexandre Luis Magalhães |
Palavras-chave: | Lógica proposicional;Inferência lógica;Derivação (álgebra);Argumento válido (álgebra);Tabela verdade;Sistema de derivação |
Data do documento: | 10-Dez-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. |
URI: | http://livresaber.sead.ufscar.br/handle/123456789/1044 |
Curso: | Sistemas de Informação |
Disciplina: | Fundamentos de Lógica Matemática |
Duração: | 19 slides |
Aparece nas coleções: | Textos e apresentações |
Arquivos associados a este item:
Arquivo | Descrição | Tamanho | Formato | |
---|---|---|---|---|
Fundamentos Lógica Matemática_Inferência lógica e os sistemas de derivação.pdf | 313,42 kB | Adobe PDF | Visualizar/Abrir |
Este arquivo é protegido por direitos autorais |
Este item está habilitado sob uma Licença Creative Commons