Lógica Computacional by

O que é Lógica?

kherollin — 2022-08-19 21:54:59 UTC

É o estudo dos métodos e princípios usados para distinguir o raciocínio correto do incorreto. Essa ciência abrange vários conceitos, dentre eles a argumentação, a matemática e a informática.
A lógica surge como parte da filosofia, estudando o formato do pensamento. Ela analisa o modo como relacionamos as informações e se concluímos de forma correta. Ela serve como ferramenta para pensar a verdade.

O que é Proposição?

kherollin — 2022-08-19 22:02:59 UTC

É toda oração declarativa que pode ser expressa de forma afirmativa ou negativa, na qual atribuímos um dos valores lógicos verdadeiro (V) ou falso (F), mas nunca para ambas. Também conhecida por sentença fechada.

O que são Premissas?

kherollin — 2022-08-19 22:10:42 UTC

A premissa é utilizada na lógica como parte de uma formulação de ideias verdadeiras que irão auxiliar a compreensão. São os dados iniciais, informações elementares, o conteúdo que utilizamos para formular um pensamento lógico e racional servindo de base para o desenvolvimento de uma conclusão.
As premissas são entendidas como pontos verdadeiros, reconhecidos ou até óbvios sobre o entendimento que está sendo discutido.

O que são Argumentos?

kherollin — 2022-08-19 22:40:21 UTC

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.

O que é Silogismo?

kherollin — 2022-08-19 22:51:06 UTC

A partir de uma totalidade portadora de atributos, tira-se uma verdade que é aplicada a todos os seus componentes, para se afirmar ou negar que a outra parte possui ou não as mesmas características inerentes ao todo.
É constituído de três termos que compõem 3 proposições distintas: uma premissa maior, uma menor e uma conclusão – essencial para estabelecer a relação lógica entre as premissas anteriores

O que é Falácia?

kherollin — 2022-08-19 22:57:46 UTC

No âmbito da lógica, uma falácia consiste no ato de chegar a uma determinada conclusão errada a partir de proposições que são falsas.

O que é Inferência? Quais os tipos?

kherollin — 2022-08-19 23:54:50 UTC

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.

Exemplos:

Todo cachorro é bonito. Marley é um cachorro. Logo, Marley é bonito.
Se X > 5 = P e X < 1 = P, então X > 5 = X < 1.

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.