Operações Lógicas

🧮 operações lógicas · tabelas-verdade & exemplos

As operações lógicas (ou conectivos lógicos) são os tijolos da lógica proposicional. Elas combinam proposições simples para formar proposições compostas, cujo valor verdade depende dos valores das proposições originais. As principais operações são: conjunção (\(\land\)), disjunção (\(\lor\)), condicional (\(\rightarrow\)), bicondicional (\(\leftrightarrow\)) e negação (\(\neg\)). Abaixo, apresentamos cada uma com sua tabela-verdade e exemplos práticos.

∧ conjunção

p	q	p ∧ q
V	V	V
V	F	F
F	V	F
F	F	F

\(p \land q\) é V apenas quando ambos são V.

∨ disjunção

p	q	p ∨ q
V	V	V
V	F	V
F	V	V
F	F	F

\(p \lor q\) é V se ao menos um for V.

→ condicional

p	q	p → q
V	V	V
V	F	F
F	V	V
F	F	V

\(p \rightarrow q\) é F apenas quando \(p\) é V e \(q\) F.

↔ bicondicional

p	q	p ↔ q
V	V	V
V	F	F
F	V	F
F	F	V

\(p \leftrightarrow q\) é V quando \(p\) e \(q\) têm o mesmo valor.

¬ negação

p	¬p
V	F
F	V

\(\neg p\) inverte o valor lógico de \(p\).

📘 exemplos de uso das operações lógicas

Aplicações cotidianas dos conectivos lógicos:

• Conjunção (\( \land \)): \(p\): "Está chovendo", \(q\): "Está frio". \(p \land q\): "Está chovendo e está frio".
• Disjunção (\( \lor \)): \(p\): "Vou ao cinema", \(q\): "Vou ao parque". \(p \lor q\): "Vou ao cinema ou vou ao parque".
• Condicional (\( \rightarrow \)): \(p\): "Chover", \(q\): "Levarei guarda-chuva". \(p \rightarrow q\): "Se chover, então levarei guarda-chuva".
• Bicondicional (\( \leftrightarrow \)): \(p\): "Estou feliz", \(q\): "Estou sorrindo". \(p \leftrightarrow q\): "Estou feliz se e somente se estou sorrindo".
• Negação (\( \neg \)): \(p\): "A Terra é um planeta". \(\neg p\): "A Terra não é um planeta".

Esses conectivos formam a base para a construção de argumentos, circuitos digitais e linguagens de programação.

🧠 importância das operações lógicas

As operações lógicas são fundamentais não apenas na matemática, mas também na computação (portas lógicas, álgebra booleana), na filosofia (estrutura de argumentos) e no raciocínio cotidiano. Dominar as tabelas-verdade e as propriedades dos conectivos é o primeiro passo para entender demonstrações formais e o funcionamento de sistemas lógicos.

\[ \neg (p \land q) \equiv (\neg p) \lor (\neg q) \quad \text{(Leis de Morgan)} \]

✦ “A lógica é a anatomia do pensamento.” – John Locke ✦ fórmulas com \(\LaTeX\)