About this document
Formas de Inferência Dedutiva Válidas by Mariana Sousa Fernandes is a document available to read on EtoBox.
O documento explora várias formas de inferência dedutiva válidas, incluindo modus ponens, modus tollens, silogismo hipotético, silogismo disjuntivo, negação dupla, contraposição e leis de De Morgan. Cada forma é explicada com exemplos e suas respectivas formas lógicas, destacando que se as premissas forem verdadeiras, a conclusão também será necessariamente verdadeira. O texto serve como um guia para a avaliação de argumentos dedutivos na lógica proposicional.
- Author
- Mariana Sousa Fernandes
- Language
- PT