Condicional material

{{infobox
|title       = *Condicional material* 
|image = 230px
|caption= Diagrama de Venn da implicación (en vermello a parte verdadeira)
|label2 = Outros nomes
|data2 =  implicación
|label4 = linguaxe natural
|data4 = implica
|label5 = linguaxe formal
|data5 = A \to B
|label6 = outros símbolos
|data6 = \implies, \supset 
|label7 = táboa de verdade
|data7 =
\begin{array}{c|c||c}
A & B & A \rightarrow B \\
\hline
V & V & V \\
V & F & F \\
F & V & V \\
F & F & V \\
\end{array}

|label8 = porta lóxica
|data8 = 
}}

O **condicional material** (**implicación material** ou simplemente **implicación**) é unha operación que se usa habitualmente en lóxica. Cando o símbolo condicional \rightarrow interprétase como implicación material, unha fórmula  P \rightarrow Q é certa en todos os casos menos no caso de que P sexa verdade e Q falsa. A implicación material tamén se pode caracterizar inferencialmente por *modus ponens*, *modus tollens e* proba condicional. 

A implicación material úsase en todos os sistemas básicos da lóxica clásica, así como nalgunhas lóxicas non clásicas. Asúmese como un modelo de razoamento condicional correcto dentro das matemáticas e serve como base para comandos en moitas linguaxes de programación. No entanto, moitas lóxicas substitúen a implicación material con outros operadores como o condicional estrito. Debido aos paradoxos da implicación material e outros problemas relacionados, a implicación material é cuestionada nas oracións condicionais da linguaxe natural.

## Notación 
No campo da lóxica e outros  relacionados, o condicional material adoita denotarse cun operador infixo \to . O condicional material tamén se denota mediante os infixos \supset e \Rightarrow. Na notación polaca con prefixo, os condicionais anótanse como Cpq. Nunha fórmula condicional p\to q, a subfórmula p denomínase *antecedente* e q chámase o *consecuente* do condicional. As sentenzas condicionais poden aniñarse de xeito que o antecedente ou o consecuente poden ser eles mesmos sentenzas condicionais, como na fórmula (p\to q)\to(r\to s) .

## Definicións 
### Semántica 
Desde unha perspectiva semántica clásica, a implicación material é o operador  binario funcional de verdade que devolve "verdadeiro" a menos que o seu primeiro argumento sexa verdadeiro e o segundo argumento sexa falso. Esta semántica pódese mostrar graficamente nunha táboa de verdade como a que se mostra embaixo. Tamén se pode considerar a equivalencia A \to B \equiv \neg (A \land \neg B) \equiv \neg A \lor B .

### Táboa de verdade 
A táboa de verdade A \rightarrow B :

Os casos lóxicos nos que o antecedente  é falso e  é verdadeiro chámanse "verdades vacuas". 

*

### Definición dedutiva 
A implicación material tamén se pode caracterizar dedutivamente en termos de regras de inferencia. 

Por exemplo, na lóxica intuicionista, que rexeita as probas por contraposición como regras válidas de inferencia, (A \to B) \Rightarrow \neg A \lor B  non é un teorema proposicional, pero o condicional material úsase para definir a negación.

## Propiedades formais 
Cando a disxunción, a conxunción e a negación son clásicas, a implicación material valida as seguintes equivalencias:

* Contraposición: P \to Q \equiv \neg Q \to \neg P
* Importación-exportación : P \to (Q \to R) \equiv (P \land Q) \to R
* Condicionais negados: \neg(P \to Q) \equiv P \land \neg Q
* Ou-e-se: P \to Q \equiv \neg P \lor Q
* Conmutatividade dos antecedentes: \big(P \to (Q \to R)\big) \equiv \big(Q \to (P \to R)\big)
* Distributividade esquerda : \big(R \to (P \to Q)\big) \equiv \big((R \to P) \to (R \to Q)\big)

Do mesmo xeito, nas interpretacións clásicas dos outros conectivos, a implicación material valida as seguintes consecuencias lóxicas :

* Reforzo de antecedentes: P \to Q \models (P \land R) \to Q
* Condicional vacuo: \neg P \models P \to Q 
* Transitividade : (P \to Q) \land (Q \to R) \models P \to R
* Simplificación de antecedentes disxuntivos : (P \lor Q) \to R \models (P \to R) \land (Q \to R)

As tautoloxías que implican implicacións materiais inclúen:

* Reflexividade : \models P \to P
* Totalidade : \models (P \to Q) \lor (Q \to P)
* Lei do terceiro excluído : \models (P \to Q) \lor (P \to \neg Q)

