Lógica Computacional by Davi Farias https://padlet.com/davicfarias7/vzpscbky909xf2if Principais conceitos de Lógica Computacional en-us 2021-08-13 15:07:56 UTC 2021-08-13 15:25:21 UTC hello@padlet.com A lógica computacional pode ser entendida como a relação entre a lógica formal, mais tradicional, e a computação. Trata-se de um modo de pensar e estruturar ideias para escrever um software ou um algoritmo. davicfarias7 https://padlet.com/davicfarias7/vzpscbky909xf2if/wish/1678289701 2021-08-13 15:17:45 UTC https://padlet.com/davicfarias7/vzpscbky909xf2if/wish/1678289701 Para um melhor entendimento da lógica, é necessário conhecer as definições de alguns termos importantes e muito utilizados na lógica. Mundim(2002) destaca alguns termos importantes, que são: • Proposição: consiste em um enunciado, uma frase declarativa. • Premissas: consistem em proposições que são utilizadas como base para um raciocínio. Pode-se dizer que são as proposições do silogismo. • Argumento: conjunto de enunciados que se relacionam uns comos outros. • Silogismo: consiste em um raciocínio dedutivo (premissas) e possibilita a dedução de uma conclusão a partir das premissas. • Falácia: consiste em argumentos que logicamente estão incorretos. davicfarias7 https://padlet.com/davicfarias7/vzpscbky909xf2if/wish/1678292147 2021-08-13 15:19:37 UTC https://padlet.com/davicfarias7/vzpscbky909xf2if/wish/1678292147 TIPOS DE LÓGICA lógica formal: Começa nos estudos de Aristóteles, na Grécia Antiga. A lógica é dita formal quando analisa e representa a forma de qualquer argumento para que possa ser considerado válido para alguma conclusão. A lógica formal lida com as relações entre premissas e as conclusões que se chegam a partir das premissas, independentemente se a premissa é verdadeira ou falsa (MUNDIM, 2002). Lógica simbólica: É relacionada à matemática, a partir do século XIX. Ela permite a expressão das premissas e de suas relações por meio de símbolos matemáticos, construindo equações para expressar argumentos. Tal linguagem é absolutamente precisa e não dá margem a duplas interpretações. A lógica transcendental: É desenvolvida por toda a obra do filósofo Immanuel Kant, em especial em seu célebre livro Crítica da Razão Pura (2015). Nesse livro, Kant discute que nosso conhecimento, o conhecimento humano, parte de duas fontes principais. A primeira trata da receptividade das impressões por meio de nossos sentidos; a segunda fonte é relativa à faculdade de conhecer um objeto por representações mentais, a partir do pensamento. davicfarias7 https://padlet.com/davicfarias7/vzpscbky909xf2if/wish/1678299559 2021-08-13 15:25:17 UTC https://padlet.com/davicfarias7/vzpscbky909xf2if/wish/1678299559