Lógica Computacional

Começar. É Gratuito
ou inscrever-se com seu endereço de e-mail
Lógica Computacional por Mind Map: Lógica Computacional

1. Inferência

1.1. Indutiva

1.1.1. é aquela que a parte de premissas particulares para se chegar a uma conclusão geral.

1.2. O QUE É?

1.2.1. É o Processo que permite chegar a conclusões a partir de premissas constituindo a argumentação lógica perfeita.

1.3. Dedutiva

1.3.1. é aquela que parte de premissas gerais para se chegar a uma conclusão particular.

2. Lógica

2.1. É o campo de estudo da filosofia que se dedida a entender as relações linguísticas que tornam uma proposição válida ou inválida no interior de um argumento.

2.2. Os estudos da lógica foram iniciados por Aristóteles, na Grecia Antiga.

2.3. Além de ser usada na tecnologia, para programação. A lógica é fundamental para se formar um argumento, já que utilizamos de linguagem para nos comunicar e esta é organizada.

2.4. Lógica Aristotélica ou Lógica Formal é dividida em 3 princípios:

2.4.1. Princípio da Identidade.

2.4.1.1. A é A.

2.4.2. Princípio da Não Contadição.

2.4.2.1. Nenhuma afirmação pode ser verdadeira e falsa ao mesmo tempo.

2.4.3. Princípio do Terceiro Excluído.

2.4.3.1. Algo é ou não é e não há terceira possibilidade.

3. Proposição

3.1. Frase declarativa que pode ser verdadeira ou falsa

4. Premissas

4.1. Proposições que são utilizadas como base para um raciocínio.

5. Argumentos

5.1. Conjunto de enunciados que se relacionam uns com os outros.

6. Silogismos

6.1. Consiste em um raciocínio dedutivo(premissas) e possibilita a dedução de uma conclusão a partir das premissas.

7. Falácia

7.1. Consiste em argumentos que logicamente estão incorretos.