Condición (lógica)

Condición (lógica)

Saltar a navegación, búsqueda

Es una proposición molecular (o esquema proposicional) que establece una relación de dependencia de una proposición con respecto a otra. La condición suele recibir el nombre de antecedente; lo condicionado consecuencia o consecuente.

En el lenguaje se expresa bajo la forma gramatical de una oración condicional: Si......... entonces......... Por ejemplo: Si llueve entonces el suelo está mojado.

En lógica suele simbolizarse como: $A \rightarrow B$, que debe leerse como Si A entonces B.

La relación se define como función lógica mediante su tabla de valores de verdad.

A	B	$A \rightarrow B$
V	V	V
V	F	F
F	V	V
F	F	V

En la condición sólo se afirma como verdadera la relación entre la condición y su consecuencia o condicionado; no se afirma la realidad de los hechos que implican las proposiciones. Por eso sólo es falsa en el caso en que el antecedente sea verdadero y el consecuente falso, como se expresa en la línea segunda de la tabla.

Ejemplos:

• Si llueve entonces el suelo está mojado. Pero si no llueve el suelo puede estar regado por los de la limpieza.
• Si te pones los zapatos, puedes caminar por un camino pedregoso. Pero nada impide que, aunque más incómodo, camines descalzo por el camino pedregoso.
• Si no me saludas, me enojaré contigo. Pero eso no quiere decir que si me saludas no pueda enojarme por otros motivos.

En cambio la línea tercera y cuarta hacen proposiciones verdaderas a expresiones lingüísticas tales como:

• Si eso que dices es verdad, yo soy el Papa de Roma, en la que al considerar falso el antecedente se garantiza la verdad de la proposición condicional como tal, con independencia del valor verdadero o falso del consecuente.

Artículo principal: Implicación

Es interesante tener en cuenta la distinción con el concepto de implicación que, si bien se simboliza de la misma manera, el significado conceptual es diferente; debe leerse, A, por tanto (luego) B.

Ejemplo

• Hoy es Lunes, por tanto (luego) mañana es Martes

Véase también

• Condición necesaria
• Condición suficiente
• Condición necesaria y suficiente
• Cálculo
• Cálculo lógico
• Tabla de valores de verdad
• Implicación

Obtenido de "Condici%C3%B3n (l%C3%B3gica)"