Fórum - Lógica Computacional by Gislene Andrade https://padlet.com/gisandrade2000/d0gz4blxsje5rnuh en-us 2022-08-30 17:58:31 UTC 2022-08-30 18:08:50 UTC hello@padlet.com O que é lógica? gisandrade2000 https://padlet.com/gisandrade2000/d0gz4blxsje5rnuh/wish/2276633610 Lógica de programação é a técnica de encadear pensamentos para atingir determinado objetivo. Estes pensamentos, podem ser descritos como uma sequência de instruções, que devem ser seguidas para se cumprir uma determinada tarefa. Sequência Lógica são passos executados até atingir um objetivo ou solução de um problema.

]]> 2022-08-30 18:00:32 UTC https://padlet.com/gisandrade2000/d0gz4blxsje5rnuh/wish/2276633610 O que é Proposição? gisandrade2000 https://padlet.com/gisandrade2000/d0gz4blxsje5rnuh/wish/2276635505 É 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.

]]> 2022-08-30 18:02:01 UTC https://padlet.com/gisandrade2000/d0gz4blxsje5rnuh/wish/2276635505 O que são Premissas? gisandrade2000 https://padlet.com/gisandrade2000/d0gz4blxsje5rnuh/wish/2276636255 É 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-30 18:02:42 UTC https://padlet.com/gisandrade2000/d0gz4blxsje5rnuh/wish/2276636255 O que são Argumentos? gisandrade2000 https://padlet.com/gisandrade2000/d0gz4blxsje5rnuh/wish/2276638296 Um argumento pode ser definido como uma afirmação acompanhada de justificativa ou como uma justaposição de duas afirmações opostas, argumento e contra-argumento. Um conjunto de enunciados articulados entre si. A noção de argumento é fundamental para a lógica. É conjunto de enunciados que estão relacionados uns com os outros. Argumento é um raciocínio lógico.

]]> 2022-08-30 18:04:04 UTC https://padlet.com/gisandrade2000/d0gz4blxsje5rnuh/wish/2276638296 O que é Silogismo? gisandrade2000 https://padlet.com/gisandrade2000/d0gz4blxsje5rnuh/wish/2276638971 Um silogismo é um termo filosófico com o qual Aristóteles designou a conclusão deduzida de premissas, a argumentação lógica perfeita. Na forma clássica é um argumento dedutivo constituído de três proposições declarativas que se conectam de tal modo que, a partir das duas primeiras, é possível deduzir uma conclusão.

]]> 2022-08-30 18:04:40 UTC https://padlet.com/gisandrade2000/d0gz4blxsje5rnuh/wish/2276638971 O que é Falácia? gisandrade2000 https://padlet.com/gisandrade2000/d0gz4blxsje5rnuh/wish/2276640092 Uma falácia lógica é uma afirmação que pode parecer à primeira vista verdadeira, mas, depois de aplicar as regras da lógica, não é.

]]> 2022-08-30 18:05:39 UTC https://padlet.com/gisandrade2000/d0gz4blxsje5rnuh/wish/2276640092 O que é inferência? Quais os tipos? gisandrade2000 https://padlet.com/gisandrade2000/d0gz4blxsje5rnuh/wish/2276641370 É processo pelo qual, através de determinados dados, chega-se a alguma conclusão. As inferências podem ser divididas em dois tipos: imediatas e mediatas. A inferência imediata consiste em extrair de uma só proposição outra proposição, à qual se atribui o valor de verdade ou falsidade. A inferência imediata pode ser obtida por oposição ou conversão.
A inferência mediata consiste numa conclusão obtida a partir de duas ou mais proposições. Este tipo de inferências podem ser de três tipos: analógicas, indutivas e dedutivas. 
]]> 2022-08-30 18:06:33 UTC https://padlet.com/gisandrade2000/d0gz4blxsje5rnuh/wish/2276641370