Lógica Computacional - TADS 2º SEMESTRE by Arnom Leonam https://padlet.com/arnomleonam/4327dg99i9lwokgx Conceitos e definições referentes à estrutura da lógica computacional. en-us 2021-08-23 13:44:02 UTC 2025-03-20 20:59:02 UTC hello@padlet.com https://padlet.net/icons/png/1f4bb.png (Lógica Computacional: Definição) arnomleonam https://padlet.com/arnomleonam/4327dg99i9lwokgx/wish/1691140916 A lógica computacional é a relação entre a lógica formal e a computação.]]> 2021-08-23 13:47:31 UTC https://padlet.com/arnomleonam/4327dg99i9lwokgx/wish/1691140916 arnomleonam https://padlet.com/arnomleonam/4327dg99i9lwokgx/wish/1691162405 2021-08-23 13:57:32 UTC https://padlet.com/arnomleonam/4327dg99i9lwokgx/wish/1691162405 arnomleonam https://padlet.com/arnomleonam/4327dg99i9lwokgx/wish/1691162874 2021-08-23 13:57:45 UTC https://padlet.com/arnomleonam/4327dg99i9lwokgx/wish/1691162874 (Lógica Computacional: Estrutura) arnomleonam https://padlet.com/arnomleonam/4327dg99i9lwokgx/wish/1691172932 Os principais conceitos da lógica computacional são:]]> 2021-08-23 14:02:29 UTC https://padlet.com/arnomleonam/4327dg99i9lwokgx/wish/1691172932 (Proposições) arnomleonam https://padlet.com/arnomleonam/4327dg99i9lwokgx/wish/1691180227 2021-08-23 14:06:11 UTC https://padlet.com/arnomleonam/4327dg99i9lwokgx/wish/1691180227 (Argumentos) arnomleonam https://padlet.com/arnomleonam/4327dg99i9lwokgx/wish/1691181307 2021-08-23 14:06:45 UTC https://padlet.com/arnomleonam/4327dg99i9lwokgx/wish/1691181307 (Premissas) arnomleonam https://padlet.com/arnomleonam/4327dg99i9lwokgx/wish/1691181813 2021-08-23 14:07:01 UTC https://padlet.com/arnomleonam/4327dg99i9lwokgx/wish/1691181813 (Silogismo) arnomleonam https://padlet.com/arnomleonam/4327dg99i9lwokgx/wish/1691185664 2021-08-23 14:08:30 UTC https://padlet.com/arnomleonam/4327dg99i9lwokgx/wish/1691185664 (Falácia) arnomleonam https://padlet.com/arnomleonam/4327dg99i9lwokgx/wish/1691186144 2021-08-23 14:08:37 UTC https://padlet.com/arnomleonam/4327dg99i9lwokgx/wish/1691186144 Espaço arnomleonam https://padlet.com/arnomleonam/4327dg99i9lwokgx/wish/1691186564 2021-08-23 14:08:49 UTC https://padlet.com/arnomleonam/4327dg99i9lwokgx/wish/1691186564 São afirmações que só podem ser classificadas ou como verdadeiras ou como falsas. arnomleonam https://padlet.com/arnomleonam/4327dg99i9lwokgx/wish/1691188539 2021-08-23 14:09:39 UTC https://padlet.com/arnomleonam/4327dg99i9lwokgx/wish/1691188539 São uma sequência de premissas que levam a uma conclusão. arnomleonam https://padlet.com/arnomleonam/4327dg99i9lwokgx/wish/1691191288 2021-08-23 14:10:59 UTC https://padlet.com/arnomleonam/4327dg99i9lwokgx/wish/1691191288 É uma fórmula considerada hipoteticamente verdadeira, dentro de uma dada inferência. arnomleonam https://padlet.com/arnomleonam/4327dg99i9lwokgx/wish/1691198969 2021-08-23 14:14:35 UTC https://padlet.com/arnomleonam/4327dg99i9lwokgx/wish/1691198969 (Inferência) arnomleonam https://padlet.com/arnomleonam/4327dg99i9lwokgx/wish/1691199924 2021-08-23 14:15:03 UTC https://padlet.com/arnomleonam/4327dg99i9lwokgx/wish/1691199924 É um processo pelo qual, através de determinados dados, chega-se a alguma conclusão. arnomleonam https://padlet.com/arnomleonam/4327dg99i9lwokgx/wish/1691203453 2021-08-23 14:16:44 UTC https://padlet.com/arnomleonam/4327dg99i9lwokgx/wish/1691203453 É um argumento logicamente incoerente, sem fundamento, inválido ou falho na tentativa de provar eficazmente o que alega. arnomleonam https://padlet.com/arnomleonam/4327dg99i9lwokgx/wish/1691206207 2021-08-23 14:18:05 UTC https://padlet.com/arnomleonam/4327dg99i9lwokgx/wish/1691206207 É 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. arnomleonam https://padlet.com/arnomleonam/4327dg99i9lwokgx/wish/1691207618 2021-08-23 14:18:47 UTC https://padlet.com/arnomleonam/4327dg99i9lwokgx/wish/1691207618 (Lógica Computacional: Conectivos) arnomleonam https://padlet.com/arnomleonam/4327dg99i9lwokgx/wish/1691227682 2021-08-23 14:27:19 UTC https://padlet.com/arnomleonam/4327dg99i9lwokgx/wish/1691227682 (Negação): ~ arnomleonam https://padlet.com/arnomleonam/4327dg99i9lwokgx/wish/1691236177 2021-08-23 14:31:13 UTC https://padlet.com/arnomleonam/4327dg99i9lwokgx/wish/1691236177 (Disjunção Inclusiva): ˅ arnomleonam https://padlet.com/arnomleonam/4327dg99i9lwokgx/wish/1691236758 2021-08-23 14:31:30 UTC https://padlet.com/arnomleonam/4327dg99i9lwokgx/wish/1691236758 (Conjunção): ^ arnomleonam https://padlet.com/arnomleonam/4327dg99i9lwokgx/wish/1691237015 2021-08-23 14:31:39 UTC https://padlet.com/arnomleonam/4327dg99i9lwokgx/wish/1691237015 (Condicional): → arnomleonam https://padlet.com/arnomleonam/4327dg99i9lwokgx/wish/1691237344 2021-08-23 14:31:49 UTC https://padlet.com/arnomleonam/4327dg99i9lwokgx/wish/1691237344 (Bicondicional): ↔ arnomleonam https://padlet.com/arnomleonam/4327dg99i9lwokgx/wish/1691237587 2021-08-23 14:31:57 UTC https://padlet.com/arnomleonam/4327dg99i9lwokgx/wish/1691237587 (Disjunção Exclusiva): v arnomleonam https://padlet.com/arnomleonam/4327dg99i9lwokgx/wish/1691247422 2021-08-23 14:36:34 UTC https://padlet.com/arnomleonam/4327dg99i9lwokgx/wish/1691247422 Conclusão lógica verdadeira quando as duas premissas são verdadeiras. arnomleonam https://padlet.com/arnomleonam/4327dg99i9lwokgx/wish/1691256055 2021-08-23 14:40:48 UTC https://padlet.com/arnomleonam/4327dg99i9lwokgx/wish/1691256055 Pelo menos uma das duas premissas devem ser verdadeiras. arnomleonam https://padlet.com/arnomleonam/4327dg99i9lwokgx/wish/1691258148 2021-08-23 14:41:48 UTC https://padlet.com/arnomleonam/4327dg99i9lwokgx/wish/1691258148 O valor lógico verdadeiro somente quando uma das duas premissas é verdadeira. arnomleonam https://padlet.com/arnomleonam/4327dg99i9lwokgx/wish/1691259373 2021-08-23 14:42:24 UTC https://padlet.com/arnomleonam/4327dg99i9lwokgx/wish/1691259373 Retorna um valor lógico falso quando p é verdadeiro e q é falso, se p e q estiverem dispostos na seguinte ordem: p → q (se p então q). arnomleonam https://padlet.com/arnomleonam/4327dg99i9lwokgx/wish/1691261247 2021-08-23 14:43:22 UTC https://padlet.com/arnomleonam/4327dg99i9lwokgx/wish/1691261247 Retorna um valor lógico verdadeiro quando p e q são verdadeiros ou quando p e q forem falsos. arnomleonam https://padlet.com/arnomleonam/4327dg99i9lwokgx/wish/1691263252 2021-08-23 14:44:16 UTC https://padlet.com/arnomleonam/4327dg99i9lwokgx/wish/1691263252 Apresenta valor lógico verdadeiro quando p é falsa e valor lógico falso quando p é verdadeira. arnomleonam https://padlet.com/arnomleonam/4327dg99i9lwokgx/wish/1691264209 2021-08-23 14:44:44 UTC https://padlet.com/arnomleonam/4327dg99i9lwokgx/wish/1691264209