Proposições Complexas e Operadores Lógicos

Proposições complexas são aquelas que contêm um ou mais operadores proposicionais, podendo ser decompostas em proposições mais simples. Para trabalhar com elas, usamos operadores verofuncionais (também chamados de conectores lógicos).

Cada operador tem um símbolo específico e uma função na lógica proposicional:

• Negação (¬): inverte o valor de verdade (ex: "A vida não é misteriosa")
• Conjunção (∧): conecta duas proposições com "e" (ex: "A vida é misteriosa e o mundo é infinito")
• Disjunção inclusiva (V): conecta com "ou" (basta uma ser verdadeira)
• Disjunção exclusiva (V̲): conecta com "ou...ou" (exatamente uma deve ser verdadeira)
• Condicional (→): estabelece uma condição "se...então" (ex: "Se a vida é misteriosa, então o mundo é infinito")
• Bicondicional (↔): estabelece equivalência "se, e só se" entre proposições

💡 Dica prática: Pensa nos operadores como instruções sobre como combinar proposições. A negação é como um interruptor que muda verdadeiro para falso; a conjunção exige que ambas as partes sejam verdadeiras; a disjunção inclusiva permite que qualquer parte (ou ambas) seja verdadeira.

Tabelas de Verdade e Classificação de Proposições

As tabelas de verdade são ferramentas que nos mostram os valores de verdade das proposições em todas as circunstâncias possíveis. Cada operador segue regras específicas:

A conjunção só é verdadeira quando ambas as proposições são verdadeiras. Já a disjunção inclusiva é verdadeira quando pelo menos uma das proposições é verdadeira. A disjunção exclusiva só é verdadeira quando as proposições têm valores de verdade diferentes.

A condicional só é falsa quando temos uma condição verdadeira levando a um resultado falso. A bicondicional exige que ambas as proposições tenham o mesmo valor de verdade.

As proposições podem ser classificadas em três tipos fundamentais:

• Tautologias: sempre verdadeiras em qualquer circunstância (verdades lógicas)
• Contradições: sempre falsas em qualquer circunstância (falsidades lógicas)
• Contingências: proposições que são verdadeiras em algumas circunstâncias e falsas noutras

🧠 Lembra-te: Para uma proposição com n variáveis, a tabela de verdade terá 2ⁿ linhas. Por exemplo, com 2 variáveis, terás 4 linhas na tua tabela, cobrindo todas as possíveis combinações de valores.

Formalização e Validação de Argumentos

Para analisar um argumento logicamente, precisamos formalizá-lo seguindo três passos:

1. Colocar o argumento na sua forma canónica
2. Elaborar um dicionário das proposições simples
3. Substituir as proposições por variáveis e os operadores pelos símbolos lógicos

A validade dedutiva de um argumento significa que, se as premissas forem verdadeiras, a conclusão será necessariamente verdadeira. Para verificar a validade, usamos formas de inferência válidas:

• Modus Ponens: afirma o antecedente (Se p→q e p, então q)
• Modus Tollens: nega o consequente (Se p→q e ¬q, então ¬p)
• Contrapositiva: inverte e nega (Se p→q, então ¬q→¬p)
• Silogismo Disjuntivo: nega uma disjunta (Se p∨q e ¬p, então q)
• Silogismo Hipotético: encadeia condicionais (Se p→q e q→r, então p→r)

As Leis de De Morgan são especialmente úteis para simplificar negações de conjunções e disjunções:

• ¬(p∧q) equivale a ¬p∨¬q (negar "p e q" equivale a "não p ou não q")
• ¬(p∨q) equivale a ¬p∧¬q (negar "p ou q" equivale a "não p e não q")

⚡ Aplicação prática: Quando alguém diz "não é verdade que estudei e passei no teste", está realmente a dizer "não estudei ou não passei no teste" - e estas afirmações são logicamente equivalentes!