Condición (lógica)

Condición (lógica)

Condición (lógica)

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

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

Wikimedia foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Mira otros diccionarios:

  • Condición — puede referirse a: Condición (danza): del folclore argentino. Condición (derecho). Condición (lógica), una oración necesaria para cumplir un fin mayor. Véase también Condición ambiental Condiciones de trabajo Condicional Condicionamiento… …   Wikipedia Español

  • Condición necesaria y suficiente — En lógica, las palabras necesario y suficiente describen la relación que mantienen dos proposiciones o estado de las cosas, si una es condicionante de la otra. Por ejemplo, alguien puede decir: El tomar agua regularmente es necesario para que un… …   Wikipedia Español

  • Lógica — La lógica es una ciencia formal y una rama de la filosofía que estudia los principios de la demostración e inferencia válida. La palabra deriva del griego antiguo λογική (logike), que significa «dotado de razón, intelectual, dialéctico,… …   Wikipedia Español

  • Lógica de primer orden — La lógica de primer orden, también llamada lógica de predicados o cálculo de predicados, es un sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden.[1] Los lenguajes de primer orden son, a su vez, lenguajes… …   Wikipedia Español

  • Condición — (Del lat. conditio, onis, estado, manera de ser < dicere, decir.) ► sustantivo femenino 1 Naturaleza, forma de ser y propiedades físicas de las cosas o de los animales. SINÓNIMO calidad índole naturaleza 2 Modo de ser y de comportarse… …   Enciclopedia Universal

  • Lógica empírica — La lógica empírica es la base del razonamiento empírico y por lo tanto del método empírico. Esta visión de la lógica proviene de la antigua Grecia. El término empírico deriva del griego antiguo de experiencia, έμπειρία, que a su vez deriva de έυ… …   Wikipedia Español

  • Lógica no monotónica — Una lógica no monotónica, o lógica no monótona, es un sistema lógico cuya relación de consecuencia lógica es no monotónica. La mayoría de los sistemas lógicos tienen una relación de consecuencia monotónica, lo que quiere decir que el agregar una… …   Wikipedia Español

  • Lógica de inyección integrada — Se ha sugerido que este artículo o sección sea fusionado con Tecnología de inyección integrada (discusión). Una vez que hayas realizado la fusión de artículos, pide la fusión de historiales aquí …   Wikipedia Español

  • Condición necesaria y suficiente — En lógica, las palabras necesario y suficiente describen la relación que mantienen dos proposiciones o estado de las cosas, si una es condicionante de la otra. Por ejemplo, alguien puede decir: ● El tomar agua regularmente es necesario para que… …   Enciclopedia Universal

  • Puerta lógica — «AND» redirige aquí. Para otras acepciones, véase AND (desambiguación). Una puerta lógica, o compuerta lógica, es un dispositivo electrónico el cual es la expresión física de un operador booleano en la lógica de conmutación. Cada puerta lógica… …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”