## Relación con necesario e suficiente 
A implicación lóxica pódese ver como unha relación, dúas proposicións están relacionadas se o resultado do operador de implicación lóxica é VERDADEIRO, este aspecto é particularmente evidente na linguaxe común onde a implicación se expresa na forma "se A entón B" , polo que por exemplo, é natural que entendamos:

:"se **chove** entón **hai nubes no ceo**'

e a única posibilidade de que esta afirmación sexa falsa é comprobar que nun momento dado chove mais NON hai nubes no ceo. 

Asumindo que  \mathcal A \rightarrow \mathcal B  é certo, isto tamén se pode expresar das seguintes formas:
*  \mathcal A  é condición suficiente para  \mathcal B ;
*  \mathcal B  é condición necesaria para  \mathcal A ;
aplicando estes métodos ao exemplo anterior en relación á linguaxe común podemos afirmar que:
* unha condición suficiente para que haxa nubes no ceo é que chova, 
* así como condición necesaria para que chova é que haxa nubes no ceo. 
 
Tamén é frecuente ler "é necesario pero non suficiente", isto en relación ao exemplo anterior sería: é necesario que haxa nubes para chover pero non é suficiente porque, a maiores, para haber chuvia as pingas das nubes deben ter un diámetro superior aos 0.5 milímetros (e con certeza algunha condición máis, ver necesario e suficiente).

## Discrepancias coa linguaxe natural 
A implicación material non coincide moito co uso das oracións condicionais na linguaxe natural. Por exemplo, aínda que os condicionais materiais con antecedentes falsos sexan vacuamente verdadeiros, a afirmación da linguaxe natural "Se 8 é impar, entón 3 é primo" adoita considerarse falsa. Do mesmo xeito, calquera material condicional cun consecuente verdadeiro é verdadeiro en si, pero os falantes normalmente rexeitan frases como "Se teño un peso no peto, entón Noia está na Galiza". Estes problemas clásicos foron chamados os paradoxos da implicación material.  A maiores dos paradoxos, presentáronse outros argumentos contra unha análise da implicación material. Por exemplo, os condicionais contrafactuais serían, deste modo, todos vacuamente verdadeiros. 

## Discrepancias entre wikipedias 
Na Wikipedia en inglés :en:Material conditional, non fai distinción entre Condicional material e Implicación, literalmente pon: "The material conditional (also known as material implication) is an operation commonly used in logic". 

Na Wikipedia en español :es:Condicional material, distingue entre Condicional material e Implicación material, literalmente pon: "conocido como condicional, condicional funcional de verdad, o imprecisamente confundido con la implicación material" e na aclaración "El condicional material es una afirmación hipotética que no habla de la realidad  ... la implicación lógica es una afirmación no hipotética sino con contenido de verdad".

Na Wikipedia en francés :fr:Implication (logique), non fai distinción pero fala de dous enfoques, literalmente pon: "Classiquement, le connecteur d'implication est formalisé de deux façons, soit en fonction de valeurs de vérité, soit en termes de déduction." E detallando máis adiante "Ces deux approches sont compatibles et sont reliées par des théorèmes comme le théorème de complétude pour la logique classique, ou le théorème de complétude du calcul des propositions pour le calcul des propositions, à titre d'exemple"

Na Wikipedia en portugués :pt:Condicional material, non fai distinición, literalmente pon: "O condicional material, também conhecido como implicação material, condicional funcional de verdade ou simplesmente condicional, é uma operação lógica"

Na Wikipedia en italiano :it:Implica, fai distinción entre unha implicación material e unha implicación semántica, literalmente "È necessario distinguere tra implicazione logica "materiale", che riguarda la definizione formale delle due proposizioni, a prescindere dalla relazione di causa-effetto tra la prima e la seconda, e implicazione logica "semantica", che appunto tiene conto del significato della prima proposizione che, solo se vera, impone la verità della seconda proposizione."

En tódolos casos a **táboa de verdade** é a mesma.

## Notas 
## Véxase tamén 
### Bibliografía 
* Brown, Frank Markham (2003), *Boolean Reasoning:  The Logic of Boolean Equations*, 1st edition, Kluwer Academic Publishers, Norwell, MA.  2nd edition, Dover Publications, Mineola, NY, 2003.
* Edgington, Dorothy (2001), "Conditionals", in Lou Goble (ed.), *The Blackwell Guide to Philosophical Logic*, Blackwell.
* Quine, W.V. (1982), *Methods of Logic*, (1st ed. 1950), (2nd ed. 1959), (3rd ed. 1972), 4th edition, Harvard University Press, Cambridge, MA.
* Stalnaker, Robert, "Indicative Conditionals", *Philosophia*, **5** (1975): 269–286.

### Outros artigos 
* Dominio booleano
* Lóxica de Boole
* Táboa de verdade
* Implicación material

### Ligazóns externas 
* forall x: Calgary An Introduction to Formal Logic.