Lógica Computacional - Unopar by Pedro Henrique https://padlet.com/pedrohenriquesuassuna/vbhw70squ8kkdudm en-us 2022-08-20 19:43:06 UTC 2025-11-11 00:36:15 UTC hello@padlet.com A palavra lógica pode denotar tanto um conjunto de regras racionais para a obtenção de um conhecimento quanto a área da filosofia que estuda a validade formal das proposições linguísticas e matemáticas. pedrohenriquesuassuna https://padlet.com/pedrohenriquesuassuna/vbhw70squ8kkdudm/wish/2266709001 2022-08-21 22:14:23 UTC https://padlet.com/pedrohenriquesuassuna/vbhw70squ8kkdudm/wish/2266709001 Proposição é um termo usado em lógica para descrever o conteúdo de asserções. Uma asserção é um conteúdo que pode ser tomado como verdade é altamente controversa entre filósofos, muitos dos quais são céticos sobre a existência de proposições. pedrohenriquesuassuna https://padlet.com/pedrohenriquesuassuna/vbhw70squ8kkdudm/wish/2266709861 2022-08-21 22:17:38 UTC https://padlet.com/pedrohenriquesuassuna/vbhw70squ8kkdudm/wish/2266709861 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. pedrohenriquesuassuna https://padlet.com/pedrohenriquesuassuna/vbhw70squ8kkdudm/wish/2266709958 2022-08-21 22:17:57 UTC https://padlet.com/pedrohenriquesuassuna/vbhw70squ8kkdudm/wish/2266709958 Na lógica e na filosofia um argumento é um conjunto de uma ou mais sentenças declarativas, também conhecidas como proposições, ou ainda, premissas, acompanhadas de uma outra frase declarativa conhecida como conclusão. pedrohenriquesuassuna https://padlet.com/pedrohenriquesuassuna/vbhw70squ8kkdudm/wish/2266710087 2022-08-21 22:18:22 UTC https://padlet.com/pedrohenriquesuassuna/vbhw70squ8kkdudm/wish/2266710087 Um silogismo é um termo filosófico com o qual Aristóteles designou a conclusão deduzida de premissas, a argumentação lógica perfeita. Na forma clássica é um 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 pedrohenriquesuassuna https://padlet.com/pedrohenriquesuassuna/vbhw70squ8kkdudm/wish/2266710146 2022-08-21 22:18:36 UTC https://padlet.com/pedrohenriquesuassuna/vbhw70squ8kkdudm/wish/2266710146 O termo falácia deriva 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. pedrohenriquesuassuna https://padlet.com/pedrohenriquesuassuna/vbhw70squ8kkdudm/wish/2266710202 2022-08-21 22:18:49 UTC https://padlet.com/pedrohenriquesuassuna/vbhw70squ8kkdudm/wish/2266710202 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. pedrohenriquesuassuna https://padlet.com/pedrohenriquesuassuna/vbhw70squ8kkdudm/wish/2266710474 2022-08-21 22:19:44 UTC https://padlet.com/pedrohenriquesuassuna/vbhw70squ8kkdudm/wish/2266710474 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. pedrohenriquesuassuna https://padlet.com/pedrohenriquesuassuna/vbhw70squ8kkdudm/wish/2266711143 2022-08-21 22:21:55 UTC https://padlet.com/pedrohenriquesuassuna/vbhw70squ8kkdudm/wish/2266711143 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. pedrohenriquesuassuna https://padlet.com/pedrohenriquesuassuna/vbhw70squ8kkdudm/wish/2266711167 2022-08-21 22:22:03 UTC https://padlet.com/pedrohenriquesuassuna/vbhw70squ8kkdudm/wish/2266711167