Lógica Computacional by Jadson Sousa https://padlet.com/jadsonsousa362/mxl3vqsnqarhnvp4 en-us 2022-08-22 15:10:31 UTC 2022-08-22 15:57:22 UTC hello@padlet.com https://padlet.net/icons/png/1f468-1f4bb.png O que é Lógica? jadsonsousa362 https://padlet.com/jadsonsousa362/mxl3vqsnqarhnvp4/wish/2267530998 A lógica de programação nada mais é do que a maneira correta de se escrever um algoritmo para que de forma logica e finita se possa chegar a resolução de uma determinada tarefa ou de um determinado problema. Em resumo, o algoritmo é como uma receita de bolo, ou seja, um conjunto de instruções para a realização de uma tarefa específica.]]> 2022-08-22 15:14:27 UTC https://padlet.com/jadsonsousa362/mxl3vqsnqarhnvp4/wish/2267530998 O que é Proposição? jadsonsousa362 https://padlet.com/jadsonsousa362/mxl3vqsnqarhnvp4/wish/2267553970 Proposição é um termo usado em lógica para descrever o conteúdo de asserções. Uma asserção é um conteúdo que pode ser tomado como verdade é altamente controversa entre filósofos, muitos dos quais são céticos sobre a existência de proposições. Toda proposição é uma oração declarativa onde possa ser expressa de forma afirmativa ou negativa, na qual atribuímos um dos valores lógicos verdadeiro (V) ou falso (F).]]> 2022-08-22 15:33:58 UTC https://padlet.com/jadsonsousa362/mxl3vqsnqarhnvp4/wish/2267553970 O que são Premissas? jadsonsousa362 https://padlet.com/jadsonsousa362/mxl3vqsnqarhnvp4/wish/2267555093 Em Lógica, uma premissa é uma fórmula considerada hipoteticamente verdadeira, dentro de uma dada inferência. Esta constitui-se de duas partes: uma coleção de premissas, e uma conclusão.]]> 2022-08-22 15:34:50 UTC https://padlet.com/jadsonsousa362/mxl3vqsnqarhnvp4/wish/2267555093 O que são Argumentos? jadsonsousa362 https://padlet.com/jadsonsousa362/mxl3vqsnqarhnvp4/wish/2267561431 Um argumento é um conjunto de proposições que utilizamos para justificar (provar, dar razão, suportar) algo. A proposição que queremos justificar tem o nome de conclusão; as proposições que pretendem apoiar a conclusão ou a justificam têm o nome de premissas.
more_vertical


]]> 2022-08-22 15:39:38 UTC https://padlet.com/jadsonsousa362/mxl3vqsnqarhnvp4/wish/2267561431 O que é Silogismo? jadsonsousa362 https://padlet.com/jadsonsousa362/mxl3vqsnqarhnvp4/wish/2267565454 Silogismo pode se dizer que consiste em um raciocínio dedutivo (premissas) e possibilita a dedução de uma conclusão a partir das premissas. Esta linha de pensamento, criada pelo filósofo Aristóteles, utiliza duas preposições iniciais para se chegar a uma terceira, que no caso é a conclusão.]]> 2022-08-22 15:42:32 UTC https://padlet.com/jadsonsousa362/mxl3vqsnqarhnvp4/wish/2267565454 O que é Falácia? jadsonsousa362 https://padlet.com/jadsonsousa362/mxl3vqsnqarhnvp4/wish/2267568343 Falácia é a construção de uma ideia que aparenta uma lógica e veracidade, mas possui um ponto que o torna falso e falho. Em termos aristotélicos, são enunciados falsos que simulam a verdade também podem ser chamados de sofismas.]]> 2022-08-22 15:44:54 UTC https://padlet.com/jadsonsousa362/mxl3vqsnqarhnvp4/wish/2267568343 O que é inferência? Quais os tipos? jadsonsousa362 https://padlet.com/jadsonsousa362/mxl3vqsnqarhnvp4/wish/2267572897 Inferência é uma dedução feita com base em informações ou um raciocínio que usa dados disponíveis para se chegar a uma conclusão.

Temos dois tipos de inferência  a indutiva e a dedutiva:

Inferência indutiva - O raciocínio indutivo faz ampla generalização de observações específicas. Basicamente, não há dados, então as conclusões são extraídas dos dados. Isso é chamado de lógica indutiva.

Inferência dedutiva - Na inferência dedutiva, nós possuímos uma teoria e, com base nela, fazemos uma previsão de suas conseqüências, ou seja, prevemos o que as observações deveriam ser se a teoria estivesse correta.




]]> 2022-08-22 15:48:23 UTC https://padlet.com/jadsonsousa362/mxl3vqsnqarhnvp4/wish/2267572897