Lógica Computacional by Hellen https://padlet.com/perinhellen/jx4d9z8cri6i3765 como a lógica funciona? en-us 2022-08-22 21:37:17 UTC 2022-08-22 21:46:40 UTC hello@padlet.com https://padlet.net/icons/png/1f92f.png A lógica na filosofia perinhellen https://padlet.com/perinhellen/jx4d9z8cri6i3765/wish/2267932838 Foi o filósofo grego Aristóteles (384 a.C.-322 a.C.) que criou o estudo da lógica, ele a chamava de analítica.]]> 2022-08-22 21:41:54 UTC https://padlet.com/perinhellen/jx4d9z8cri6i3765/wish/2267932838 perinhellen https://padlet.com/perinhellen/jx4d9z8cri6i3765/wish/2267933203 A lógica é uma área da filosofia que visa estudar a estrutura formal dos enunciados (proposições) e suas regras. Em suma, a lógica serve para se pensar corretamente, sendo assim, uma ferramenta do correto pensar.]]> 2022-08-22 21:42:33 UTC https://padlet.com/perinhellen/jx4d9z8cri6i3765/wish/2267933203 O silogismo perinhellen https://padlet.com/perinhellen/jx4d9z8cri6i3765/wish/2267933542 A partir desses princípios temos um raciocínio lógico dedutivo, ou seja, a partir de duas certezas prévias (premissas) chega-se a uma conclusão nova, que não está diretamente referida nas premissas. Isso é chamado de silogismo.]]> 2022-08-22 21:43:06 UTC https://padlet.com/perinhellen/jx4d9z8cri6i3765/wish/2267933542 Lógica formal perinhellen https://padlet.com/perinhellen/jx4d9z8cri6i3765/wish/2267934482 Na lógica formal, também chamada de lógica simbólica, há a redução das proposições a conceitos bem definidos. Desse modo, o que é dito não é o mais importante, e sim, sua forma.

A forma lógica dos enunciados é trabalhada através da representação (simbólica) das proposições por letras: p, q e r. Também vai investigar as relações entre proposições através de seus operadores lógicos: conjunções, disjunções e condicionantes.

]]> 2022-08-22 21:44:18 UTC https://padlet.com/perinhellen/jx4d9z8cri6i3765/wish/2267934482 Lógica computacional perinhellen https://padlet.com/perinhellen/jx4d9z8cri6i3765/wish/2267934772 A lógica computacional é derivada da lógica matemática, mas vai para além dessa, e aplicada à programação de computadores. Sem ela, diversos avanços tecnológicos, como a inteligência artificial, seriam impossíveis.

Esse tipo de lógica analisa as relações entre os valores e transforma em algoritmos. Para isso recorre também a modelos lógicos que rompem com o modelo inicialmente proposto por Aristóteles.

Esses algoritmos são responsáveis por uma série de possibilidades, desde a codificação e decodificação de mensagens até tarefas como reconhecimento facial ou a possibilidade de carros autônomos.

Enfim, toda a relação que se tem com os computadores, hoje em dia, passa por esse tipo de lógica. Ela mescla as bases da lógica tradicional aristotélica com elementos das lógicas chamadas de não-clássicas.

]]> 2022-08-22 21:44:46 UTC https://padlet.com/perinhellen/jx4d9z8cri6i3765/wish/2267934772 Lógica informal perinhellen https://padlet.com/perinhellen/jx4d9z8cri6i3765/wish/2267935631 A Lógica Informal é uma tentativa de desenvolver uma lógica que possa ser usada para avaliar, analisar e aprimorar os raciocínios informais que ocorrem em relacionamentos interpessoais, propagandas, debates políticos, argumentos legais e nos comentários sociais encontrados em jornais, televisão, Internet e outras formas de comunicação de massa.]]> 2022-08-22 21:46:26 UTC https://padlet.com/perinhellen/jx4d9z8cri6i3765/wish/2267935631