Conectivas lógicas proposicionales

Las conectivas lógicas proposicionales son conexiones entre proposiciones que permiten construir nuevas oraciones con mayor complejidad lógica. Hay que recordar que la lógica sirve para evaluar qué tan certero es nuestro pensamiento, qué tan confiable es nuestro procesamiento de la información. Para esta evaluación de nuestro pensamiento, sirve conocer cómo están estructuradas nuestras creencias. Por ejemplo, si creo que no es falso que 2 + 2 = 4, mi pensamiento tiene la estructura de una doble negación: "No" niega a "es falso que", que a su vez niega a "2 + 2 = 4". De la estructura con doble negación podemos inferir que 2 + 2 = 4, sin las negaciones. Y al revés, quien sostenga que 2 + 2 = 4 debe aceptar que no es falso que 2 + 2 = 4. Por supuesto, el caso de "No es falso que 2+ 2 = 4" es sólo un ejemplo entre muchos con la misma estructura. Un pensador experimentado descubre que cuando una creencia tiene cierta estructura, se pueden inferir con seguridad ciertas otras creencias. La estructura basta para garantizar que se está razonando impecablemente.

Hay estructuras de muchos tipos, pero muchas de ellas resultan de conectar una o más creencias. En esta sección vamos a revisar algunas maneras sencillas de conectar creencias mediante las conectivas lógicas proposicionales. Aunque no son las únicas estructuras posibles, son tan comunes que sirven para comprender mejor nuestro pensamiento cotidiano. Una vez que conozcamos bien esas conectivas, podremos manipularlas para pensar sobre cualquier cosa que nos interese.

Sabías que…

Las conectivas lógicas proposicionales permiten construir estructuras para pensar

Aunque hay infinitas conectivas lógicas proposicionales, las seis que veremos son más que suficientes para expresar cualquier relación lógica de este tipo (veritativo-funcional).

Hay muchas maneras de estructurar nuestro pensamiento. Entre las más comunes están las "conectivas lógicas proposicionales", que son cualquier función de verdad. Antes de explicar qué son las funciones de verdad, expliquemos el nombre de "conectivas lógicas proposicionales":

Son llamadas "conectivas" porque son maneras básicas de conectar varias creencias. Las más tradicionales son las seis siguientes:

• La negación

• La conjunción

• La disyunción inclusiva

• La disyunción exclusiva

• El condicional material

• La equivalencia material

Vamos a presentar estas seis conectivas más abajo. Mientras tanto, hay que saber que hay formas de estructurar que no conectan. Por ejemplo, los paréntesis que sólo agrupan pero no enlazan. Nosotros usaremos tanto paréntesis como conectivas. Pero se notará que entre las conectivas está la negación. ¿Qué es lo que conecta? Suena raro decir que la negación "conecta" a una sola proposición. Es claro que la metáfora de la conexión no debe tomarse demasiado en serio. Como vamos a estudiar los poderes inferenciales de nuestras conectivas, les llamaremos "lógicas". Por supuesto, hay maneras de enlazar proposiciones con fines puramente retóricos o poéticos sin que haya ninguna relación inferencial, por ejemplo, con exclamaciones como "¡Vaya!" o "¡Caramba!". Nosotros nos limitaremos de momento al aspecto lógico.

Ahora bien, las conexiones lógicas pueden darse entre muchas cosas. Por ejemplo, entre conceptos, como cuando conectamos a la racionalidad con la animalidad en nuestra idea de ser humano. Las conectivas que veremos aquí conectan a proposiciones que expresan nuestras creencias. Por ello les llamamos "proposicionales". Ejercicios Ninguno de los siguientes ejemplos son conectivas lógicas proposicionales. ¿Qué falla (puede ser más de una cosa)?

Una conectiva lógica proposicional es una función de verdad

