Dedução

⚡ dedução · a força da validade lógica

📌 Definição

Dedução é o processo de raciocínio em que a conclusão é derivada necessariamente das premissas. Em um argumento dedutivo válido, se as premissas são verdadeiras, a conclusão também deve ser verdadeira. É a forma padrão de demonstração em matemática e ciências formais.

📜 Exemplo clássico:
Premissa 1: Se Lula nasceu em Caetés, então ele nasceu em Pernambuco.
Premissa 2: Lula nasceu em Caetés.
Conclusão: Lula nasceu em Pernambuco.

Formalmente, usando regras de inferência, temos modus ponens: \(P \rightarrow Q,\; P \;\therefore\; Q\).

\[ \frac{P \rightarrow Q \quad P}{Q} \]

📚 Exemplos de argumentos dedutivos

Um argumento é válido se a conclusão decorre logicamente das premissas, independentemente do conteúdo factual. Exemplo célebre:

• Carlos é humano.
• Todo humano é mamífero.
• Portanto, Carlos é mamífero.

Em forma lógica: \(H(c),\; \forall x (H(x) \rightarrow M(x)) \;\vdash\; M(c)\).

Outro exemplo: "Todos os metais conduzem eletricidade. O cobre é um metal. Então, o cobre conduz eletricidade." A estrutura é um silogismo categórico.

⚖️ Validade e verdade

É fundamental distinguir validade (propriedade da forma lógica) de verdade (propriedade das proposições). Um argumento pode ser válido mesmo com premissas falsas, como no exemplo:

🔹 Todas as pessoas gordas são gregas. (falso)
🔹 John Lennon era gordo. (falso)
🔹 Portanto, John Lennon era grego. (falso)
→ O argumento é válido (a conclusão segue das premissas), mas as premissas são falsas, então a conclusão não é garantida como verdadeira no mundo real.

Por outro lado, um argumento com premissas verdadeiras e conclusão falsa é necessariamente inválido. A validade lógica é sobre a conexão necessária, não sobre a veracidade factual.

🎯 Tipos de conclusão

Embora a lógica clássica trate de conclusões lógicas (derivadas rigorosamente), o termo "conclusão" aparece em contextos variados:

• Conclusão lógica: resultado de uma inferência formal, ex.: em provas matemáticas.
• Conclusão informal: fechamento de um ensaio ou discurso, resumindo ideias.
• Conclusão musical: cadência final de uma peça (sentido figurado).
• Conclusão retórica: parte final de um argumento persuasivo.

Na lógica pura, interessa a conclusão dedutiva, que pode ser representada simbolicamente:

\[ \Gamma \vdash \varphi \quad \text{(a fórmula \(\varphi\) é dedutível do conjunto de premissas \(\Gamma\))} \]

🧠 raciocínio Ilustração do pensamento dedutivo: premissas → conclusão.

▶️ vídeo O que é dedução? Exemplos e diferença entre validade e verdade.

🔗 dedução e sistemas formais

Na lógica matemática, a dedução é capturada por sistemas como a dedução natural ou o cálculo de sequentes. Regras como modus ponens, generalização universal e eliminação da conjunção formalizam o raciocínio dedutivo cotidiano. É a base da confiabilidade das provas matemáticas.

\[ \begin{array}{l} (1)\; P \rightarrow Q \\ (2)\; P \\ \hline \therefore\; Q \end{array} \]

✦ “Dedução é a locomotiva da necessidade lógica.” – adaptado de W. V. O. Quine ✦ fórmulas com \(\LaTeX\)