Utilizamos cookies propias y de terceros para mejorar nuestros servicios y facilitarle el uso de la web mediante el análisis de sus preferencias de navegación. También compartimos la información sobre el tráfico por nuestra web a los medios sociales y de publicidad con los que colaboramos. Si continúa navegando, consideramos que acepta nuestra Política de cookies .

Actualidad científica

  • 22/09/2017 - GENÉTICA

    Origen evolutivo del plegamiento del ADN

    El modo en que el ADN de las arqueas se compacta tiene muchos puntos en común con el de los eucariotas.

  • 21/09/2017 - Evolución humana

    ¿Cuántos neandertales había?

    La arqueología y la genética han dado respuestas muy diferentes a esa pregunta. Un nuevo estudio las reconcilia y descubre la historia de aquella antigua gente, en la que rozaron alguna vez, mucho antes de la definitiva, la extinción.

  • 20/09/2017 - BIOLOGÍA REPRODUCTIVA

    Macrófagos testiculares, guardianes de la fertilidad masculina

    Responsables de eliminar los patógenos de nuestro organismo, estas células moderan también la respuesta inmunitaria para evitar la destrucción de los espermatozoides.

  • 19/09/2017 - Zoología

    ¿Ha extinguido Irma especies?

    Junto  a las pérdidas humanas y económicas, el huracán Irma ha tenido también graves consecuencias para la naturaleza.

  • 18/09/2017 - Materiales cuánticos

    Calor topológico

    Un trabajo analiza por primera vez el comportamiento de los aislantes topológicos en presencia de focos térmicos. Sorprendentemente, la aparición de un flujo de calor no parece arruinar la robustez de estos materiales.

Síguenos
  • Google+
  • RSS
  • Investigación y Ciencia
  • Noviembre 2013Nº 446
Juegos matemáticos

Lógica

¿Cómo entender los condicionales?

Los valores de verdad en lógica y la lógica del lenguaje.

Menear

Los enunciados condicionales son aquellos de la forma:

(1) Si Mariana leyó el Quijote, leyó también Cien años de soledad.

Si nos dejamos guiar por las apariencias, diríamos que (1) tiene un valor de verdad: o es verdadero o es falso. Y, al igual que

(2) Mariana leyó el Quijote y Cien años de soledad,

lo lógico sería pensar que el valor de verdad de (1) es una función del valor de verdad de los enunciados:

(Q) Mariana leyó el Quijote,
(C) Mariana leyó Cien años de soledad.

En otras palabras: conocidos los valores de verdad de (Q) y (C), podemos determinar sin ambigüedades el valor de verdad de (2). En este caso, sabemos que (2) es verdadero si y solo si (Q) es verdadero y (C) también lo es. En cualquier otro caso, (2) es falso. ¿Qué podemos decir de (1)?

El condicional material

Estipulemos que el símbolo → funciona de la siguiente manera: un enunciado de la forma PQ es verdadero si y solo si, o bien P es falso, o bien Q es verdadero. Así, diremos que el enunciado

(3) Mariana leyó el Quijote → Mariana leyó Cien años de soledad.

es verdadero si y solo si, o bien (Q) es falso, o bien (C) es verdadero.

En un curso de introducción a la lógica tal vez se nos diga que (1) equivale a (3). Es decir, que el condicional «si... entonces...» en castellano se corresponde con →. Este último se denomina condicional material.

Sin embargo, el análisis de enunciados condicionales en términos del condicional material presenta algunas consecuencias un poco desagradables. Por ejemplo, dado que «la Luna está hecha de queso» es falso, el condicional

(4) Si la Luna está hecha de queso, entonces estoy cansado

es verdadero. Y dado que «París es la capital de Francia» es verdadero, el condicional

(5) Si Pekín no es la capital de Francia, entonces París es la capital de Francia

también es verdadero.

Puede conseguir el artículo en:

Artículo individual

Artículos relacionados

BOLETÍN ACTUALIDAD¿Quieres estar al día de la actualidad científica? Recibe el nuevo boletín de actualidad con nuestros mejores contenidos semanales gratuitos (noticias y posts). Si lo deseas también puedes personalizar tu suscripción. BOLETÍN ACTUALIDAD¿Quieres estar al día de la actualidad científica? ¡Recibe el nuevo boletín de contenidos gratuitos! Ver más boletines.