Lógica Computacional. by Guilherme Vinicius Ferrari https://padlet.com/GuilhermeFerrari12/LogicaComp en-us 2022-10-09 13:34:37 UTC 2022-10-09 13:46:38 UTC hello@padlet.com Lógica: GuilhermeFerrari12 https://padlet.com/GuilhermeFerrari12/LogicaComp/wish/2332462982 É a arte de pensar corretamente ou a lógica é um estudo dos modos corretos do pensamento. A lógica é a ciência que estuda os argumentos, suas premissas e conclusões. ]]> 2022-10-09 13:36:57 UTC https://padlet.com/GuilhermeFerrari12/LogicaComp/wish/2332462982 Proposição: GuilhermeFerrari12 https://padlet.com/GuilhermeFerrari12/LogicaComp/wish/2332463365 Consiste em um enunciado, uma frase declarativa.
 

]]> 2022-10-09 13:37:39 UTC https://padlet.com/GuilhermeFerrari12/LogicaComp/wish/2332463365 Premissas: GuilhermeFerrari12 https://padlet.com/GuilhermeFerrari12/LogicaComp/wish/2332463814 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. ]]> 2022-10-09 13:38:05 UTC https://padlet.com/GuilhermeFerrari12/LogicaComp/wish/2332463814 Argumento: GuilhermeFerrari12 https://padlet.com/GuilhermeFerrari12/LogicaComp/wish/2332464085 É o conjunto de afirmações conectadas das quais pelo menos uma (a premissa) pretende oferecer razões para mostrar que a outra (a conclusão) é verdadeira. Assim, para termos um argumento precisamos de premissas e conclusões.
 

]]> 2022-10-09 13:38:28 UTC https://padlet.com/GuilhermeFerrari12/LogicaComp/wish/2332464085 Silogismo: GuilhermeFerrari12 https://padlet.com/GuilhermeFerrari12/LogicaComp/wish/2332464306 Nada mais é do que um argumento constituído de proposições das quais se infere (extrai) uma conclusão.]]> 2022-10-09 13:38:54 UTC https://padlet.com/GuilhermeFerrari12/LogicaComp/wish/2332464306 Falácia: GuilhermeFerrari12 https://padlet.com/GuilhermeFerrari12/LogicaComp/wish/2332464532 É uma inferência inválida ]]> 2022-10-09 13:39:17 UTC https://padlet.com/GuilhermeFerrari12/LogicaComp/wish/2332464532 Inferência: GuilhermeFerrari12 https://padlet.com/GuilhermeFerrari12/LogicaComp/wish/2332464745 É o processo que permite chegar a conclusões a partir de premissas, constituindo a argumentação lógica perfeita.
A inferência pode ser de dois tipos:
 Indutiva: partiremos da experiência com as verdades e fatos particulares na busca de uma conclusão geral.

]]> 2022-10-09 13:39:39 UTC https://padlet.com/GuilhermeFerrari12/LogicaComp/wish/2332464745 Dedutiva: GuilhermeFerrari12 https://padlet.com/GuilhermeFerrari12/LogicaComp/wish/2332465025 Partiremos de premissas gerais para construirmos verdades específicas e particulares. ]]> 2022-10-09 13:40:04 UTC https://padlet.com/GuilhermeFerrari12/LogicaComp/wish/2332465025