Fórum de Lógica Computacional by Oséias Gomes Guerra https://padlet.com/oseiasgomesxd/logicacomputacional Como a lógica funciona e como trabalhar com ela em nosso cotidiano? en-us 2022-08-20 21:10:47 UTC 2022-08-21 00:41:24 UTC hello@padlet.com https://padlet.net/icons/png/1f5b1.png O que é lógica? oseiasgomesxd https://padlet.com/oseiasgomesxd/logicacomputacional/wish/2266271366 A lógica começou a ser estudada pelo filósofo grego Aristóteles (384 a.C.-322 a.C.), e ela está ligada fundamentalmente com o raciocínio. É com ela que se pode exercer uma atividade de modo bom ou mal feito.

Para que algo seja feito de maneira argumentalmente racional e de maneira correta e que faça sentido (seja bem feito), é necessário que sejam seguidos alguns princípios:
 - Da indentidade ➡ Verdadeiro é verdadeiro e falso é falso;
- Não contradição ➡ Não pode ser falso ou verdadeiro ao mesmo tempo;
- Terceiro excluído ➡ Ou é verdadeiro ou é falso.

Resumindo, a lógica é uma ciência que visa distinguir o bom raciocínio do mau, é a arte de pensar corretamente, fundamentar argumentos, escrever e registrar de forma organizada.]]> 2022-08-20 21:15:50 UTC https://padlet.com/oseiasgomesxd/logicacomputacional/wish/2266271366 O que é Proposição? oseiasgomesxd https://padlet.com/oseiasgomesxd/logicacomputacional/wish/2266271392 As proposições são enunciados/frases declarativas, afirmações ou negações, e possuem um e somente um valor lógico que são analisados logicamente: Verdadeiro ou Falso.
Ex.: O Brasil está na América do Sul.
Essa é uma proposição verdadeira, e pode ser representada por p na tabela verdade.

Ainda para classificar as proposições, pode-se usar dos conectivos que podem ser conferidos na tabela abaixo:
 🔗https://www.infoescola.com/matematica/conectivos-logicos/]]> 2022-08-20 21:16:02 UTC https://padlet.com/oseiasgomesxd/logicacomputacional/wish/2266271392 O que são Premissas? oseiasgomesxd https://padlet.com/oseiasgomesxd/logicacomputacional/wish/2266271437 As premissas são proposições que são usadas com base para um racocínio.
Isso significa dizer que elas são o conteúdo, a informação em si que servem para nos levar a uma conclusão através do estudo, seguindo essa lógica, a premissa é cada uma das proposições de um determinado silogismo]]> 2022-08-20 21:16:09 UTC https://padlet.com/oseiasgomesxd/logicacomputacional/wish/2266271437 O que são Argumentos? oseiasgomesxd https://padlet.com/oseiasgomesxd/logicacomputacional/wish/2266271484 Os argumentos são fundamentais para a lógica, visto que são um conjunto de enunciados/proposições (ideias lógicas) que se relacionam e que servem para justificar algo através do raciocínio.

Os argumentos podem trazer em seus enunciados dois tipos de proposições:
A conclusão: objetivam justificar.
As premissas: apoiam a conclusão.

Exemplo clássico que pode-se trazer é o seguinte:

Todos os homens são mortais.
Sócrates é homem.
Logo, Sócrates é mortal.

No exemplo acima, há duas premissas e uma conclusão, sendo  os 2 primeiros enunciados premissas e o último a conclusão. 
E os argumentos utilizados nas premissas servem como base para se chegar a conclusão de que Sócrates é mortal.
]]> 2022-08-20 21:16:16 UTC https://padlet.com/oseiasgomesxd/logicacomputacional/wish/2266271484 O que é Silogismo? oseiasgomesxd https://padlet.com/oseiasgomesxd/logicacomputacional/wish/2266271508 Um silogismo é uma maneira de raciocínio que tem como base a dedução. Este modo de pensar foi criado pelo filósofo Aristóteles e utiliza de duas primeiras proposições para chegar à uma terceira, que no caso, seria a conclusão.]]> 2022-08-20 21:16:24 UTC https://padlet.com/oseiasgomesxd/logicacomputacional/wish/2266271508 O que é Falácia? oseiasgomesxd https://padlet.com/oseiasgomesxd/logicacomputacional/wish/2266271533 As falácias são argumentos que logicamente estão incorretos, mas que são apresentadas de modo que pareçam corretas.

Para que isso funcione, geralmente as informações são omitidas por trás de outros discursos que acabam por trazer falsas crenças e ideias equivocacas.

Ex.:  “Todo homem é um canalha”.]]> 2022-08-20 21:16:32 UTC https://padlet.com/oseiasgomesxd/logicacomputacional/wish/2266271533 O que é inferência? Quais os tipos? oseiasgomesxd https://padlet.com/oseiasgomesxd/logicacomputacional/wish/2266271608 A inferência é uma maneira de se chegar a uma conclusão através de premissas num processo de analisar argumentos lógicos, podendo ela ser classificada de dois tipos:
 - Indutiva ➡ Experiência com as verdades e fatos para se chegar a uma conclusão universal.
 - Dedutiva ➡ Premissas gerais para concluir verdades específicas e particulares.

Exemplo indutiva
Todos os homens são mortais.
Sócrates é homem.
Logo, Sócrates é mortal.

Exemplo dedutiva
Se eu tiver dinheiro, comprarei um carro.
Se eu comprar um carro, serei muito feliz.
Portanto, se eu tiver dinheiro, serei muito feliz.

]]> 2022-08-20 21:16:52 UTC https://padlet.com/oseiasgomesxd/logicacomputacional/wish/2266271608 Como a lógica funciona? oseiasgomesxd https://padlet.com/oseiasgomesxd/logicacomputacional/wish/2266271711 A lógica é como uma ferramenta do pensar corretamente. Ela funciona em conjunto do raciocínio para nos ajudar a chegar a um conhecimento objetivo.

Ela funciona organizando as ideias em etapas para que possamos chegar em um resultado final esperado, pode-se entender fazendo uma clássica analogia: uma receita de bolo.
Assim como a receita de bolo é organizada em etapas lógicas, nosso cerébro faz as tarefas da mesma maneira, afinal, não dá para cortar o bolo sem que ele esteja pronto, portanto, seguir as etapas de modo correto nos leva a conclusão certa. ]]> 2022-08-20 21:17:19 UTC https://padlet.com/oseiasgomesxd/logicacomputacional/wish/2266271711 Como trabalhamos com ela no cotidiano? oseiasgomesxd https://padlet.com/oseiasgomesxd/logicacomputacional/wish/2266271767 Usamos ela o tempo todo, seja ao acordar e escovar os dentes antes de tomar o café da manhã até à resolução de problemas matemáticos.

Quando formamos uma frase ao falar, escrever ou pensar precisa-se manter uma coesão e coerência para que o outro entenda, logo, só o fato de falar é um ato lógico natural ao nosso cerébro.

Quando cozinhamos precisamos também seguir uma ordem lógica para que o prato final seja finalizado da maneira esperada, como ao fazer um arroz, um feijão ou fritar uma carne.

Resumindo, estamos o tempo todo fazendo atos lógicos, mesmo que incoscientemente.]]> 2022-08-20 21:17:36 UTC https://padlet.com/oseiasgomesxd/logicacomputacional/wish/2266271767