Cada razonamiento involucra una secuencia de proposiciones. Nos interesa estudiar la forma lógica de esas secuencias pues la corrección de nuestros razonamientos depende de cómo se relacionen lógicamente tales proposiciones. Una relación usual es que el valor de verdad de una proposición compuesta dependa del valor de verdad de las proposiciones atómicas que contenga. Por ejemplo, la relación que guarda "La persona es espíritu y la persona es cuerpo" con "La persona es espíritu" y "La persona es cuerpo" es justamente que cuando alguna de las proposiciones atómicas falla, la proposición compuesta falla también, pero sólo en esos casos.

Lo interesante es que podemos calcular mecánicamente el valor de la proposición compuesta simplemente revisando el valor de verdad de sus integrantes. Esto es lo que queremos decir al afirmar que el valor de verdad del compuesto es una función del valor de verdad de las partes. En otras palabras, la conjunción es una función de verdad porque su verdad depende tan sólo de la de sus componentes. También lo son la negación y la disyunción. Cualquier expresión lógica que forme siempre compuestos en los que baste conocer el valor de verdad de sus partes para saber el valor de verdad de ese compuesto, es una expresión veritativo-funcional.

Podemos definir a las conectivas lógicas proposicionales como funciones de verdad, es decir, expresiones que permiten construir proposiciones complejas cuyo valor de verdad es una función (depende por entero) del valor de verdad de las expresiones constituyentes.

Lo importante es que al analizar un argumento con las técnicas que se verán en esta unidad, debe recordarse que este curso sólo ambiciona manejar las relaciones lógicas veritativo-funcionales y que las técnicas elementales que se estudiarán aquí pueden necesitar ulteriores refinamientos. Por lo general, el conectivo veritativo-funcional recoge la afirmación mínima que se hace con toda una clase de enunciados en lenguaje natural. Precisamente por perder información es que podemos simbolizar prudentemente sin temor de poner en boca de un autor algo que él no dijo.

Sabías que… En este curso sólo analizaremos expresiones veritativo-funcionales. Por ejemplo, para saber si es verdad que "Necesariamente el mundo existe", no basta saber que de hecho existe. Como sabemos el valor de verdad de la proposición atómica ("el mundo existe") sin saber el de la proposición compuesta, "necesariamente" no es una expresión veritativo-funcional. No analizaremos expresiones como "Necesariamente el mundo existe" (estudiada por la lógica modal), "Es obligatorio que el bien se realice" (estudiada por la lógica deóntica), "La ciencia se adquiere después de hacer experimentos" (estudiada por la lógica temporal), etc. Ejercicios Acabamos de decir que es mejor perder información que atribuir algo que no se dijo. Da un ejemplo en el que se diga menos y uno en el que se diga más que cada una de las siguientes afirmaciones:

Este cuadro grande (casi dos metros de largo), fue exhibido en 1787, dos años antes de la Revolución Francesa, por Jacques-Louis David (1748-1825). Hoy día se puede visitar en Nueva York. Vemos a Sócrates a punto de tomar la cicuta. Esta representación del sacrificio de Sócrates, quien había sido muy crítico de su sociedad griega, fue vista como una protesta contra la sociedad francesa de ese momento.

En español, las expresiones "Es falso que…", "… y …", "… o …", normalmente son veritativo-funcionales. Pero el español no es un lenguaje exacto. Mientras que las conectivas en lógica tienen siempre el mismo significado, las conectivas en el habla pueden ser veritativo-funcionales en algunas ocasiones y no veritativo-funcionales en otras.

Por ejemplo, para que sea verdad la conjunción veritativo-funcional "Sócrates murió y Sócrates bebió cicuta" es suficiente que ambas proposiciones sean verdaderas. Pero en el uso habitual del español, hay un sentido no veritativo-funcional del "y" en el que se requiere que haya cierta anterioridad temporal entre los dos hechos, que Sócrates haya muerto primero y bebido cicuta después, lo cual sería muy raro.

