https://padlet.com/silvad680/4bfcl0vunstgxpxg Como a lógica funciona e como podemos trabalhar com ela em nosso cotidiano. en-us 2021-08-15 21:36:41 UTC 2021-08-19 20:08:19 UTC hello@padlet.com https://padlet.net/icons/png/1f468-1f4bb.png silvad680 https://padlet.com/silvad680/4bfcl0vunstgxpxg/wish/1686389602 A lógica computacional é a linguagem por trás das funções de um computador. Ela usa elementos da lógica tradicional e da computação para criar comandos e desenvolver softwares ou algoritmos. Nesse sentido, é preciso seguir um raciocínio organizado e complexo, o qual faz parte do pensamento computacional. Este, por sua vez, envolve os recursos necessários para encontrar soluções a partir da tecnologia.]]> 2021-08-19 16:57:18 UTC https://padlet.com/silvad680/4bfcl0vunstgxpxg/wish/1686389602 silvad680 https://padlet.com/silvad680/4bfcl0vunstgxpxg/wish/1686424644  A lógica formal trata da relação entre as premissas e conclusão, deixando de importar-se com a verdade das premissas. À ela, interessa dar as regras do pensamento correto. Ela é um instrumento que vai permitir o caminhar rigoroso do filósofo ou do cientista. A correção ou incorreção lógica de um argumento só depende da relação entre premissas e conclusão, e independe da verdade das premissas. Nesse sentido, a lógica formal pressupõe que as premissas são verdadeiras. O que a lógica formal pode fazer é determinar se as premissas dadas sustentam a conclusão. São essas regras que vamos apresentar. 
 Argumento: é uma coleção de enunciados que estão relacionados uns com os outros. Termo: qualquer substantivo, adjetivo ou nome próprio de um enunciado. Proposição: é um enunciado, uma proposição bem formada, declarativa. • proposições categóricas: é aquela composta apenas por sujeito, verbo de ligação e predicado. Elas podem se dividir em relação à quantidade e em relação à qualidade. • Divisão em relação à quantidade: Proposições categóricas universais: Todos os x são y. Proposições categóricas particulares: Alguns x são y. • Divisão em relação à qualidade: Proposição categórica afirmativa: Todos os x são y. Proposição categórica negativa: Nenhum x é y. Alguns x não são y. Particular: conceito que se refere a alguns indivíduos de uma espécie. Lembre-se de que a própria palavra particular supõe um todo do qual se considera só uma parte. Exemplos: alguns homens, várias pessoas, muitos cães. Geral: conceito que se refere à totalidade de indivíduos de uma espécie; que é atribuível a todos os componentes de um grupo, espécie ou gênero. Quando usamos os conceitos “homem”, “pessoa”, “cão”, nos referimos a todos os homens, todas as pessoas, todos os cães. Silogismo: é um raciocínio que, a partir de duas proposições que são aceitas como verdadeiras, leva, de maneira necessária, a uma conclusão. Ex.: Os jovens de idade entre 16 e 18 anos podem votar para presidente este ano. Você é um jovem de 17 anos. Logo, você pode votar para presidente este ano.  Premissas: são as proposições do silogismo das quais decorre a conclusão. Falácia ou sofisma: argumentos logicamente incorretos. ]]> 2021-08-19 17:17:57 UTC https://padlet.com/silvad680/4bfcl0vunstgxpxg/wish/1686424644 silvad680 https://padlet.com/silvad680/4bfcl0vunstgxpxg/wish/1686435164 A lógica é um campo multidisciplinar, pois envolve matemática, computação e até mesmo filosofia. Por essa razão, mergulhar nessa área vai ajudar as pessoas a conhecerem assuntos sob diferentes pontos de vista e perspectivas. Isso será ainda mais útil para que eles expandam a visão e resolvam seus problemas de forma mais eficiente.]]> 2021-08-19 17:24:14 UTC https://padlet.com/silvad680/4bfcl0vunstgxpxg/wish/1686435164 silvad680 https://padlet.com/silvad680/4bfcl0vunstgxpxg/wish/1686659685  A dedução é uma inferência que vai dos princípios para uma conseqüência logicamente necessária. É chamada por Aristóteles de silogismo. A dedução é um raciocínio que parte de uma proposição geral e conclui outra proposição geral ou particular. 
 1. Se todas as premissas são verdadeiras, a conclusão deve ser verdadeira. 

 A indução é uma argumentação que a partir de dados singulares suficientemente enumerados inferimos uma verdade universal. A indução parte do particular para o geral. Por isso, não se pode dizer que a conclusão do argumento é uma verdade. 
 1. Se todas as premissas são verdadeiras, a conclusão não é necessariamente verdadeira. ]]> 2021-08-19 20:05:53 UTC https://padlet.com/silvad680/4bfcl0vunstgxpxg/wish/1686659685