LÓGICA COMPUTACIONAL by Bruno Gustavo https://padlet.com/brf7975/n5csbuduntujfjac en-us 2022-09-19 23:10:37 UTC 2025-11-23 12:07:48 UTC hello@padlet.com 1)LÓGICA COMPUTACIONAL : A lógica computacional é o uso da lógica para realizar ou raciocinar sobre a computação. Ele tem uma relação semelhante com a ciência da computação e a engenharia, assim como a lógica matemática com a matemática e a lógica filosófica com a filosofia. É sinônimo de " lógica na ciência da computação ". brf7975 https://padlet.com/brf7975/n5csbuduntujfjac/wish/2332832212 2022-10-09 23:39:09 UTC https://padlet.com/brf7975/n5csbuduntujfjac/wish/2332832212 2)O QUE É PROPOSIÇÃO brf7975 https://padlet.com/brf7975/n5csbuduntujfjac/wish/2344186276 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. Muitos lógicos preferem evitar o uso do termo proposição em favor de usar sentença.]]> 2022-10-18 00:53:12 UTC https://padlet.com/brf7975/n5csbuduntujfjac/wish/2344186276 3) PREMISSAS brf7975 https://padlet.com/brf7975/n5csbuduntujfjac/wish/2344189484 Premissa em lógica é um conjunto de uma ou mais de uma sentença declarativa que é acompanhada de uma outra frase declarativa que é a conclusão. A verdade da conclusão é uma consequência lógica das premissas que a antecederam. Portanto, as premissas são as proposições que justificam a conclusão obtida.
Toda premissa, pode ser verdadeira ou falsa, bem como a conclusão, não aceitando jamais a ambiguidade. ]]> 2022-10-18 00:55:46 UTC https://padlet.com/brf7975/n5csbuduntujfjac/wish/2344189484 4) O QUE SÃO ARGUMENTOS brf7975 https://padlet.com/brf7975/n5csbuduntujfjac/wish/2344196930
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.
Em um argumento dedutivo (válido) o valor-verdade da conclusão é uma consequência lógica necessária das premissas que a antecedem, ou seja, sendo verdadeiras as premissas segue-se que necessariamente será verdadeira a conclusão.

]]> 2022-10-18 01:01:08 UTC https://padlet.com/brf7975/n5csbuduntujfjac/wish/2344196930 5) SILOGISMO brf7975 https://padlet.com/brf7975/n5csbuduntujfjac/wish/2344210966 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 (duas premissas e uma conclusão) que se conectam de tal modo que, a partir das duas primeiras (as premissas), é possível deduzir uma conclusão. ]]> 2022-10-18 01:10:46 UTC https://padlet.com/brf7975/n5csbuduntujfjac/wish/2344210966 6) FALÁCIA brf7975 https://padlet.com/brf7975/n5csbuduntujfjac/wish/2344219445 A falácia é um tipo de argumento utilizado com a intenção de parecer correto, porém quem opta por esse recurso geralmente omite algumas informações por trás do discurso. Por definição, a falácia se refere a qualquer ideia equivocada ou falsa crença em algo. Como, por exemplo, na frase “nenhum homem presta”. Ora, por mais que muitas pessoas tenham tido experiências negativas com pessoas do sexo masculino, esse argumento não pode ser utilizado para generalizar ou afirmar que todos os homens sempre se comportarão da mesma forma. 
Em sua maioria, a falácia é construída a partir de uma narrativa bastante inconsistente.]]> 2022-10-18 01:16:33 UTC https://padlet.com/brf7975/n5csbuduntujfjac/wish/2344219445 7) INFERÊNCIA brf7975 https://padlet.com/brf7975/n5csbuduntujfjac/wish/2344224077
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.

a) 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.
b) 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.    

]]> 2022-10-18 01:19:50 UTC https://padlet.com/brf7975/n5csbuduntujfjac/wish/2344224077