1. Introdução
O cálculo proposicional, ou lógica proposicional, é um ramo fundamental da lógica que se concentra na manipulação e combinação de proposiçõesproposiçãoUm enunciado que é verdadeiro ou falso, mas não ambos.Ler a entrada completa, declarações que podem ser definitivamente declaradas verdadeiras ou falsas. Estabelece as bases para compreender sistemas lógicos mais complexos e encontra aplicações em várias disciplinas.
2. Proposições
Propositions are declarative sentences that assert a fact about the world, which can either be true or false, such as "It is raining".
3. Valores de Verdade: ⊤ e ⊥
Na lógica proposicional, usamos símbolos especiais para representar valores de verdadevalor de verdadeUm dos dois valores que uma proposição pode tomar: verdadeiro ou falso.Ler a entrada completa: ⊤ (topo) representa VERDADEIRO e ⊥ (fundo) representa FALSO. Esses símbolos são padrão na lógica formal e aparecem em tabelas verdade ao longo deste guia.
4. Tabelas de Verdade
Tabelas de verdadetabela de verdadeUma linha por atribuição de valores, com o valor da fórmula em cada uma.Ler a entrada completa são métodos sistemáticos para determinar o valor de verdade de expressões lógicas baseadas nos valores de verdade das suas proposições constituintes, oferecendo uma representação visual clara das operações lógicas. Podem parecer-se com o seguinte:
| p | q | p → q |
|---|---|---|
| ⊥ | ⊥ | ⊤ |
| ⊥ | ⊤ | ⊤ |
| ⊤ | ⊥ | ⊥ |
| ⊤ | ⊤ | ⊤ |
5. Operadores Lógicos
Operadores lógicosconectivo lógicoUm símbolo que constrói uma proposição composta a partir de outras.Ler a entrada completa são símbolos usados para conectar proposições ou alterar os seus valores de verdade, formando a base para construir expressões lógicas complexas. Os operadores primários incluem:
E ∧
Verdadeiro se ambas as proposições que combina são verdadeiras. ∧
| p | q | p ∧ q |
|---|---|---|
| ⊥ | ⊥ | ⊥ |
| ⊥ | ⊤ | ⊥ |
| ⊤ | ⊥ | ⊥ |
| ⊤ | ⊤ | ⊤ |
OU ∨
Verdadeiro se pelo menos uma das proposições combinadas é verdadeira. ∨
| p | q | p ∨ q |
|---|---|---|
| ⊥ | ⊥ | ⊥ |
| ⊥ | ⊤ | ⊤ |
| ⊤ | ⊥ | ⊤ |
| ⊤ | ⊤ | ⊤ |
IMPLICA →
Verdadeiro exceto quando a primeira proposição é verdadeira e a segunda é falsa. →
| p | q | p → q |
|---|---|---|
| ⊥ | ⊥ | ⊤ |
| ⊥ | ⊤ | ⊤ |
| ⊤ | ⊥ | ⊥ |
| ⊤ | ⊤ | ⊤ |
BICONDICIONAL ↔
Verdadeiro se ambas as proposições são igualmente verdadeiras ou falsas. ↔
| p | q | p ↔ q |
|---|---|---|
| ⊥ | ⊥ | ⊤ |
| ⊥ | ⊤ | ⊥ |
| ⊤ | ⊥ | ⊥ |
| ⊤ | ⊤ | ⊤ |
6. Expressões
Expressões são declarações mais complexas formadas ao juntar proposições com operadores lógicos, permitindo a representação de relações lógicas nuanceadas.
7. Equivalências Lógicas
Equivalências lógicas são expressões que mantêm o mesmo valor de verdade sob todas as condições possíveis. Incluem leis fundamentais como a Lei da Identidade, a Lei da Não-ContradiçãocontradiçãoUma fórmula falsa sob qualquer interpretação.Ler a entrada completa, e as leis de De Morganleis de De MorganA negação troca ∧ por ∨ e ∨ por ∧: ¬(p ∧ q) ≡ ¬p ∨ ¬q.Ler a entrada completa.
8. Provas
Provas no cálculo proposicional envolvem demonstrar a verdade de uma proposição baseada em axiomas (verdades assumidas), verdades previamente estabelecidas, e regras de inferênciaregra de inferênciaUm passo autorizado de fórmulas já obtidas para uma nova.Ler a entrada completa. São cruciais para validar argumentosargumentoUm conjunto de premissas apresentadas em apoio de uma conclusão.Ler a entrada completa lógicos e teoremas.
9. Aplicações
O cálculo proposicional não é apenas uma estrutura teórica mas também tem aplicações práticas na ciência da computação para verificação de software, na matemática para formalizar provas, e na filosofia para analisar argumentos. Os seus princípios sustentam o estudo de sistemas lógicos mais avançados, como a lógica de predicadoslógica de predicadosLógica que olha para dentro das proposições, para objetos e propriedades.Ler a entrada completa, e desempenham um papel vital no desenvolvimento do raciocínio lógico e habilidades de pensamento crítico.