Lógica Computacional by Eduardo Zaneti https://padlet.com/eduzaneti10/3mejt7869eftmmuy en-us 2021-08-10 00:14:56 UTC 2026-01-30 03:15:25 UTC hello@padlet.com https://padlet.net/icons/png/1f9e0.png Conceito eduzaneti10 https://padlet.com/eduzaneti10/3mejt7869eftmmuy/wish/1673464349  A lógica é a arte de pensar corretamente ou a lógica é um estudo dos modos corretos do pensamento(SOARES, 2014, p. 1). 

 Segundo Forbellone (2005, p. 1), lógica é a “arte de bem pensar”, que é a “ciência das formas do pensamento” 

]]> 2021-08-10 00:28:36 UTC https://padlet.com/eduzaneti10/3mejt7869eftmmuy/wish/1673464349 Proposição eduzaneti10 https://padlet.com/eduzaneti10/3mejt7869eftmmuy/wish/1673464696  Denomina-se proposição a toda frase declarativa, expressa em palavras ou símbolos, que exprima um juízo ao qual se possa atribuir, dentro de certo contexto, somente um de dois valores lógicos possíveis: verdadeiro ou falso. ]]> 2021-08-10 00:29:01 UTC https://padlet.com/eduzaneti10/3mejt7869eftmmuy/wish/1673464696 Definições: eduzaneti10 https://padlet.com/eduzaneti10/3mejt7869eftmmuy/wish/1673465140  A lógica formal começa nos estudos de Aristóteles, na Grécia Antiga. A lógica é dita formal quando analisa e representa a forma de qualquer argumento para que possa ser considerado válido para alguma conclusão. A lógica formal lida com as relações entre premissas e as conclusões que se chegam a partir das premissas, independentemente se a premissa é verdadeira ou falsa (MUNDIM, 2002). ]]> 2021-08-10 00:29:32 UTC https://padlet.com/eduzaneti10/3mejt7869eftmmuy/wish/1673465140 Definições eduzaneti10 https://padlet.com/eduzaneti10/3mejt7869eftmmuy/wish/1673465418   Premissas: consistem em proposições que são utilizadas como base para um raciocínio. Pode-se dizer que são as proposições do silogismo. 
 Argumento: conjunto de enunciados que se relacionam uns com os outros.
  Silogismo: consiste em um raciocínio dedutivo (premissas) e possibilita a dedução de uma conclusão a partir das premissas. 
 Inferência é o processo que permite chegar a conclusões a partir de premissas, constituindo a argumentação lógica perfeita. A inferência, pode ser de dois tipos: indutiva e dedutiva. Uma inferência inválida é chamada falácia. 
 Falácia: consiste em argumentos que logicamente estão incorretos. ]]> 2021-08-10 00:29:54 UTC https://padlet.com/eduzaneti10/3mejt7869eftmmuy/wish/1673465418