Use este identificador para citar ou linkar para este item:
http://hdl.handle.net/123456789/1045
Título: | Técnicas dedutivas |
Tipo: | Apresentacao |
Autor(es): | Levada, Alexandre Luis Magalhães |
Palavras-chave: | Técnicas dedutivas;Prova direta (álgebra);Prova condicional (álgebra);Prova por absurdo (álgebra);Contradição (álgebra);Teorema da dedução |
Data do documento: | 10-Dez-2012 |
Resumo: | Este conjunto de slides aborda as técnicas dedutivas. Explica-se o conceito de teorema, e trabalha-se com dedução de consequência lógica a partir de um conjunto de proposições. São discutidos os conceitos de prova direta, prova condicional e prova por absurdo. Trabalha a principal questão: “Existe mais de uma maneira de provar que um argumento é válido?”, apresentando maneiras de respondê-la. São apresentados vários exemplos e exercícios. |
URI: | http://livresaber.sead.ufscar.br/handle/123456789/1045 |
Curso: | Sistemas de Informação |
Disciplina: | Fundamentos de Lógica Matemática |
Duração: | 25 slides |
Aparece nas coleções: | Textos e apresentações |
Arquivos associados a este item:
Arquivo | Descrição | Tamanho | Formato | |
---|---|---|---|---|
Fundamentos Lógica Matemática_Técnicas dedutivas.pdf | 413,69 kB | Adobe PDF | Visualizar/Abrir |
Este arquivo é protegido por direitos autorais |
Este item está habilitado sob uma Licença Creative Commons