De igual manera, hay "disyunciones" no veritativo-funcionales que requieren, para ser verdaderas, haber agotado todas las alternativas posibles. "Lo verdadero es bueno o bello" es falso porque no agota las posibilidades (incluso suponiendo que lo verdadero es bueno y que por lo tanto la "disyunción" veritativo-funcional es verdadera). Además, hay que distinguir cuando algunas expresiones transmiten información importante y cuando son simplemente recursos retóricos para hacer más amena la lectura. La moraleja es que, para clarificar nuestro pensamiento, un buen dominio del idioma es indispensable. Sin ello no hay manera de saber que el refrán "Almuerza bien, come más, cena poco y vivirás" no es una conjunción con mandatos, sino un condicional.: "Si almuerzas bien, comes bien y cenas poco, entonces vivirás".

La negación

La primera conectiva lógica proposicional (función de verdad) que examinaremos es la negación. Hay muchas maneras de negar algo:

El dinero no es la felicidad.

Es falso que el dinero sea la felicidad.

No es el caso que el dinero es la felicidad.

El dinero es cualquier cosa menos la felicidad.

Es inaceptable decir que el dinero es la felicidad.

Delira quien sostiene que el dinero es la felicidad.

No se afirma con verdad que el dinero es la felicidad.

Todas éstas son negaciones de la oración atómica "El dinero es la felicidad". Pero en lógica no buscamos la variedad sino la precisión al comunicar. Y para que no haya malos entendidos es mejor tener una sola expresión que señale a la negación y a nada más. El símbolo que usaremos (porque es fácil de escribir a máquina) es "-". Así, todas las expresiones anteriores para negar que el dinero es la felicidad se reducen a -(El dinero es la felicidad). Aunque se pierden matices estilísticos, se gana en precisión. Para definir la negación, debemos decir exactamente cuál es su función lógica. Para nuestros intereses, negar una proposición P es simplemente asegurar que P es falsa. En otras palabras, la negación de P es verdad si P es falsa; pero falsa si P es verdad. Esto se puede visualizar en la figura 1 que presenta la Tabla de Verdad de la negación. Nos muestra el valor de verdad de la proposición compuesta de acuerdo a los valores de verdad que tengan las proposiciones atómicas. Aplicando la figura 1 a nuestro ejemplo, tenemos

Ahora bien, para negar algo no basta decir algo distinto. Una negación es como un polo completamente opuesto: no hay más que uno. Por ejemplo, "Vivimos en una dictadura" no es la negación de "Vivimos en una democracia" porque hay otras posibilidades, es decir, esas dos alternativas no son exhaustivas. Por otro lado, las alternativas deben ser excluyentes. Por ejemplo, "Elena es joven" no es la negación de "Elena es madre" porque se puede ser una madre joven.

