A LOGICA COMPUTACIONAL

LOGICA COMPUTACIONAL

FORUM

1. O QUE É LÓGICA?

é a ciência que estuda a estrutura e os princípios relativos à argumentação válida ou não válida.

2. o que é proposição?

consiste em um enunciado ou uma frase declarativa ou um pensamento em forma de frase e pode ser expressa em símbolos. E pode ser falsa ou verdadeira e nunca as duas ao mesmo tempo.

3.o que são premissas?

consistem em proposições que são utilizadas como base para um raciocínio. pode ser verdadeira ou falsa

4. o que sao argumentos?

conjunto de enunciados que se relacionam uns com os outros

5. o que é silogismo?

consiste em um raciocínio dedutivo (premissas) e possibilita a dedução de uma conclusão a partir das premissas. se as premissas sao verdadeiras então é obrigatorio aceitar a conclusao como verdadeira.

6. o que é falacia?

consiste em argumentos que logicamente estão incorretos, (inferência inválida).

________________________________________________________________________________________________________

UNIDADE  1

1. LÓGICA

1. DEFINIÇÃO:

Definição: é a ciência que estuda os argumentos, suas premissas e conclusões, os métodos e princípios que possibilitam a distinção entre argumentos válidos ou não válidos. busca uma harmonia de raciocinio utilizando argumentos para isto, e traz regras para que um raciocinio encadeado corretamente possibilite conclusões verdadeiras.

- desenvolveu-se a partir de Aristóteles. A essência eram os silogismos(certa forma de argumentos válidos.

- a lógica estuda a correção do raciocínio

- simplesmente como uma maneira dos seres humanos raciocinarem ou mesmo como um encadeamento de fatos ou uma organização de técnica ou ciência pura, como, por exemplo, a matemática.

- O estudo da lógica nos permite, portanto, de forma prática, entender como nosso raciocínio lógico é formado, fundamentar nossos argumentos, escrever e registrar de forma organizada, nos comunicar melhor, além de fazer conexões entre diversos assuntos e entender melhor o mundo que está a nossa volta.

- BASE PARA A CONSTRUÇÃO DE ALGORITMOS

- A lógica é o estudo da estrutura e dos princípios relativos ao raciocínio, à estruturação do pensamento, com ênfase na argumentação, que pode ser considerada como válida ou inválida.

- é o estudo da estrutura e dos princípios relativos à argumentação válida, sobretudo da inferência dedutiva e dos métodos de prova e demonstração

1. OBJETIVO:

- nos possibilita, de forma prática,  entender como o raciocínio lógico  é formado, fundamentar os argumentos, escrever e registrar de forma organizada, nos comunicar melhor, além de fazer conexões entre diversos assuntos e entender melhor o mundo a nossa volta.

1. OUTRAS DEFINIÇÕES:

- Proposição: consiste em um enunciado, uma frase declarativa, um pensamento em forma de frase. pode ser expressa em simbolos. TEM 2 VAORES LOGICOS: verdadeiro ou falso. FRASES COM INTERROGAÇÃO OU EXCLAMAÇÃO NAO SAO PROPOSIÇÕES

Proposição é uma sentença declarativa que pode ser classificada como verdadeira ou falsa, jamais ambas ao mesmo tempo

As proposições (premissas) são usadas para sustentar uma conclusão em um argumento.

As proposições podem ser classificadas como simples ou compostas.

- Premissas: consistem em proposições que são utilizadas como base para um raciocínio. pode ser verdadeira ou falsa.

- Argumento: conjunto de enunciados que se relacionam uns com os outros

- Silogismo: consiste em um raciocínio dedutivo (premissas) e possibilita a dedução de uma conclusão a partir das premissas. Silogismo nada mais é do que um argumento constituído de proposições das quais se infere (extrai) uma conclusão. não se trata de conferir verdade ou falsidade a uma proposição, nem a conclusão , mas observar a forma como foi construido. As premissas e conclusões se encaixam de tal forma que, uma vez que você aceita as premissas como verdadeiras, fica obrigado a aceitar que a conclusão também o é, independentemente do teor do real argumento que está sendo construído

- Falácia: consiste em argumentos que logicamente estão incorretos, (inferência inválida)

- Inferência é o processo que permite chegar a uma conclusao a partir de premissas, constituindo a argumentação lógica perfeita

1. TIPOS DE LÓGICA:

A) formal ou simbolica:analisa e representa  a forma de qualquer  argumento para que possa ser considerado válido.

- relação entre premissas e conclusão, independente se a premissa é verdadeira ou não.

- não permite verificar se uma proposição é verdadeira ou falsa, apenas garante que com base em premissas verdadeiras, chega-se a conclusões verdadeiras.

- busca uma harmonia de raciocínio utilizando-se de argumentos para se desenvolver um raciocínio, bem como traz regras a fim de que um raciocínio encadeado corretamente possibilite conclusões verdadeiras.

permite que as premissãs e sua relações sejam representas por simbolos matematicos, construindo equações para expressar argumentos. LINGUAGEM PRECISA QUE NAO DA MARGEM A DUPLAS INTERPRETAÇÕES.

- originou a logica utilizada em computadores.

análise da veracidade das premissas e a análise da validade dos argumentos são distintas.

PARADOXOS: Quando a partir de argumentos válidos e verdadeiros obtemos conclusões falsas, temos erros de raciocínio. é um tipo de pensamento ou argumento que, apesar de aparentemente correto, apresenta uma conclusão ou consequência contraditória, ou em oposição a determinadas verdades aceitas

Paradoxo é um tipo de pensamento ou argumento que, apesar de aparentemente correto, apresenta uma

conclusão ou consequência contraditória, ou em oposição a determinadas verdades aceitas

TIPOS DE ERROS: FORMAL E MATERIAL