Lógica Computacional by Eunice Antoni https://padlet.com/euniceantoniuti/jtnrik7oqr2veqog Fórum: Vamos reforçar algumas definições fundamentais: 1.O que é lógica? 2.O que é Proposição? 3.O que são Premissas? 4.O que são Argumentos? 5.O que é Silogismo? 6.O que é Falácia? 7.O que é inferência? Quais os tipos? en-us 2022-08-02 12:16:04 UTC 2026-03-16 07:08:28 UTC hello@padlet.com O que é lógica computacional? euniceantoniuti https://padlet.com/euniceantoniuti/jtnrik7oqr2veqog/wish/2253417134 A lógica computacional pode ser entendida como a relação entre a lógica formal, mais tradicional, e a computação. Trata-se de um modo de pensar e estruturar ideias para escrever um software ou um algoritmo.

A lógica formal estuda como provar a veracidade de algum argumento e as relações entre diferentes ideias, ao passo que a computacional estuda como organizar instruções e criar um raciocínio baseado em pequenas etapas para chegar a uma solução

]]> 2022-08-02 12:24:39 UTC https://padlet.com/euniceantoniuti/jtnrik7oqr2veqog/wish/2253417134 O que é Lógica? euniceantoniuti https://padlet.com/euniceantoniuti/jtnrik7oqr2veqog/wish/2253417666 Lógica tem dois significados principais: discute o uso de raciocínio em alguma atividade e é o estudo normativo, filosófico do raciocínio válido.]]> 2022-08-02 12:25:52 UTC https://padlet.com/euniceantoniuti/jtnrik7oqr2veqog/wish/2253417666 O que é Proposição euniceantoniuti https://padlet.com/euniceantoniuti/jtnrik7oqr2veqog/wish/2253418535 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.]]> 2022-08-02 12:28:17 UTC https://padlet.com/euniceantoniuti/jtnrik7oqr2veqog/wish/2253418535 Proposição euniceantoniuti https://padlet.com/euniceantoniuti/jtnrik7oqr2veqog/wish/2253418896 Proposição: É uma sentença declarativa, seja ela expressa de forma afirmativa ou negativa, na qual podemos atribuir um valor lógico “V” (verdadeiro) ou “F”(falso). Uma proposição também pode ser expressa por símbolos.]]> 2022-08-02 12:29:24 UTC https://padlet.com/euniceantoniuti/jtnrik7oqr2veqog/wish/2253418896 Premissa euniceantoniuti https://padlet.com/euniceantoniuti/jtnrik7oqr2veqog/wish/2253419542 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-02 12:31:12 UTC https://padlet.com/euniceantoniuti/jtnrik7oqr2veqog/wish/2253419542 Premissa na lógica euniceantoniuti https://padlet.com/euniceantoniuti/jtnrik7oqr2veqog/wish/2253419918
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. As frases que apresentam uma premissa são referidas como verdadeiras ou falsas (válidas ou inválidas), portanto, devem ser portadoras da verdade.

]]> 2022-08-02 12:32:08 UTC https://padlet.com/euniceantoniuti/jtnrik7oqr2veqog/wish/2253419918 Argumento euniceantoniuti https://padlet.com/euniceantoniuti/jtnrik7oqr2veqog/wish/2253420240 Um argumento pode ser definido como uma afirmação acompanhada de justificativa ou como uma justaposição de duas afirmações opostas, argumento e contra-argumento.]]> 2022-08-02 12:32:59 UTC https://padlet.com/euniceantoniuti/jtnrik7oqr2veqog/wish/2253420240 O argumento euniceantoniuti https://padlet.com/euniceantoniuti/jtnrik7oqr2veqog/wish/2253421808 O argumento é a expressão, seja oral ou escrita, de um raciocínio. Permite justificar algo como sendo uma ação razoável com duas finalidades possíveis: persuadir outro sujeito (para promover uma determinada ação) ou transmitir um conteúdo com sentido de verdade (fomentando o entendimento).
Para a lógica, um argumento é um conjunto de premissas seguidas de uma conclusão. Quando esta conclusão resulta necessariamente das premissas, trata-se de um argumento dedutivamente válido.]]> 2022-08-02 12:36:59 UTC https://padlet.com/euniceantoniuti/jtnrik7oqr2veqog/wish/2253421808 Silogismo euniceantoniuti https://padlet.com/euniceantoniuti/jtnrik7oqr2veqog/wish/2253422032 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-02 12:37:35 UTC https://padlet.com/euniceantoniuti/jtnrik7oqr2veqog/wish/2253422032 O silogismo euniceantoniuti https://padlet.com/euniceantoniuti/jtnrik7oqr2veqog/wish/2253422780 O silogismo é a estrutura básica de um argumento ou um raciocínio dedutivo, o qual é formado por três proposições que estão interligadas.

Na filosofia, o silogismo é parte integrante da lógica aristotélica e está baseado na dedução. Ou seja, parte de afirmações verdadeiras para uma nova afirmação também verdadeira.

]]> 2022-08-02 12:38:36 UTC https://padlet.com/euniceantoniuti/jtnrik7oqr2veqog/wish/2253422780 Falácia euniceantoniuti https://padlet.com/euniceantoniuti/jtnrik7oqr2veqog/wish/2253423250 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-02 12:39:10 UTC https://padlet.com/euniceantoniuti/jtnrik7oqr2veqog/wish/2253423250 Falácia euniceantoniuti https://padlet.com/euniceantoniuti/jtnrik7oqr2veqog/wish/2253424347 Falácia é um raciocínio que parece lógico e verdadeiro, porém existe alguma falha que o faz ser falso.

As falácias são construídas por raciocínios aparentemente corretos que levam à falsas conclusões. Este tipo de argumento está muito presente nos textos dissertativos.]]> 2022-08-02 12:41:26 UTC https://padlet.com/euniceantoniuti/jtnrik7oqr2veqog/wish/2253424347 Inferência euniceantoniuti https://padlet.com/euniceantoniuti/jtnrik7oqr2veqog/wish/2253424599 Em Lógica, inferência ou ilação é operação intelectual mediante a qual se afirma a verdade de uma proposição em decorrência de sua ligação com outras proposições já reconhecidas como verdadeiras. Consiste, portanto, em derivar conclusões a partir de premissas conhecidas ou decididamente verdadeiras.]]> 2022-08-02 12:42:04 UTC https://padlet.com/euniceantoniuti/jtnrik7oqr2veqog/wish/2253424599 Inferência euniceantoniuti https://padlet.com/euniceantoniuti/jtnrik7oqr2veqog/wish/2253425263 Inferência é uma dedução feita com base em informações ou um raciocínio que usa dados disponíveis para se chegar a uma conclusão.

Inferir é deduzir um resultado, por lógica, com base na interpretação de outras informações. Inferir também pode significar chegar a uma conclusão a partir de outras percepções ou da análise de um ou mais argumentos.

]]> 2022-08-02 12:43:27 UTC https://padlet.com/euniceantoniuti/jtnrik7oqr2veqog/wish/2253425263 Tipos de Inferência euniceantoniuti https://padlet.com/euniceantoniuti/jtnrik7oqr2veqog/wish/2253425471 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-02 12:43:58 UTC https://padlet.com/euniceantoniuti/jtnrik7oqr2veqog/wish/2253425471