Lógica Computacional by https://padlet.com/flvio18/8izyp6vuy4soxtmi Padlet criado para o forúm de Lógica Computacional en-us 2022-08-16 15:24:28 UTC 2025-10-24 04:21:25 UTC hello@padlet.com 1.O que é lógica? flvio18 https://padlet.com/flvio18/8izyp6vuy4soxtmi/wish/2262360810 É uma sequência de regras a serem seguidas para se chegar a um determinado resultado ou para resolver um problema. ]]> 2022-08-16 15:28:34 UTC https://padlet.com/flvio18/8izyp6vuy4soxtmi/wish/2262360810 2.O que é Proposição? flvio18 https://padlet.com/flvio18/8izyp6vuy4soxtmi/wish/2262361950  São sentenças afirmativas que podem ser verdadeiras ou falsas. ]]> 2022-08-16 15:29:49 UTC https://padlet.com/flvio18/8izyp6vuy4soxtmi/wish/2262361950 3.O que são Premissas? flvio18 https://padlet.com/flvio18/8izyp6vuy4soxtmi/wish/2262362149  As premissas justificam a conclusão. ]]> 2022-08-16 15:30:03 UTC https://padlet.com/flvio18/8izyp6vuy4soxtmi/wish/2262362149 4.O que são Argumentos? flvio18 https://padlet.com/flvio18/8izyp6vuy4soxtmi/wish/2262362478  Um argumento é uma sequência de proposições que nada mais é que as sentenças afirmativas que podem ser verdadeiras ou falsas, na qual uma delas é a conclusão e as demais são premissas. ]]> 2022-08-16 15:30:10 UTC https://padlet.com/flvio18/8izyp6vuy4soxtmi/wish/2262362478 5.O que é Silogismo? flvio18 https://padlet.com/flvio18/8izyp6vuy4soxtmi/wish/2262362599  É o raciocínio dedutivo formado a partir de duas proposições, onde chega-se a uma conclusão logica.  ]]> 2022-08-16 15:30:19 UTC https://padlet.com/flvio18/8izyp6vuy4soxtmi/wish/2262362599 6.O que é Falácia? flvio18 https://padlet.com/flvio18/8izyp6vuy4soxtmi/wish/2262362702 Geralmente representa uma ideia equivocada, ou um argumento que tem a intenção de parecer correto mas na verdade é incorreto.  ]]> 2022-08-16 15:30:25 UTC https://padlet.com/flvio18/8izyp6vuy4soxtmi/wish/2262362702 7.O que é inferência? Quais os tipos? flvio18 https://padlet.com/flvio18/8izyp6vuy4soxtmi/wish/2262362799 É um mecanismo pelo qual o raciocínio acontece. Estes dois andam de mãos dadas, e é essencial seguir um processo de inferência apropriado para garantir a validade do raciocínio.
Três tipos de Inferência:
Dedução: 
É o processo de derivar uma conclusão dos axiomas e fatos dados. Isto é, tirar uma conclusão com base no conhecimento e observações disponíveis.
Indução:
Por outro lado, a indução implica derivar uma regra geral (também chamada de axioma) de observações particulares ou específicas. Esse tipo de raciocínio é o oposto do dedutivo. Basicamente, significa extrair as conclusões ou inferências de vários dados, indo do específico para o geral. Os cientistas usam o raciocínio indutivo para formar hipóteses e teorias.
Abducção:
Este tipo de inferência é baseado em um conjunto incompleto de observações, resultando na explicação mais provável possível.
Baseia-se em fazer e testar hipóteses usando as melhores informações disponíveis. Frequentemente envolve fazer uma suposição depois de observar um fenômeno para o qual não há uma explicação clara.
]]> 2022-08-16 15:30:33 UTC https://padlet.com/flvio18/8izyp6vuy4soxtmi/wish/2262362799 Como a lógica funciona e como podemos trabalhar com ela em nosso cotidiano? flvio18 https://padlet.com/flvio18/8izyp6vuy4soxtmi/wish/2262378231
Nos auxilia de inúmeras maneiras mesmo que não correlacionamos de forma imediata.
Com a lógica conseguimos ter a ideia central para a construção de um algoritmo. Que nada mais é que uma sequência de passos determinados, para chegar a um objetivo final como, por exemplo, de uma receita, pois se seguirmos os passos descritos, ao final, teremos o resultado alcançado.
Veja no vídeo abaixo um pouco mais de detalhes:]]> 2022-08-16 15:45:46 UTC https://padlet.com/flvio18/8izyp6vuy4soxtmi/wish/2262378231 flvio18 https://padlet.com/flvio18/8izyp6vuy4soxtmi/wish/2262392420 2022-08-16 15:59:58 UTC https://padlet.com/flvio18/8izyp6vuy4soxtmi/wish/2262392420