https://padlet.com/ogretter/logicacomputacional Análise e desenvolvimento de Sistemas en-us 2022-08-22 11:41:35 UTC 2022-08-22 12:23:59 UTC hello@padlet.com https://padlet.net/icons/png/1f4bb.png ogretter https://padlet.com/ogretter/logicacomputacional/wish/2267313266 A lógica é um campo de estudo da Filosofia que se dedica a entender as relações linguísticas que tornam uma proposição válida ou inválida no interior de um argumento.
A partir dos conhecimentos tidos como verdadeiros, caberia à lógica de programação a formulação de leis gerais de encadeamentos lógicos que levariam à descoberta de novas verdades. Essa forma de encadeamento é chamada, em Lógica de Programação, de Argumento.]]> 2022-08-22 12:05:25 UTC https://padlet.com/ogretter/logicacomputacional/wish/2267313266 ogretter https://padlet.com/ogretter/logicacomputacional/wish/2267315093 Proposição são orações, falas, frases ou situações que dentro de uma diversidade de ideias podem ter dois sentidos lógicos: verdadeiro e falso.]]> 2022-08-22 12:07:36 UTC https://padlet.com/ogretter/logicacomputacional/wish/2267315093 ogretter https://padlet.com/ogretter/logicacomputacional/wish/2267315963 Premissa é uma base hipotética verdadeira para uma determinada linha de raciocínio que pode levar a uma conclusão.]]> 2022-08-22 12:08:54 UTC https://padlet.com/ogretter/logicacomputacional/wish/2267315963 ogretter https://padlet.com/ogretter/logicacomputacional/wish/2267317850 Ato de comprovar alguma afirmação ou de se chegar a alguma conclusão. Geralmente inicia-se com uma premissa seguida de pequenos testes comprovando cada parte da afirmação.]]> 2022-08-22 12:11:18 UTC https://padlet.com/ogretter/logicacomputacional/wish/2267317850 ogretter https://padlet.com/ogretter/logicacomputacional/wish/2267319653 Silogismo é o modelo de raciocínio na qual os argumentos são baseados nas deduções logicas, geralmente elas carregam duas premissas que geram uma conclusão.]]> 2022-08-22 12:13:25 UTC https://padlet.com/ogretter/logicacomputacional/wish/2267319653 ogretter https://padlet.com/ogretter/logicacomputacional/wish/2267320750 Falácia é um raciocínio ou argumento de aparência correta, porém, apresenta algum erro ou falha em sua estrutura, sendo assim, invalido, sem base ou fundamento, enganoso ou sem eficácia.]]> 2022-08-22 12:14:54 UTC https://padlet.com/ogretter/logicacomputacional/wish/2267320750 ogretter https://padlet.com/ogretter/logicacomputacional/wish/2267321726 Inferência é uma dedução feita com base em informações ou um raciocínio que usa dados disponíveis para se chegar a uma conclusão. A inferência, como veremos a seguir, pode ser de dois tipos: indutiva e dedutiva. Uma inferência inválida é chamada falácia.]]> 2022-08-22 12:16:20 UTC https://padlet.com/ogretter/logicacomputacional/wish/2267321726