Fórum de Lógica Computacional by https://padlet.com/arthur404/5v0tp3lepi4xmiwy Arthur B. en-us 2022-08-08 18:10:55 UTC 2022-08-08 18:57:43 UTC hello@padlet.com 1.O que é lógica? arthur404 https://padlet.com/arthur404/5v0tp3lepi4xmiwy/wish/2256869021 A lógica é o estuda da estrutura formal dos enunciados (proposições) e suas regras. E em geral a lógica serve para se pensar corretamente. O termo lógica de programação tem suas raízes no avanço da ciência da computação.
A distinção importante aqui é que a lógica de programação, e a lógica em geral, é fundamentalmente definida contra outros tipos de programação que não são construídos em lógica rígida ou estados e resultados quantificáveis.
A lógica de programação em geral se baseia em uma base de lógica computacional
]]> 2022-08-08 18:34:43 UTC https://padlet.com/arthur404/5v0tp3lepi4xmiwy/wish/2256869021 2.O que é Proposição? arthur404 https://padlet.com/arthur404/5v0tp3lepi4xmiwy/wish/2256869125 Consiste em um enunciado, uma frase declarativa. ]]> 2022-08-08 18:34:58 UTC https://padlet.com/arthur404/5v0tp3lepi4xmiwy/wish/2256869125 3.O que são Premissas? arthur404 https://padlet.com/arthur404/5v0tp3lepi4xmiwy/wish/2256869291 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-08-08 18:35:19 UTC https://padlet.com/arthur404/5v0tp3lepi4xmiwy/wish/2256869291 4.O que são Argumentos? arthur404 https://padlet.com/arthur404/5v0tp3lepi4xmiwy/wish/2256869425 Conjunto de enunciados que se relacionam uns com os outros. ]]> 2022-08-08 18:35:34 UTC https://padlet.com/arthur404/5v0tp3lepi4xmiwy/wish/2256869425 5.O que é Silogismo? arthur404 https://padlet.com/arthur404/5v0tp3lepi4xmiwy/wish/2256869560 Consiste em um raciocínio dedutivo (premissas) e possibilita a dedução de uma conclusão a partir das premissas. ]]> 2022-08-08 18:35:48 UTC https://padlet.com/arthur404/5v0tp3lepi4xmiwy/wish/2256869560 6.O que é Falácia? arthur404 https://padlet.com/arthur404/5v0tp3lepi4xmiwy/wish/2256869659  Consiste em argumentos que logicamente estão incorretos. ]]> 2022-08-08 18:35:58 UTC https://padlet.com/arthur404/5v0tp3lepi4xmiwy/wish/2256869659 7.O que é inferência? Quais os tipos? arthur404 https://padlet.com/arthur404/5v0tp3lepi4xmiwy/wish/2256869748 Inferência é o processo que permite chegar a conclusões a partir de premissas, constituindo a argumentação lógica perfeita. A inferência, como veremos a seguir, pode ser de dois tipos: indutiva e dedutiva. Uma inferência inválida é chamada falácia.

Dedutiva: É aquela que parte de premissas afirmativas ou leis mais gerais permitindo a obtenção de verdades menos gerais ou particulares.
Todo o brasileiro gosta de futebol.
Arthur é brasileiro.
Portanto, Arthur gosta de futebol.

Indutiva: Se preocupa com argumentos que permitem conclusões gerais a partir de casos particulares.
Mariana é jovem e gosta de sair com os amigos.
Enzo é jovem e gosta de sair com os amigos. 
Sabrina é jovem e gosta de sair com os amigos. 
(...)
Portanto, todos os jovens gostam de sair com os amigos. 
]]> 2022-08-08 18:36:11 UTC https://padlet.com/arthur404/5v0tp3lepi4xmiwy/wish/2256869748