Lógica Computacional by Caio Vieira https://padlet.com/caiocesarav0208/d0sgft3f32jchvxp Fórum 1 - Lógica Computacional en-us 2021-08-23 22:00:56 UTC 2025-10-26 18:54:40 UTC hello@padlet.com Lógica caiocesarav0208 https://padlet.com/caiocesarav0208/d0sgft3f32jchvxp/wish/1692106068  A lógica é a arte de pensar corretamente ou a lógica é um estudo dos modos corretos do pensamento(SOARES, 2014, p. 1). Segundo Forbellone (2005, p. 1), lógica é a “arte de bem pensar”, que é a “ciência das formas do pensamento”. 

]]> 2021-08-23 22:49:43 UTC https://padlet.com/caiocesarav0208/d0sgft3f32jchvxp/wish/1692106068 Proposição caiocesarav0208 https://padlet.com/caiocesarav0208/d0sgft3f32jchvxp/wish/1692110487 É uma declaração, uma afirmação. O que foi afirmado pode ser verdade ou mentira.]]> 2021-08-23 22:54:40 UTC https://padlet.com/caiocesarav0208/d0sgft3f32jchvxp/wish/1692110487 Premissa caiocesarav0208 https://padlet.com/caiocesarav0208/d0sgft3f32jchvxp/wish/1692113670 É uma proposição usada como base para um raciocínio.

]]> 2021-08-23 22:58:12 UTC https://padlet.com/caiocesarav0208/d0sgft3f32jchvxp/wish/1692113670 Argumento caiocesarav0208 https://padlet.com/caiocesarav0208/d0sgft3f32jchvxp/wish/1692114815 É um conjunto de enunciados.]]> 2021-08-23 22:59:22 UTC https://padlet.com/caiocesarav0208/d0sgft3f32jchvxp/wish/1692114815 Silogismo caiocesarav0208 https://padlet.com/caiocesarav0208/d0sgft3f32jchvxp/wish/1692115598 Raciocínio dedutivo a partir de premissas]]> 2021-08-23 23:00:11 UTC https://padlet.com/caiocesarav0208/d0sgft3f32jchvxp/wish/1692115598 Inferência caiocesarav0208 https://padlet.com/caiocesarav0208/d0sgft3f32jchvxp/wish/1692116237 É 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 e dedutiva. Uma inferência inválida é chamada falácia. ]]> 2021-08-23 23:00:56 UTC https://padlet.com/caiocesarav0208/d0sgft3f32jchvxp/wish/1692116237 Falácia caiocesarav0208 https://padlet.com/caiocesarav0208/d0sgft3f32jchvxp/wish/1692116608 Argumentos que logicamente estão errados]]> 2021-08-23 23:01:23 UTC https://padlet.com/caiocesarav0208/d0sgft3f32jchvxp/wish/1692116608 Logica formal caiocesarav0208 https://padlet.com/caiocesarav0208/d0sgft3f32jchvxp/wish/1692119168 A logica é formal quando assume que qualquer argumento é valido para chegar a alguma conclusão.

]]> 2021-08-23 23:04:16 UTC https://padlet.com/caiocesarav0208/d0sgft3f32jchvxp/wish/1692119168 Conclusão caiocesarav0208 https://padlet.com/caiocesarav0208/d0sgft3f32jchvxp/wish/1692138397 Do ponto de vista da logica formal todo argumento é valido. Caso um argumento tenha base numa premissa ou proposição falsa, a conclusão é de que o argumento é uma mentira (uma falácia).
Quando chegamos a uma conclusão partindo de premissas estamos usando o silogismo, também podemos inferir para chegar a uma conclusão logica. O problema com a inferência é que basta um exemplo contrario ao inferido para transformar nossa conclusão em uma falácia.
A Logica Computacional é bonita porque é formal, o verdadeiro é verdadeiro mesmo que falso.
]]> 2021-08-23 23:23:33 UTC https://padlet.com/caiocesarav0208/d0sgft3f32jchvxp/wish/1692138397