Fig. 1 Tabla de verdad de la negación. Otras simbolizaciones de –P son ~P, (P y (P.

El joven austriaco, Ludwig Wittgenstein (1889-1951), presentó las tablas de verdad en su libro Tractatus Lógico-Philosophicus escrito en 1918, a los 29 años de edad.

Con cada par de proposiciones hay tres alternativas:

• 1. Ambas podrían alguna vez ser simultáneamente verdaderas.

• 2. Ambas podrían alguna vez ser simultáneamente falsas.

• 3. No podrían jamás ser simultáneamente verdaderas ni simultáneamente falsas.

Cuando una proposición es la negación de otra, el requisito de exclusividad cancela la alternativa (1) y el requisito de exhaustividad cancela la alternativa (2). Es decir, una proposición y su negación no podrían jamás ser simultáneamente verdaderas ni simultáneamente falsas. Por ello decimos que una es la "contradictoria de la otra. Para saber si P es la negación de Q, basta preguntarnos si podrían ser ambas simultáneamente verdaderas y si prodrían ser ambas simultáneamente falsas. Solamente cuando jamás podrían P y Q tener el mismo valor de verdad es que una es la negación de la otra. En cualquier ocasión una tiene que ser verdadera (exhaustividad) y la otra tiene que ser falsa (exclusividad).

Ejercicios Alguna gente cree erróneamente que, en los siguientes pares de proposiciones, una es la negación de la otra. Diga qué falta para que haya negación: las exhaustividad, la exclusividad, o ambas.

La conjunción

Otra expresión lógica es la conjunción. Si la afirmamos nos comprometemos con que las dos proposiciones que une son verdaderas. Si no son verdaderas ambas, el compuesto es falso. Ejemplos de conjunción son:

La persona es espíritu y cuerpo.

La persona es espíritu encarnado.

La persona es espíritu encarnando.

La persona es espíritu pero corporal.

La persona es tanto espíritu como cuerpo.

La persona es espíritu además de ser cuerpo.

La persona es espíritu y la persona es cuerpo.

La persona, ese espíritu, es también un cuerpo.

La persona es espíritu aunque es también cuerpo.

La persona es espíritu; sin embargo, es corporal.

La tabla de verdad de la conjunción es aparece en la figura 2. Aplicándola a nuestro ejemplo, tenemos

Es decir, una conjunción se simboliza como "&" (del latín et) y es verdadera sólo cuando las dos proposiciones que la componen son verdaderas.

Fig. 2 Tabla de verdad de la conjunción. Otras simbolizaciones de P&Q son P(Q, P(Q, P(Q, y PQ.

SABÍAS QUE…

La conjunción a veces está escondida. Hay dos casos que es útil conocer: 1) "P sin Q", significa "P y no Q" 2) "Ni P ni Q" significa "No P y no Q" (o "No es el caso que P y/o Q").

¿Puedes hallar otros casos de conjunciones escondidas?

Ejercicios I. A veces en español la partícula "y" no significa exactamente una conjunción lógica. Identifique qué significa en las siguientes oraciones: 1. El & lógico ("y también es verdad que") ( ) Cayó y se rompió.

2. Consecuencia ("y por lo tanto") ( ) Yo soy culpable, ¿y qué? 3. Añade nombres para invocación ( ) Los jóvenes cuestionan todo y resienten ser tratados como niños.

4. Sucesión temporal ( "y después") ( ) ¡Jesús, María y José! 5. Introduce una pregunta retórica ( ) El acusado es inocente y merece ser puesto en libertad.

II. ¿En qué sentido es lo mismo, y en qué sentido es diferente decir "Vine, vi y vencí" y decir "Vencí, vi y vine"?

Fig. 3 Tabla de verdad de la disyunción inclusiva. Otras simbolizaciones de PvQ son P(Q, P(Q, y P+Q.

La disyunción inclusiva

Una tercera expresión lógica muy común es la disyunción. Aparece usualmente como la llamada "disyunción exclusiva". La encontramos cuando tenemos que elegir una de dos alternativas. Por ejemplo, "Los entes o son o no son". Esta disyunción "excluye" la posibilidad de que ambos hechos ocurran. Aunque sea posiblemente la disyunción más común, nosotros emplearemos una disyunción que "incluya" la posibilidad de que ambos disyuntos ocurran. Es la llamada "disyunción inclusiva" simbolizada mediante "v" (del latín vel). Por ejemplo, al decir "El ser humano es espíritu o es cuerpo" entenderemos la disyunción en este manual como inclusiva; así, esa proposición será verdad incluso si el ser humano es tanto espíritu como cuerpo.

Queda al buen criterio del lector detectar cuándo se usa la disyunción como inclusiva o como exclusiva. Un indicador de que se trata de inclusiva es el agregado "… o ambas cosas". Y un indicador de que se trata de exclusiva es el agregado "… pero no ambas cosas". Desgraciadamente la gente acostumbra omitir estas aclaraciones, por lo que debemos analizar el contexto para decidir de qué disyunción se trata. Lo que no es equívoco es la tabla de verdad de la disyunción inclusiva en la figura 3.

Ejercicios A veces en español la partícula "o" no significa una disyunción inclusiva, ni siquiera una disyunción veritativo-funcional. Identifique qué significa en las siguientes oraciones: 1. El v lógico inclusivo (al menos uno) ( ) Se es o no se es.

2. La disyunción exclusiva (uno sí y uno no) ( ) ¡La bolsa o la vida! 3. Alternativas necesariamente exhaustivas ( ) ¡Canta, o diosa! 4. Alternativas entre preguntas ( ) El platillo principal es pollo o cerdo.

5. Una invocación ( ) Una buena universidad tiene albercas o gimnasios.

6. Alternativas entre mandatos ( ) ¿Té o café?

Ejercicios Las estructuras de nuestro pensamiento son similares a otras estructuras en la realidad. Por ejemplo, una negación es como un invertor eléctrico, que cambia el signo de la corriente eléctrica por su opuesto.

Una conjunción es como una conexión en serie: sólo pasa la corriente si todos los miembros la dejan pasar.

Una disyunción es como una conexión en paralelo: basta que pase la corriente por uno de los miembros para que el circuito completo la deje pasar.

Con estos elementos pueden construirse complicadísimos circuitos eléctricos. En computación se les llama circuitos lógicos por su parecido con las conectivas lógicas proposicionales y forman la parte lógica de la unidad de procesamiento central (CPU) de las computadoras. En Japón se han desarrollado computadoras especialmente diseñadas para hacer inferencias lógicas (LIPS) y no simplemente millones de instrucciones por segundo (MIPS).

Implicación material

Las conectivas que hemos visto son suficientes para simbolizar cualquier estructura proposicional veritativo-funcional pero, para facilitar nuestros análisis, añadiremos otras dos expresiones lógicas. La implicación material (que también llamaremos "condicional material" o simplemente "condicional") y la equivalencia material (también llamada simplemente "equivalencia", "coimplicación material" o "bicondicional").

Un condicional puede a veces ser detectado por las mismas expresiones que mencionamos para identificar premisas y conclusiones. Esto es desafortunado porque no siempre es claro si estamos ofreciendo un condicional como verdadero o un argumento como válido. La regla es que un condicional no se compromete con la verdad de su antecedente ni con la de su consecuente. El argumento "Todo está permitido pues Dios ha muerto" sostiene dos proposiciones y dice que una de ellas es evidencia para la otra. En cambio, el condicional "Si Dios ha muerto, todo está permitido" no asevera ninguna de las proposiciones; sólo dice que no ocurre de hecho que Dios haya muerto y al mismo tiempo no todo esté permitido. Si ocurriera lo primero, pasaría lo segundo.

La tabla de verdad del condicional material está en la figura 5 que puede leerse como "no se da el caso de que lo primero sea verdad y lo segundo falso", "o bien lo primero es falso o bien lo segundo es verdad (o ambas cosas)", etc. Lo que ponemos antes del signo "(" lo llamamos, claro, "antecedente"; y a lo que le sigue, "consecuente". La condición suficiente es el antecedente y la necesaria el consecuente. También acostumbra leerse (P ( Q) como "Si P, entonces Q", aunque esto tiende a confundir el condicional material veritativo-funcional con el condicional del lenguaje ordinario, que normalmente no es veritativo-funcional. El principal problema de limitarnos a funciones de verdad es que la expresión lógica más importante, "permite deducir que", no es veritativo-funcional. Saber los valores de verdad de dos proposiciones atómicas o compuestas no siempre es suficiente para saber si de una se deduce la otra. Por ejemplo., supón que hubo un crimen, del que tú eres inocente, y nadie te vio en la escena (¿por qué te iban a ver? Tú no estuviste ahí, ¿verdad?). Eso hace falsas a las dos proposiciones "Te vieron en la escena del crimen" y "Tú eres culpable". Como ambas son falsas, el condicional material "Te vieron en la escena del crimen" ( "Tú eres culpable" es verdadero, pero del antecedente no se sigue el consecuente.

Fig. 5 Tabla de verdad de la implicación material. Otra simbolización de P(Q es P(Q, pero tiende a confundirse con la implicación.

Ejercicios Hay verdades sobre la implicación material que no son verdad de una implicación estrictamente hablando. Explica por qué las siguientes oraciones son verdaderas cuando se lee el ( como "ocurre de momento que no se da lo primero sin lo segundo" (implicación material), pero son falsas cuando se lee como "por lo tanto se deduce necesariamente que" (implicación estricta).

SABÍAS QUE… El calificativo "material" se usa para indicar que sólo atendemos a la "materia" de las proposiciones, su verdad o su falsedad, y no al resto de su significado. Esa materia es todo lo que se requiere para calcular el valor de verdad de la implicación y la equivalencia materiales.

¿Por qué entonces usamos el condicional material? El condicional material es uno de los requisitos para la verdad de una implicación en sentido estricto. Sabemos que, en un razonamiento válido, si las premisas son verdaderas la conclusión no es falsa. Este condicional asociado es algo veritativo-funcional pues nos dice: "Es falso que (lo primero y no lo segundo)" lo cual simbolizamos como -(lo primero & -lo segundo) y esa es nuestra conocida implicación material. Simbolizamos las implicaciones estrictas con la implicación material porque es una condición necesaria, aunque en general no suficiente, de una verdadera implicación.

En adelante abreviaremos las expresiones no veritativo-funcionales de implicación como si fueran veritativo-funcionales. Simbolizaremos "De que pienso se sigue necesariamente que existo" como "(P ( Q)" que dice que no es el caso, de hecho, de que piense sin existir en este momento. La razón es que si no puede ocurrir (P & -Q), entonces ciertamente no ocurre. Por ello puedo simbolizar una implicación estricta con una implicación material. Perderemos información pero al menos no habrá riesgo de decir algo que no estuviera ya contenido en los datos originales. Pero, cuidado, hay que recordar que el camino inverso no es posible en general. El que la relación de valores de "(" no ocurre no significa que no pueda ocurrir. El que hasta ahora a las revoluciones ("R") les acompañe la violencia ("V") no significa que no pueda ser falsa esa relación de valores de verdad. Aunque sea cierto que (R ( V), aun así de R no se sigue V logicamente.

¿Quiere esto decir que nunca podemos pasar del condicional material a la implicación estricta? No exactamente. Si sabemos que la implicación material es falsa entonces no puede haber implicación estricta porque si la relación de valores es falsa, entonces no puede ser necesaria. Por supuesto, siempre que probemos que la implicación material es necesaria sabremos que la implicación estricta es verdadera también. Aunque todavía no podemos simbolizar la implicación (que no es veritativo-funcional), simbolizaremos por lo menos la implicación material; si descubrimos que esa implicación material es necesaria, el razonamiento será válido, habrá implicación en sentido estricto. Si, por el contrario, descubrimos que la implicación material es falsa, el razonamiento será inválido pues no puede haber implicación en sentido estricto. El tercer caso (que ni sea necesaria ni falsa la implicación material) indica que nuestros análisis lógicos elementales son insuficientes y que necesitamos herramientas más sofisticadas. Ejercicios Diga cuáles de los siguientes condicionales son ciertos y por qué:

• 1. Si hay pecados perdonables, entonces ser pecador no implica no tener esperanza de perdón.

• 2. Si no es cierto que no se viaja sin pagar, entonces pagar no es condición necesaria para viajar.

• 3. Si de hecho no se viaja sin pagar, entonces pagar es condición necesaria para viajar.

• 4. Si todos los enfermos de SIDA son homosexuales, entonces de tener SIDA se deduce que se es homosexual.

• 5. Si de ser joven se dedujera que se es inexperto, entonces no se es joven sin ser inexperto.

• 6. Si la religiosidad implicara estrictamente la superstición, entonces la religiosidad implicaría materialmente la superstición.

• 7. Si de la riqueza no se sigue lógicamente la felicidad, entonces es falso que no se es rico sin ser feliz.

• 8. Si trabajar mucho no implica reconocimiento por parte de los demás, entonces los que trabajan mucho no son reconocidos por otros

Hemos visto que no podemos simbolizar todos los condicionales del lenguaje natural como condicionales materiales. Ciertamente, no los condicionales estrictos pues al traducir una implicación como "(", casi siempre la debilitamos.

Ahora bien, una implicación estricta puede aparecer a su vez como una premisa en un argumento (o como un antecedente en otro condicional). Si reemplazamos esa implicación estricta con una implicación material estaremos queriendo extraer la conclusión (o el consecuente) de algo más débil. Esto hace al argumento (o al condicional) más "arriesgado" de lo que era. Claro, a alguna gente le agradará la oportunidad de decir algo más atrevido y controvertible. El problema es no confundir ambas versiones cuando estamos tratando de entender lo que se dijo exactamente. Por ejemplo, no sería justo dar por refutado el original simplemente refutando la versión más arriesgada.

De manera simétrica, si se debilita con "(" la conclusión de un argumento (o el consecuente de un condicional) no podremos dar por probado el argumento (o el condicional) fuerte original simplemente porque probamos una versión más segura que se compromete a menos. Habremos probado algo más seguro solamente.

Recapitulando: el simbolizar una implicación estricta mediante "(" casi siempre es un debilitamiento, pues nos quedarnos con una parte necesaria pero normalmente no suficiente de la implicación original. Si debilitamos con esta simbolización a una premisa (o a un antecedente) estamos haciendo más arriesgado al argumento (o al condicional); en cambio si debilitamos una conclusión (o un consecuente) hacemos más seguro al argumento (o al condicional). Eso está bien si es lo que queríamos hacer, pero no podemos refutar algo simplemente refutando una versión más arriesgada, ni podemos probar algo simplemente probando una versión más segura. En cambio si podemos dar por refutado algo cuando refutamos su versión más segura, y lo probamos cuando probamos su versión más arriesgada

SABÍAS QUE… Para hacer más fuerte un argumento, haz estrictas a las implicaciones en las premisas, y materiales en las conclusiones. ¿Cuál será la receta con las equivalencias en premisas y conclusiones? Ejercicios Evalúe las diferentes versiones del siguiente condicional: "Si las creencias que involucran solamente ideas claras y distintas deben ser verdaderas, entonces de que pienso se sigue necesariamente que existo".

Evalúe ahora las diferentes versiones de la negación: "No es verdad que si las creencias que involucran solamente ideas claras y distintas deben ser verdaderas, entonces de que pienso se sigue necesariamente que existo".

Fig. 6 Tabla de verdad de la equivalencia material. Otras simbolizaciones de P(Q son P(Q y P=Q, pero tienden a confundirse con la coimplicación y la identidad.

SABÍAS QUE… La implicación estricta fue formalizada por Clarence Irving Lewis. Se define como la "necesitación" del condicional material: ( (P ( Q), es decir "Necesariamente no es P verdad y Q falso".

¿Cómo podría definirse la equivalencia estricta?

Equivalencia material

La tabla de la equivalencia material está en la figura 6, que puede leerse como "no se da de hecho que lo primero y lo segundo tengan distintos valores de verdad", u "o los dos son verdaderos o los dos son falsos". Lo único que dice es que las proposiciones que une tienen igual valor de verdad. No dice que sean lo mismo ni que una se deduzca de la otra.

A veces, pero no siempre, una equivalencia material se presenta como:

P si y sólo si Q P es lo mismo que Q

Es tan falso P como Q

Es tan cierto P como Q No hay diferencia entre decir P o decir Q.

Hay dos peligros con la equivalencia material: usarla para simbolizar algo que decía más (lo que es atribuir menos), y usarla para simbolizar algo que decía menos (lo que es atribuir cosas que nunca se dijeron).