A LÓGICA COMPUTACIONAL

LÓGICA COMPUTACIONAL

FUNDAMENTOS DE LÓGICA - UNIDADE 01

Visto que a forma mais Complexa do Pensamento é o Raciocínio muitos afirmam a Lógica estuda a Correção do Raciocínio. Podemos dizer que existem Dois tipos de Lógica a Lógica Formal e a Lógica Transcendental.

LÓGICA FORMAL

A Lógica Formal trabalha com as Relações entre Premissas e Conclusões Independentemente se esssa Premissa é Verdadeira ou Falsa. Para se entender a Lógica Formal é importante saber que uma Proposição é um Pensamento em forma de Frase Declarativa e essa proposição pode ser Verdadeira ou Falsa. A análise da Veracidade das Premissas e a análise da Validade dos Argumentos são distintas.

LÓGICA TRANSCENDENTAL

A Lógica Transcendental é uma investigação sobre as Representações e os Conceitos puros em relação aos objetos, enquanto a Lógica Geral se volta para a Forma Lógica do pensamento. O Conhecimento se distingue em Conhecimento Empírico de Conhecimento Puro. O Conhecimento Empírico é relacionado àquilo que se pode obter por meio de nossos Sentidos. O Conhecimento Puro é relativo à representação daquilo que Não se Mescla com os Sentidos que é Puramente Racional.

INFERÊNCIAS

Inferência é o processo que permite chegar a Conclusões baseadas em Premissas para que seja possível desenvolver uma Argumentação Lógica.

INFERÊNCIA DEDUTIVA

Inferência Dedutiva é aquela que parte de Premissas Gerais ou Leis Gerais em busca da obtenção de Verdades Menos Gerais ou Particulares.

EXEMPLO

TODO ANALISTA DE SISTEMAS SABE PROGRAMAR MATHEUS É ANALISTA DE SISTEMAS

LOGO, MATHEUS SABE PROGRAMAR INFERÊNCIA INDUTIVA

Inferência Indutiva é aquela que se preocupa com Argumentos para formar Conclusões Gerais com base em Casos Particulares.

Na Lógica Indutiva um Único Contraexemplo pode Invalidar o Raciocínio. EXEMPLO

MATHEUS É ANALISTA DE SISTEMAS E SABE PROGRAMAR PEDRO É ANALISTA DE SISTEMAS E SABE PROGRAMAR JOICE É ANALISTA DE SISTEMAS E SABE PROGRAMAR LOGO, TODO ANALISTA DE SISTEMAS SABE PROGRAMAR

FALÁCIAS

Uma Inferência Inválida é chamada Falácia.

EVOLUÇÃO DA LÓGICA

PERÍODO ÁRISTOTÉLICO

Quando discorremos sobre o Período Aristotélico, estamos nos referindo à chamada Lógica Clássica.

PRINCÍPIOS CLÁSSICOS

PRINCÍPIO DA IDENTIDADE

O Princípio Da Identidade estabelece que Todo Objeto é Idêntico a Ele Mesmo.

PRINCÍPIO DA NÃO CONTRADIÇÃO

O Princípio Da Não Contradição estabelece que uma Proposição Não Pode Ser Verdadeira e Falsa ao Mesmo Tempo. Se a Primeira Proposição é Verdadeira, a Segunda necessariamente é Falsa.

PRINCÍPIO DO TERCEIRO EXCLUÍDO

O Princípio Do Terceiro Excluído estabelece que toda Proposição é Verdadeira ou Falsa. Não Existe uma Terceira opção.

PERÍODO BOOLEANO

Com o advento do Iluminismo a Lógica ressurgiu no pensamento para se estabelecer como uma Ferramenta Essencial Da Razão. Nesse contexto temos o desenvolvimento do chamado Período Booleano.

ÁLGEBRA BOOLEANA

George Boole foi o inventor da Álgebra Booleana, que foi o primeiro sistema totalmente detalhado que trabalha com a Lógica como Cálculo. A Álgebra Booleana se caracteriza por usar apenas os valores 0 e 1 que significam Falso e Verdadeiro respectivamente.

Esses valores por meio das propriedades dos Operadores Lógicos e dos Conjuntos oferecem uma estrutura para se Lidar Com Proposições.

EXEMPLO

A = O BRASIL É UM PAÍS DA AMÉRICA DO SUL (A = 1)

B = PABLO PICASSO É UM GRANDE JOGADOR DE FUTEBOL (B = 0)

Na Álgebra Booleana operação de Adição é associada ao Conectivo (OU) e a de Multiplicação é associada ao Conectivo (E).

EXEMPLO

A + B = 1 + 0 = 1 (VERDADEIRO) A × B = 1 × 0 = 0 (FALSO)

CONECTIVOS

Conectivos correspondem a algumas palavras nas Linguagens Naturais e servem para Conectar Proposições Declarativas.

~ (NEGAÇÃO) (NOT)

∧ (CONJUNÇÃO) (AND)

∨ (DISJUNÇÃO) (OR) EXEMPLO

JOÃO NÃO É GAÚCHO E JAIME NÃO É PAULISTA