Use este identificador para citar ou linkar para este item:
http://hdl.handle.net/123456789/1049
Título: | Técnicas dedutivas: Prova direta, prova condicional e prova por redução ao absurdo |
Tipo: | Apresentacao |
Autor(es): | Levada, Alexandre Luis Magalhães |
Palavras-chave: | Lógica matemática;Técnicas dedutivas;Prova condicional (álgebra);Prova por absurdo (álgebra);Prova direta (álgebra);Prova por resolução |
Data do documento: | 11-Dez-2012 |
Resumo: | Neste conjunto de slides é possível encontrar uma breve síntese sobre as principais técnicas dedutivas. São apresentadas as técnicas de prova direta, prova condicional e prova por redução ao absurdo. Passa rapidamente pelas duas primeiras, sendo mais específico na explicação da terceira técnica. |
URI: | http://livresaber.sead.ufscar.br/handle/123456789/1049 |
Curso: | Sistemas de Informação |
Disciplina: | Fundamentos de Lógica Matemática |
Duração: | 7 slides |
Aparece nas coleções: | Textos e apresentações |
Arquivos associados a este item:
Arquivo | Descrição | Tamanho | Formato | |
---|---|---|---|---|
Técnicas dedutivas.pdf | 675,66 kB | Adobe PDF | Visualizar/Abrir |
Este arquivo é protegido por direitos autorais |
Este item está habilitado sob uma Licença Creative Commons