Introdução à Lógica Matemática
🧠 introdução à lógica matemática · pensar com rigor
A lógica matemática (ou lógica simbólica) é o ramo da matemática que formaliza o raciocínio e a demonstração. Seu desenvolvimento moderno deve-se em grande parte ao matemático inglês George Boole (1815–1864), que criou a Álgebra Booleana, onde valores lógicos (verdadeiro/falso) são tratados como 0 e 1 e operações lógicas como operações algébricas. Hoje, a lógica é base para a computação, a filosofia e a própria matemática.
📌 proposições
Uma proposição é uma sentença declarativa que pode ser classificada como verdadeira (V) ou falsa (F), respeitando dois princípios fundamentais:
- Princípio do terceiro excluído: uma proposição ou é verdadeira, ou é falsa; não há terceira possibilidade.
- Princípio da não contradição: uma proposição não pode ser simultaneamente verdadeira e falsa.
Usamos letras minúsculas (\(p, q, r, \dots\)) para representar proposições. Os valores lógicos também podem ser representados por 1 (V) e 0 (F).
📋 exemplos de proposições
- \(p\): "A soma dos ângulos internos de um triângulo é 180°" (V)
- \(q\): "3 + 5 = 2" (F)
- \(r\): "7 + 5 = 12" (V)
- \(s\): "A soma dos ângulos internos de um polígono de \(n\) lados é \((n-2)\times180°\)" (V)
- \(t\): "O Sol é um planeta" (F)
- \(w\): "Um pentágono é um polígono de dez lados" (F)
🔣 símbolos utilizados na lógica matemática
A lógica emprega símbolos para representar operações e relações. Os principais são:
⚙️ operações lógicas (conectivos)
As proposições podem ser combinadas para formar proposições compostas. As principais operações são:
- Conjunção (\(p \land q\)): "p e q" – V somente se ambas forem V.
- Disjunção (\(p \lor q\)): "p ou q" – F somente se ambas forem F.
- Condicional (\(p \rightarrow q\)): "se p então q" – F apenas quando p é V e q é F.
- Bicondicional (\(p \leftrightarrow q\)): "p se e somente se q" – V quando p e q têm o mesmo valor.
A tabela-verdade resume essas combinações:
| \(p\) | \(q\) | \(p \land q\) | \(p \lor q\) | \(p \rightarrow q\) | \(p \leftrightarrow q\) |
|---|---|---|---|---|---|
| V | V | V | V | V | V |
| V | F | F | V | F | F |
| F | V | F | V | V | F |
| F | F | F | F | V | V |
Essa tabela é a base para a análise de qualquer expressão lógica.
🧠 importância e aplicações
A lógica matemática não é apenas uma teoria abstrata: ela fundamenta:
- Os circuitos digitais e a arquitetura de computadores (portas lógicas AND, OR, NOT).
- As linguagens de programação e a verificação de programas.
- A inteligência artificial (sistemas baseados em regras, provadores de teoremas).
- A própria matemática, ao estabelecer as bases da teoria dos conjuntos e da demonstração formal.
Comentários
Postar um comentário