Fórum de Lógica Computacional by isabely chequer https://padlet.com/isachequer/56chj6f8o2f9nona en-us 2022-10-07 20:10:54 UTC 2022-10-07 21:09:07 UTC hello@padlet.com O que é lógica computacional? isachequer https://padlet.com/isachequer/56chj6f8o2f9nona/wish/2331488954 A lógica de programação é a organização de um sequência de passos para a resolução de um problema. 

Exemplo: Construído o algoritmo, você pode, então, codificar seu programa de computação em qualquer linguagem]]> 2022-10-07 20:23:42 UTC https://padlet.com/isachequer/56chj6f8o2f9nona/wish/2331488954 O que é Proposição? isachequer https://padlet.com/isachequer/56chj6f8o2f9nona/wish/2331494754 A proposição lógica é um conjunto de palavras ou símbolos que representam um pensamento de sentido completo. 
A proposição deve satisfazer dois princípios fundamentais:
  • Princípio do terceiro excluído: uma proposição só pode ser verdadeira ou falsa, não havendo outra alternativa.
  • Princípio da não contradição: uma proposição não pode ser ao mesmo tempo verdadeira e falsa.
  
]]> 2022-10-07 20:32:41 UTC https://padlet.com/isachequer/56chj6f8o2f9nona/wish/2331494754 O que são Premissas ? isachequer https://padlet.com/isachequer/56chj6f8o2f9nona/wish/2331499093 As premissas são as proposições que justificam a conclusão obtida, são consideradas provas evidentes da verdade da conclusão.]]> 2022-10-07 20:39:46 UTC https://padlet.com/isachequer/56chj6f8o2f9nona/wish/2331499093 O que são Argumentos? isachequer https://padlet.com/isachequer/56chj6f8o2f9nona/wish/2331525756 Um argumento é uma sequência de proposições que são sentenças afirmativas que podem ser verdadeiras ou falsas, onde uma delas é a conclusão e as demais são premissas.]]> 2022-10-07 20:49:35 UTC https://padlet.com/isachequer/56chj6f8o2f9nona/wish/2331525756 O que é Silogismo? isachequer https://padlet.com/isachequer/56chj6f8o2f9nona/wish/2331528070 O silogismo é uma construção de raciocínio dedutivo (premissas) onde os argumentos lógicos seguem uns aos outros possibilitando a dedução de uma conclusão a partir das premissas.


]]> 2022-10-07 20:53:10 UTC https://padlet.com/isachequer/56chj6f8o2f9nona/wish/2331528070 O que é Falácia? isachequer https://padlet.com/isachequer/56chj6f8o2f9nona/wish/2331532299 A falácia consiste em argumentos que logicamente estão incorretos.
"Um argumento baseado em uma falácia não é válido. Se as premissas são verdadeiras e a lógica é válida então a conclusão é válida. Premissas falsas, mesmo com lógica válida, levam a um argumento inválido, ainda que a conclusão esteja correta. Se todas as premissas são verdadeiras e a conclusão obtida é falsa então ocorreu um erro na argumentação, uma falácia lógica." (https://phylos.net/2020-05-06-falacias-logicas/)

]]> 2022-10-07 21:00:18 UTC https://padlet.com/isachequer/56chj6f8o2f9nona/wish/2331532299 O que é inferência? Quais os tipos? isachequer https://padlet.com/isachequer/56chj6f8o2f9nona/wish/2331536360 Inferência é um raciocínio que usa os dados disponíveis para se chegar a uma 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.
(http://www.filorbis.pt/filosofia/Inferencia.htm#:~:text=a)%20A%20infer%C3%AAncia%20imediata%20consiste,de%20duas%20ou%20mais%20proposi%C3%A7%C3%B5es.)
]]> 2022-10-07 21:08:20 UTC https://padlet.com/isachequer/56chj6f8o2f9nona/wish/2331536360