Lógica Computacional by Guilherme Medeiros https://padlet.com/guimedeiros00/qg1jrjwn5juuu0ja Mural sobre lógica computacional e suas definições fundamentais en-us 2022-08-03 15:11:01 UTC 2022-08-03 15:22:36 UTC hello@padlet.com O que é lógica? guimedeiros00 https://padlet.com/guimedeiros00/qg1jrjwn5juuu0ja/wish/2254222866 Lógica tem dois significados principais: 
- Discute o uso de raciocínio em alguma atividade 
- Estudo normativo, filosófico do raciocínio válido. 

No segundo sentido, a lógica é discutida principalmente nas disciplinas de filosofia, matemática e ciência da computação.]]> 2022-08-03 15:14:23 UTC https://padlet.com/guimedeiros00/qg1jrjwn5juuu0ja/wish/2254222866 O que é Proposição? guimedeiros00 https://padlet.com/guimedeiros00/qg1jrjwn5juuu0ja/wish/2254224066 Termo que menciona o processo e o resultado de propor. Este verbo, no que lhe diz respeito, está relacionado com a realização de uma proposta ou a expressão de algo para que outras pessoas tomem conhecimento de uma intenção.]]> 2022-08-03 15:16:14 UTC https://padlet.com/guimedeiros00/qg1jrjwn5juuu0ja/wish/2254224066 O que são Premissas? guimedeiros00 https://padlet.com/guimedeiros00/qg1jrjwn5juuu0ja/wish/2254224397 Em Lógica, uma premissa é uma fórmula considerada hipoteticamente verdadeira, dentro de uma dada inferência. 

Esta constitui-se de duas partes: 
uma coleção de premissas, e uma conclusão.]]> 2022-08-03 15:16:49 UTC https://padlet.com/guimedeiros00/qg1jrjwn5juuu0ja/wish/2254224397 O que são Argumentos? guimedeiros00 https://padlet.com/guimedeiros00/qg1jrjwn5juuu0ja/wish/2254224741 Afirmação acompanhada de justificativa ou como uma justaposição de duas afirmações opostas, argumento e contra-argumento.]]> 2022-08-03 15:17:28 UTC https://padlet.com/guimedeiros00/qg1jrjwn5juuu0ja/wish/2254224741 O que é Silogismo? guimedeiros00 https://padlet.com/guimedeiros00/qg1jrjwn5juuu0ja/wish/2254225181 Argumento dedutivo constituído de três proposições declarativas que se conectam de tal modo que, a partir das duas primeiras, é possível deduzir uma conclusão.]]> 2022-08-03 15:18:15 UTC https://padlet.com/guimedeiros00/qg1jrjwn5juuu0ja/wish/2254225181 O que é Falácia? guimedeiros00 https://padlet.com/guimedeiros00/qg1jrjwn5juuu0ja/wish/2254225474 Derivado do verbo latino fallere, que significa enganar. Designa-se por falácia um raciocínio errado com aparência de verdadeiro. Na lógica e na retórica, uma falácia é um argumento logicamente incoerente, sem fundamento, inválido ou falho na tentativa de provar eficazmente o que alega.]]> 2022-08-03 15:18:46 UTC https://padlet.com/guimedeiros00/qg1jrjwn5juuu0ja/wish/2254225474 O que é inferência? guimedeiros00 https://padlet.com/guimedeiros00/qg1jrjwn5juuu0ja/wish/2254226011 Designa-se por inferência a operação mental pela qual obtemos de uma ou mais proposições outra ou outras que nela(s) estava(m) já implicitamente contida(s).

As inferências podem ser divididas em dois tipos: imediatas e mediatas.]]> 2022-08-03 15:19:38 UTC https://padlet.com/guimedeiros00/qg1jrjwn5juuu0ja/wish/2254226011 Inferência imediata guimedeiros00 https://padlet.com/guimedeiros00/qg1jrjwn5juuu0ja/wish/2254226754  A inferência imediata consiste em extrair de uma só proposição outra proposição, à qual se atribui o valor de verdade ou falsidade]]> 2022-08-03 15:20:52 UTC https://padlet.com/guimedeiros00/qg1jrjwn5juuu0ja/wish/2254226754 Inferência mediata guimedeiros00 https://padlet.com/guimedeiros00/qg1jrjwn5juuu0ja/wish/2254227005 A inferência mediata consiste numa conclusão obtida a partir de duas ou mais proposições]]> 2022-08-03 15:21:16 UTC https://padlet.com/guimedeiros00/qg1jrjwn5juuu0ja/wish/2254227005