Lógica Computacional
by Jessica Oliveira
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. Proposição
2.1. Frase declarativa que pode ser verdadeira ou falsa
3. Premissas
3.1. Proposições que são utilizadas como base para um raciocínio.
4. Argumentos
4.1. Conjunto de enunciados que se relacionam uns com os outros.
5. Lógica
5.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.
5.2. Os estudos da lógica foram iniciados por Aristóteles, na Grecia Antiga.
5.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.
5.4. Lógica Aristotélica ou Lógica Formal é dividida em 3 princípios:
5.4.1. Princípio da Identidade.
5.4.1.1. A é A.
5.4.2. Princípio da Não Contadição.
5.4.2.1. Nenhuma afirmação pode ser verdadeira e falsa ao mesmo tempo.
5.4.3. Princípio do Terceiro Excluído.
5.4.3.1. Algo é ou não é e não há terceira possibilidade.