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 TamanhoFormato 
Técnicas dedutivas.pdf675,66 kBAdobe PDFVisualizar/Abrir


Este arquivo é protegido por direitos autorais



Este item está habilitado sob uma Licença Creative Commons Creative Commons