Lógica Computacional by https://padlet.com/wolney_dorta/21w5tw6xksgcwjq5 Fórum de Lógica Computacional - Profa. Adriane Ap. Loper en-us 2022-08-20 15:48:25 UTC 2022-08-20 17:26:19 UTC hello@padlet.com 1.O que é lógica? wolney_dorta https://padlet.com/wolney_dorta/21w5tw6xksgcwjq5/wish/2266192232 A lógica computacional é o uso da lógica para realizar ou raciocinar sobre a computação. Trata-se de um modo de pensar e estruturar ideias para escrever um software ou um algoritmo. Através dele utilizamos elementos da lógica tradicional e da computação para criar comandos e desenvolver softwares ou algoritmos e para isso é necessário um raciocínio organizado e complexo.]]> 2022-08-20 15:58:15 UTC https://padlet.com/wolney_dorta/21w5tw6xksgcwjq5/wish/2266192232 2.O que é Proposição? wolney_dorta https://padlet.com/wolney_dorta/21w5tw6xksgcwjq5/wish/2266194338 A proposição é um termo utilizado em lógica computacional  para descrever o conteúdo de asserções, sendo essa um conteúdo que pode ser tomado como verdade.
Entre os filósofos ela é controversa, pois muitos dos quais são céticos sobre a existência de proposições.]]> 2022-08-20 16:04:16 UTC https://padlet.com/wolney_dorta/21w5tw6xksgcwjq5/wish/2266194338 3.O que são Premissas? wolney_dorta https://padlet.com/wolney_dorta/21w5tw6xksgcwjq5/wish/2266197310 As premissas são utilizadas para justificar a conclusão. Seu significado uma proposição, o conteúdo, as informações essenciais que servem de base para um raciocínio, para um estudo que levará a uma conclusão. De outra forma uma premissa é uma fórmula considerada hipoteticamente verdadeira, dentro de uma dada inferência.]]> 2022-08-20 16:15:14 UTC https://padlet.com/wolney_dorta/21w5tw6xksgcwjq5/wish/2266197310 4.O que são Argumentos? wolney_dorta https://padlet.com/wolney_dorta/21w5tw6xksgcwjq5/wish/2266198958 Argumentos são uma sequência de proposições, ou seja, são sentenças afirmativas que podem ser verdadeiras ou falsas. Sendo eles utilizados para justificar uma afirmação que se faz, ou dar as razões para certa conclusão obtida.
 Quando fazemos a exposição de todas as razões que levaram a uma conclusão lógica como forma de convencimento, ou seja, deveremos mostrar o fundamento do argumento.]]> 2022-08-20 16:21:47 UTC https://padlet.com/wolney_dorta/21w5tw6xksgcwjq5/wish/2266198958 5.O que é Silogismo? wolney_dorta https://padlet.com/wolney_dorta/21w5tw6xksgcwjq5/wish/2266203315 O Silogismo, também conhecido como raciocínio dedutivo, tem como função dar condições para se chegar a uma conclusão tendo como base as premissas.

   Assimile
   Silogismo nada mais é do que um argumento constituído    de proposições das quais se infere (extrai) uma conclusão.    Assim, não se trata de conferir valor de verdade ou falsidade às proposições (frases ou premissas dadas) nem à conclusão, mas apenas de observar a forma como foi constituído. É um raciocínio mediado que fornece o conhecimento de uma coisa a partir de outras coisas (buscando, pois, sua causa) (CABRAL, 2020).

Exemplo de argumento lógico dedutivo:
Premissas:
• Todos os brasileiros torcem pelo Brasil.
• José é brasileiro.
Conclusão:
• José torce pelo Brasil.]]> 2022-08-20 16:36:26 UTC https://padlet.com/wolney_dorta/21w5tw6xksgcwjq5/wish/2266203315 7.O que é inferência? Quais os tipos? wolney_dorta https://padlet.com/wolney_dorta/21w5tw6xksgcwjq5/wish/2266208903 A Inferência pode ser definida como uma dedução feita com base em informações ou um raciocínio que utiliza dados disponíveis para se chegar a uma determinada conclusão, deduzindo um resultado através da lógica, tomando como base a interpretação de outras informações. Inferir também pode significar chegar a uma conclusão a partir de outras percepções ou da análise de um ou mais argumentos e assim constituir a argumentação lógica perfeita. 
Temos dois tipos de inferência na lógica formal: Indutiva e Dedutiva. 
 Uma inferência inválida é chamada falácia. 
  
A lógica indutiva se preocupa com argumentos que permitem conclu­sões gerais a partir de casos particulares. 
Exemplo: 
Mariana é analista de sistemas e sabe programar.
Enzo é analista de sistemas e sabe programar.
Sabrina é analista de sistemas e sabe programar.
(...)
Portanto, todos os analistas de sistemas sabem programar.
 
A lógica dedutiva é aquela que parte de premissas afirmativas ou leis mais gerais permitindo a obtenção de verdades menos gerais ou particulares. 
 Exemplo: 
Todo o analista de sistemas sabe programar.
Mariana é analista de sistemas.
Portanto, Mariana sabe programar.
]]> 2022-08-20 16:55:24 UTC https://padlet.com/wolney_dorta/21w5tw6xksgcwjq5/wish/2266208903 6.O que é Falácia? wolney_dorta https://padlet.com/wolney_dorta/21w5tw6xksgcwjq5/wish/2266215799 Falácia são argumentos que logicamente estão incorretos.
Uma inferência inválida é chamada falácia.
As falácias são construídas por raciocínios aparentemente corretos que levam à falsas conclusões.
]]> 2022-08-20 17:23:03 UTC https://padlet.com/wolney_dorta/21w5tw6xksgcwjq5/wish/2266215799