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 TamanhoFormato 
Fundamentos Lógica Matemática_Técnicas dedutivas.pdf413,69 kBAdobe PDFVisualizar/Abrir


Este arquivo é protegido por direitos autorais



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