A Arte de Pensar com Rigor.
A Lógica Matemática é a linguagem fundamental da computação e do raciocínio estruturado!
O que é Lógica?
A lógica matemática estuda as formas de raciocínio válido. Ela usa símbolos para representar proposições e conectivos para formar sentenças complexas, permitindo determinar se um argumento é verdadeiro ou falso.
Proposições
Definição
Uma proposição é uma sentença declarativa que pode ser classificada como Verdadeira ou Falsa, mas não ambas.
Exemplo V
"O número 2 é par." (Verdadeiro)
Exemplo F
"O Sol é um planeta." (Falso)
Conectivos Lógicos
Conjunção (E)
Verdadeiro apenas se ambos forem V.
Disjunção (OU)
Verdadeiro se pelo menos um for V.
Condicional
Se... então. Falso apenas se V leva a F.
Negação (NÃO)
Inverte o valor lógico (V vira F).
Tabela Verdade
A tabela verdade é a ferramenta que usamos para analisar todas as combinações possíveis de valores lógicos.
| P | Q | P ∧ Q | P ∨ Q |
|---|---|---|---|
| V | V | V | V |
| V | F | F | V |
| F | V | F | V |
| F | F | F | F |
"Na lógica, não importa o que as palavras significam, mas sim como elas se conectam. É a matemática do pensamento puro!"
Dica de Ouro
A implicação P → Q só é FALSA quando a premissa P é verdadeira e a conclusão Q é falsa. Em todos os outros casos, ela é verdadeira!