https://padlet.com/Luiz_C_Bonini/Padlet_de_logica Como ela funciona e como trabalhamos com ela em nosso cotidiano. en-us 2021-08-19 13:01:25 UTC 2023-07-26 09:29:47 UTC hello@padlet.com https://padlet.net/icons/png/1f5a5.png Luiz_C_Bonini https://padlet.com/Luiz_C_Bonini/Padlet_de_logica/wish/1686037853  Todos já falamos essa frase alguma vez na vida, mas já paramos para pensar sobre ela? Por que é lógico? o que define se é lógico ou não?

 Aristóteles, a muito tempo antes de Cristo se perguntou a mesma coisa e o que resultou dessa pergunta perdura até os dias de hoje, ele começou a explorar o que chamamos de lógica formal, que explico sobre em outro poste. 

A lógica permite, praticamente, que tenhamos o entendimento de como o nosso raciocínio lógico é formado, organizar e fundamentar nossos argumentos, para que nossa comunicação seja clara e sem riscos de desentendimentos. O principal objetivo é a resolução de problemas, e por isso é uma competência ensinada em varias áreas de estudos, inclusive a área de tecnologia. ]]> 2021-08-19 13:45:58 UTC https://padlet.com/Luiz_C_Bonini/Padlet_de_logica/wish/1686037853 Luiz_C_Bonini https://padlet.com/Luiz_C_Bonini/Padlet_de_logica/wish/1686099974  "A lógica é a arte de pensar bem!" - Forbellone

 A forma mais complexa do pensamento é o raciocínio e a lógica é o estudo da correção do raciocínio.

 Começando então pela lógica formal que começou a ser estudada pelo famoso filosofo Aristóteles onde ela é chamada assim quando procura estabelecer a relação entre a forma de um argumento e sua validade. Ela ensina a distinguir argumentos de não-argumentos e argumentos válidos de não-válidos.

"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). ]]> 2021-08-19 14:18:56 UTC https://padlet.com/Luiz_C_Bonini/Padlet_de_logica/wish/1686099974 Luiz_C_Bonini https://padlet.com/Luiz_C_Bonini/Padlet_de_logica/wish/1688310177  Temos também a lógica dedutiva, em que suas conclusões são presumivelmente necessárias, ou seja, se as premissas são verdadeiras então as conclusões também são.
Ela parte de casos gerais para conclusões particulares.

 EX: Todo planeta é quadrado - A Terra é um planeta - logo a Terra é quadrada.

 EX²: Todo vertebrado possui vértebras - Todos os cães são vertebrados - Logo todos os cães possuem vértebras.]]> 2021-08-20 17:50:24 UTC https://padlet.com/Luiz_C_Bonini/Padlet_de_logica/wish/1688310177 Luiz_C_Bonini https://padlet.com/Luiz_C_Bonini/Padlet_de_logica/wish/1688324356  Já na indutiva os argumentos são prováveis mas não necessários, e partem de casos particulares para conclusões gerais.
 Porem, um único contraexemplo invalida todo um raciocínio.

 EX:  Uma maçã solta no ar cai em direção ao solo - Uma caneta solta no ar cai em direção ao solo - Um livro solto no ar cai em direção ao solo - Todos os objetos soltos no ar caem em direção ao solo.  ]]> 2021-08-20 17:59:59 UTC https://padlet.com/Luiz_C_Bonini/Padlet_de_logica/wish/1688324356 Luiz_C_Bonini https://padlet.com/Luiz_C_Bonini/Padlet_de_logica/wish/1688351575  E finalmente a nossa companheira, a lógica simbólica é a parte em que representamos as premissas e suas relações por meio de símbolos matemáticos, sendo assim precisa e sem margem para duplas interpretações.
 Ela é dividida em lógica proposicional e lógica de predicados.

 Lógica proposicional
 Símbolos representam as proposições e as relações entre elas, alguns deles são os exemplificados na imagem acima.          Além das tabelas de verdade utilizadas para saber se um argumento é válido ou não.

Lógica de predicados
Envolve os quantificadores (universais e existenciais) expressados pelas palavras, "qualquer", "todo", "cada", "algum", "nenhum" e "existe".]]> 2021-08-20 18:20:25 UTC https://padlet.com/Luiz_C_Bonini/Padlet_de_logica/wish/1688351575 Luiz_C_Bonini https://padlet.com/Luiz_C_Bonini/Padlet_de_logica/wish/1688364962  Entendendo os conceitos aqui mais cedo apresentados podemos perceber que a lógica faz parte do nosso cotidiano, o arquiteto usa, o psicologo usa, o dentista, a faxineira, eu, você...todos usam mas nem todos entendem isso.
 Muitas vezes é usado de modo mais informal, outras vezes de modo a ter um conhecimento apurado do mesmo e saber aplicar em momentos que pareçam necessários.

 Sophia, uma arquiteta, utiliza da lógica para para organizar seus clientes e separa-los em letras como, Cliente A, cliente B, cliente C...
 
Tânia , estudante, utiliza da lógica para organizar o melhor e mais rápido trajeto de ônibus de suas casa ao trabalho de meio período.

O Serralheiro, Gregório, utiliza o raciocínio lógico para montar um portão. Primeiro pensa nas medidas e desenho, faz um esboço para quando montar dar certo.]]> 2021-08-20 18:30:55 UTC https://padlet.com/Luiz_C_Bonini/Padlet_de_logica/wish/1688364962 Luiz_C_Bonini https://padlet.com/Luiz_C_Bonini/Padlet_de_logica/wish/1688411001  Um desenvolvedor deve se apoiar fundamentalmente na lógica, pois ela ensina a pensar de forma organizada e assim criar um algoritmo, um meio de se comunicar com o computador de maneira assertiva, desenvolvendo instruções em uma sequência para atingir determinado objetivo.]]> 2021-08-20 19:10:22 UTC https://padlet.com/Luiz_C_Bonini/Padlet_de_logica/wish/1688411001