Lógica computacional by Érica Santos https://padlet.com/ericagsg/ericasantos Analise e Desenvolvimento de Sistemas en-us 2022-02-08 00:19:11 UTC 2022-08-09 15:11:29 UTC hello@padlet.com https://padlet.net/icons/png/1f43a.png Lógica Computacional ericagsg https://padlet.com/ericagsg/ericasantos/wish/2253115886 2022-08-02 01:41:29 UTC https://padlet.com/ericagsg/ericasantos/wish/2253115886 O que é lógica? ericagsg https://padlet.com/ericagsg/ericasantos/wish/2257031183 "Lógica é uma parte da filosofia que estuda o fundamento, a estrutura e as expressões humanas do conhecimento.
A lógica foi criada por Aristóteles no século IV a.C. para estudar o pensamento humano e distinguir interferências e argumentos certos e errados."
https://slideplayer.com.br/slide/9527417/
]]> 2022-08-09 00:33:15 UTC https://padlet.com/ericagsg/ericasantos/wish/2257031183 O que é Proposição? ericagsg https://padlet.com/ericagsg/ericasantos/wish/2257034560 A filosofia sustenta que a proposição é um produto lógico que surge do próprio ato de enunciação que afirma ou nega algo. Em certas ocasiões, essa proposição pode ser equivalente a uma oração enunciativa, uma vez que carrega um único valor.

Um exemplo de proposição lógica poderia dizer que “Maria agora tem um coelho de estimação” e dizer que “Maria agora tem como animal de estimação um bichinho orelhudo branco que gosta de comer cenoura”, pois “bichinho orelhudo branco que gosta de comer cenoura” é a descrição de um coelho.

O que quer dizer que as duas sentenças acima são diferentes, contudo elas querem dizer a mesma coisa. Ou seja, elas expressam uma mesma proposição.
]]> 2022-08-09 00:39:59 UTC https://padlet.com/ericagsg/ericasantos/wish/2257034560 O que são Premissas? ericagsg https://padlet.com/ericagsg/ericasantos/wish/2257038024 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-09 00:45:58 UTC https://padlet.com/ericagsg/ericasantos/wish/2257038024 O que são Argumentos? ericagsg https://padlet.com/ericagsg/ericasantos/wish/2257040302 Um argumento é um conjunto de afirmações conectadas das quais pelo menos uma (a premissa) pretende oferecer razões para mostrar  que a outra (a conclusão) é verdadeira. Assim, para termos um argumento precisamos de premissas e conclusões.

Vamos ver o que isso quer dizer analisando vários exemplos de argumentos.

No dia a dia, não é incomum pensar que um argumento com uma briga verbal, comandos, avisos, sugestões, crenças e opiniões. Mas estritamente falando, tudo isso não é argumento. Ao contrário. Se um argumento é uma tentativa racional de convencer as pessoas, então uma briga é justamente o oposto, já que usa a agressão para convencer as pessoas.

]]> 2022-08-09 00:50:15 UTC https://padlet.com/ericagsg/ericasantos/wish/2257040302 O que é Silogismo? ericagsg https://padlet.com/ericagsg/ericasantos/wish/2257041908 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.]]> 2022-08-09 00:53:10 UTC https://padlet.com/ericagsg/ericasantos/wish/2257041908 O que é Falácia? ericagsg https://padlet.com/ericagsg/ericasantos/wish/2257043959 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.]]> 2022-08-09 00:56:43 UTC https://padlet.com/ericagsg/ericasantos/wish/2257043959 O que é inferência? Quais os tipos? ericagsg https://padlet.com/ericagsg/ericasantos/wish/2257045896 Inferência é a ação e o efeito de inferir (deduzir algo, tirar uma conclusão de outra coisa, conduzir a um resultado). A inferência surge a partir de uma avaliação mental entre distintas expressões que, ao serem relacionadas como abstrações, permitem traçar uma implicação lógica.

Inferência textual
Inferência textual está relacionada à compreensão da leitura. Significa interpretar os elementos que estão explícitos e implícitos no texto, analisando em conjunto tudo que foi escrito e compreendendo a ideia central do texto. A inferência textual pode requerer algum conhecimento prévio sobre o tema da leitura.

Inferência estatística
A inferência estatística obtém conclusões a partir de dados de amostra coletados. Estes dados são utilizados como base para se concluir sobre uma determinada situação ou hipótese. É o que acontece, por exemplo, com a coleta de dados feita no censo demográfico.

]]> 2022-08-09 01:00:11 UTC https://padlet.com/ericagsg/ericasantos/wish/2257045896 Partes da Lógica Computacional ericagsg https://padlet.com/ericagsg/ericasantos/wish/2257051205 Em lógica, pode-se distinguir três tipos de raciocínio lógico: dedução, indução e abdução.

Em lógica, pode-se distinguir três tipos de raciocínio lógico: dedução, indução e abdução. Dada uma premissa, uma conclusão, e uma regra segundo a qual a premissa implica a conclusão, eles podem ser explicados da seguinte forma:

  • Dedução corresponde a determinar a conclusão. Utiliza-se da regra e sua premissa para chegar a uma conclusão. Exemplo: "Quando chove, a grama fica molhada. Choveu hoje. Portanto, a grama está molhada." É comum associar os matemáticos com este tipo de raciocínio.
  • Indução é determinar a regra. É aprender a regra a partir de diversos exemplos de como a conclusão segue da premissa. Exemplo: "A grama ficou molhada todas as vezes em que choveu. Então, se chover amanhã, a grama ficará molhada." É comum associar os cientistas com este estilo de raciocínio.
  • Abdução significa determinar a premissa. Usa-se a conclusão e a regra para defender que a premissa poderia explicar a conclusão. Exemplo: "Quando chove, a grama fica molhada. A grama está molhada, então pode ter chovido." Associa-se este tipo de raciocínio aos diagnosticistas e detetives.


]]> 2022-08-09 01:09:55 UTC https://padlet.com/ericagsg/ericasantos/wish/2257051205 ericagsg https://padlet.com/ericagsg/ericasantos/wish/2257051345 2022-08-09 01:10:14 UTC https://padlet.com/ericagsg/ericasantos/wish/2257051345