Introducción

Proposiciones atómicas y moleculares

¿Qué son las conectivas lógicas?
Conectivas lógicas
Interdefinición de conectivas lógicas
Referencias

Conectivas Lógicas

Cristian Alejandro Gutiérrez Ramı́rez

Universidad Nacional Autónoma de México

Facultad de Filosofı́a y Letras

cristian.mate@gmail.com

C. Gutiérrez Conectivas Lógicas

 Introducción
Proposiciones atómicas y moleculares
¿Qué son las conectivas lógicas?
Conectivas lógicas
Interdefinición de conectivas lógicas
Referencias

Índice
1 Introducción
2 Proposiciones atómicas y moleculares
Proposiciones atómicas
Proposiciones moleculares
3 ¿Qué son las conectivas lógicas?
¿Qué son las conectivas lógicas?
Principios semánticos
4 Conectivas lógicas
Negación ¬
Conjunción &
Disyunción inclusiva ∨
Disyunción exclusiva 6≡
Condicional material o implicación material ⊃
Bicondicional material o equivalencia material ≡
Otras conectivas lógicas
5 Interdefinición de conectivas lógicas
6 Referencias
C. Gutiérrez Conectivas Lógicas
 Introducción
Proposiciones atómicas y moleculares
¿Qué son las conectivas lógicas?
Conectivas lógicas
Interdefinición de conectivas lógicas
Referencias

Introducción

Las conectivas lógicas son partı́culas que nos permiten establecer

relaciones entre enunciados (proposiciones) en términos de sus
valores de verdad.

C. Gutiérrez Conectivas Lógicas

 Introducción
Proposiciones atómicas y moleculares
¿Qué son las conectivas lógicas?
Conectivas lógicas
Interdefinición de conectivas lógicas
Referencias

Introducción

Las conectivas lógicas son partı́culas que nos permiten establecer

relaciones entre enunciados (proposiciones) en términos de sus
valores de verdad.

Existen muchas perspectivas para abordarlas. Nosotros tomaremos

un punto de vista clásico (semántico).

C. Gutiérrez Conectivas Lógicas

 Introducción
Proposiciones atómicas y moleculares
¿Qué son las conectivas lógicas?
Conectivas lógicas
Interdefinición de conectivas lógicas
Referencias

Ejemplos de Enunciados

C. Gutiérrez Conectivas Lógicas

 Introducción
Proposiciones atómicas y moleculares
¿Qué son las conectivas lógicas?
Conectivas lógicas
Interdefinición de conectivas lógicas
Referencias

Ejemplos de Enunciados

(1) Está lloviendo.

C. Gutiérrez Conectivas Lógicas

 Introducción
Proposiciones atómicas y moleculares
¿Qué son las conectivas lógicas?
Conectivas lógicas
Interdefinición de conectivas lógicas
Referencias

Ejemplos de Enunciados

(1) Está lloviendo.

(2) Si la clase de Lógica acaba temprano, entonces podemos ir a

Coyoacán.

C. Gutiérrez Conectivas Lógicas

 Introducción
Proposiciones atómicas y moleculares
¿Qué son las conectivas lógicas?
Conectivas lógicas
Interdefinición de conectivas lógicas
Referencias

Ejemplos de Enunciados

(1) Está lloviendo.

(2) Si la clase de Lógica acaba temprano, entonces podemos ir a

Coyoacán.

(3) Ni me caes bien, ni te considero mi amigo.

C. Gutiérrez Conectivas Lógicas

 Introducción
Proposiciones atómicas y moleculares
¿Qué son las conectivas lógicas?
Conectivas lógicas
Interdefinición de conectivas lógicas
Referencias

Ejemplos de Enunciados

(1) Está lloviendo.

(2) Si la clase de Lógica acaba temprano, entonces podemos ir a

Coyoacán.

(3) Ni me caes bien, ni te considero mi amigo.

(4) Ya sea que el éxtasis segundo del acontecimiento como tal

descubre la radical fundamentación del todo en la nada o
existe al menos un objeto.

C. Gutiérrez Conectivas Lógicas

 Introducción
Proposiciones atómicas y moleculares
¿Qué son las conectivas lógicas?
Conectivas lógicas
Interdefinición de conectivas lógicas
Referencias

Ejemplos de Enunciados

(1) Está lloviendo.

(2) Si la clase de Lógica acaba temprano, entonces podemos ir a

Coyoacán.

(3) Ni me caes bien, ni te considero mi amigo.

(4) Ya sea que el éxtasis segundo del acontecimiento como tal

descubre la radical fundamentación del todo en la nada o
existe al menos un objeto.

(5) Hoy enterramos tu cuerpo.

C. Gutiérrez Conectivas Lógicas

 Introducción
Proposiciones atómicas y moleculares
¿Qué son las conectivas lógicas?
Conectivas lógicas
Interdefinición de conectivas lógicas
Referencias

¿En qué son diferentes estas oraciones?

C. Gutiérrez Conectivas Lógicas

 Introducción
Proposiciones atómicas y moleculares
¿Qué son las conectivas lógicas?
Conectivas lógicas
Interdefinición de conectivas lógicas
Referencias

¿En qué son diferentes estas oraciones?

• Algunas de estas proposiciones son más complejas que otras.

C. Gutiérrez Conectivas Lógicas

 Introducción
Proposiciones atómicas y moleculares
¿Qué son las conectivas lógicas?
Conectivas lógicas
Interdefinición de conectivas lógicas
Referencias

¿En qué son diferentes estas oraciones?

• Algunas de estas proposiciones son más complejas que otras.

• Unas parecen tener “partes” y otras no.

C. Gutiérrez Conectivas Lógicas

 Introducción
Proposiciones atómicas y moleculares
¿Qué son las conectivas lógicas?
Conectivas lógicas
Interdefinición de conectivas lógicas
Referencias

¿En qué son diferentes estas oraciones?

• Algunas de estas proposiciones son más complejas que otras.

• Unas parecen tener “partes” y otras no.

• Esta idea de tener “partes” tiene sentido si pensamos que ciertas

proposiciones hablan de varios hechos, mientras que otras
hablan sólo de uno.

C. Gutiérrez Conectivas Lógicas

 Introducción
Proposiciones atómicas y moleculares
¿Qué son las conectivas lógicas? Proposiciones atómicas
Conectivas lógicas Proposiciones moleculares
Interdefinición de conectivas lógicas
Referencias

Proposiciones atómicas

C. Gutiérrez Conectivas Lógicas

 Introducción
Proposiciones atómicas y moleculares
¿Qué son las conectivas lógicas? Proposiciones atómicas
Conectivas lógicas Proposiciones moleculares
Interdefinición de conectivas lógicas
Referencias

Proposiciones atómicas

Las proposiciones que se refieren a sólo un hecho son llamadas

proposiciones atómicas.

C. Gutiérrez Conectivas Lógicas

 Introducción
Proposiciones atómicas y moleculares
¿Qué son las conectivas lógicas? Proposiciones atómicas
Conectivas lógicas Proposiciones moleculares
Interdefinición de conectivas lógicas
Referencias

Proposiciones atómicas

Las proposiciones que se refieren a sólo un hecho son llamadas

proposiciones atómicas.

Las proposiciones son expresadas por oraciones declarativas que

(tı́picamente) atribuyen 1) una propiedad o acción a un objeto, 2)
una propiedad o acción a una clase de objetos, 3) una relación
entre objetos o 4) una relación entre clases de objetos.

C. Gutiérrez Conectivas Lógicas

 Introducción
Proposiciones atómicas y moleculares
¿Qué son las conectivas lógicas? Proposiciones atómicas
Conectivas lógicas Proposiciones moleculares
Interdefinición de conectivas lógicas
Referencias

Ejemplos de proposiciones de atómicas

C. Gutiérrez Conectivas Lógicas

 Introducción
Proposiciones atómicas y moleculares
¿Qué son las conectivas lógicas? Proposiciones atómicas
Conectivas lógicas Proposiciones moleculares
Interdefinición de conectivas lógicas
Referencias

Ejemplos de proposiciones de atómicas

(1) Dios existe.

C. Gutiérrez Conectivas Lógicas

 Introducción
Proposiciones atómicas y moleculares
¿Qué son las conectivas lógicas? Proposiciones atómicas
Conectivas lógicas Proposiciones moleculares
Interdefinición de conectivas lógicas
Referencias

Ejemplos de proposiciones de atómicas

(1) Dios existe.

(2) Juan es feliz.

C. Gutiérrez Conectivas Lógicas

 Introducción
Proposiciones atómicas y moleculares
¿Qué son las conectivas lógicas? Proposiciones atómicas
Conectivas lógicas Proposiciones moleculares
Interdefinición de conectivas lógicas
Referencias

Ejemplos de proposiciones de atómicas

(1) Dios existe.

(2) Juan es feliz.
(3) Arturo está corriendo.

C. Gutiérrez Conectivas Lógicas

 Introducción
Proposiciones atómicas y moleculares
¿Qué son las conectivas lógicas? Proposiciones atómicas
Conectivas lógicas Proposiciones moleculares
Interdefinición de conectivas lógicas
Referencias

Ejemplos de proposiciones de atómicas

(1) Dios existe.

(2) Juan es feliz.
(3) Arturo está corriendo.
(4) Los filósofos son humildes.

C. Gutiérrez Conectivas Lógicas

 Introducción
Proposiciones atómicas y moleculares
¿Qué son las conectivas lógicas? Proposiciones atómicas
Conectivas lógicas Proposiciones moleculares
Interdefinición de conectivas lógicas
Referencias

Ejemplos de proposiciones de atómicas

(1) Dios existe.

(2) Juan es feliz.
(3) Arturo está corriendo.
(4) Los filósofos son humildes.
(5) El dinero es una institución social.

C. Gutiérrez Conectivas Lógicas

 Introducción
Proposiciones atómicas y moleculares
¿Qué son las conectivas lógicas? Proposiciones atómicas
Conectivas lógicas Proposiciones moleculares
Interdefinición de conectivas lógicas
Referencias

Ejemplos de proposiciones de atómicas

(1) Dios existe.

(2) Juan es feliz.
(3) Arturo está corriendo.
(4) Los filósofos son humildes.
(5) El dinero es una institución social.
(6) Las cosmovisiones son maneras coherentes de ver al universo.

C. Gutiérrez Conectivas Lógicas

 Introducción
Proposiciones atómicas y moleculares
¿Qué son las conectivas lógicas? Proposiciones atómicas
Conectivas lógicas Proposiciones moleculares
Interdefinición de conectivas lógicas
Referencias

Ejemplos de proposiciones de atómicas

(1) Dios existe.

(2) Juan es feliz.
(3) Arturo está corriendo.
(4) Los filósofos son humildes.
(5) El dinero es una institución social.
(6) Las cosmovisiones son maneras coherentes de ver al universo.
(7) Safiro y Nicté son buenas amigas.

C. Gutiérrez Conectivas Lógicas

 Introducción
Proposiciones atómicas y moleculares
¿Qué son las conectivas lógicas? Proposiciones atómicas
Conectivas lógicas Proposiciones moleculares
Interdefinición de conectivas lógicas
Referencias

Ejemplos de proposiciones de atómicas

(1) Dios existe.

(2) Juan es feliz.
(3) Arturo está corriendo.
(4) Los filósofos son humildes.
(5) El dinero es una institución social.
(6) Las cosmovisiones son maneras coherentes de ver al universo.
(7) Safiro y Nicté son buenas amigas.
(8) Los números son objetos abstractos.

C. Gutiérrez Conectivas Lógicas

 Introducción
Proposiciones atómicas y moleculares
¿Qué son las conectivas lógicas? Proposiciones atómicas
Conectivas lógicas Proposiciones moleculares
Interdefinición de conectivas lógicas
Referencias

Ejemplos de proposiciones de atómicas

(1) Dios existe.

(2) Juan es feliz.
(3) Arturo está corriendo.
(4) Los filósofos son humildes.
(5) El dinero es una institución social.
(6) Las cosmovisiones son maneras coherentes de ver al universo.
(7) Safiro y Nicté son buenas amigas.
(8) Los números son objetos abstractos.
(9) Los sociólogos son parte del grupo de los cientı́ficos sociales.

C. Gutiérrez Conectivas Lógicas

 Introducción
Proposiciones atómicas y moleculares
¿Qué son las conectivas lógicas? Proposiciones atómicas
Conectivas lógicas Proposiciones moleculares
Interdefinición de conectivas lógicas
Referencias

Proposiciones moleculares

C. Gutiérrez Conectivas Lógicas

 Introducción
Proposiciones atómicas y moleculares
¿Qué son las conectivas lógicas? Proposiciones atómicas
Conectivas lógicas Proposiciones moleculares
Interdefinición de conectivas lógicas
Referencias

Proposiciones moleculares

Las proposiciones que se forman a partir de las proposiciones

atómicas (u otras proposiciones moleculares más sencillas) unidas
por conectores son llamadas proposiciones moleculares.

C. Gutiérrez Conectivas Lógicas

 Introducción
Proposiciones atómicas y moleculares
¿Qué son las conectivas lógicas? Proposiciones atómicas
Conectivas lógicas Proposiciones moleculares
Interdefinición de conectivas lógicas
Referencias

Proposiciones moleculares

Las proposiciones que se forman a partir de las proposiciones

atómicas (u otras proposiciones moleculares más sencillas) unidas
por conectores son llamadas proposiciones moleculares.

Las proposiciones moleculares expresan relaciones de diferentes

tipos entre las proposiciones que las conforman (o entre los
hechos que de los que hablan).

C. Gutiérrez Conectivas Lógicas

 Introducción
Proposiciones atómicas y moleculares
¿Qué son las conectivas lógicas? Proposiciones atómicas
Conectivas lógicas Proposiciones moleculares
Interdefinición de conectivas lógicas
Referencias

Proposiciones moleculares

Las proposiciones que se forman a partir de las proposiciones

atómicas (u otras proposiciones moleculares más sencillas) unidas
por conectores son llamadas proposiciones moleculares.

Las proposiciones moleculares expresan relaciones de diferentes

tipos entre las proposiciones que las conforman (o entre los
hechos que de los que hablan).

Nosotros nos concentraremos en las relaciones entre los valores de

verdad de las proposiciones que forman parte de la proposición
molecular.

C. Gutiérrez Conectivas Lógicas

 Introducción
Proposiciones atómicas y moleculares
¿Qué son las conectivas lógicas? Proposiciones atómicas
Conectivas lógicas Proposiciones moleculares
Interdefinición de conectivas lógicas
Referencias

Ejemplos de proposiciones moleculares

C. Gutiérrez Conectivas Lógicas

 Introducción
Proposiciones atómicas y moleculares
¿Qué son las conectivas lógicas? Proposiciones atómicas
Conectivas lógicas Proposiciones moleculares
Interdefinición de conectivas lógicas
Referencias

Ejemplos de proposiciones moleculares

(1) Juan no es feliz.

C. Gutiérrez Conectivas Lógicas

 Introducción
Proposiciones atómicas y moleculares
¿Qué son las conectivas lógicas? Proposiciones atómicas
Conectivas lógicas Proposiciones moleculares
Interdefinición de conectivas lógicas
Referencias

Ejemplos de proposiciones moleculares

(1) Juan no es feliz.

(2) El dinero es una institución social y Dios existe.

C. Gutiérrez Conectivas Lógicas

 Introducción
Proposiciones atómicas y moleculares
¿Qué son las conectivas lógicas? Proposiciones atómicas
Conectivas lógicas Proposiciones moleculares
Interdefinición de conectivas lógicas
Referencias

Ejemplos de proposiciones moleculares

(1) Juan no es feliz.

(2) El dinero es una institución social y Dios existe.
(3) Si una cosmovisión es una manera coherente de ver al
universo, entonces yo tengo una.

C. Gutiérrez Conectivas Lógicas

 Introducción
Proposiciones atómicas y moleculares
¿Qué son las conectivas lógicas? Proposiciones atómicas
Conectivas lógicas Proposiciones moleculares
Interdefinición de conectivas lógicas
Referencias

Ejemplos de proposiciones moleculares

(1) Juan no es feliz.

(2) El dinero es una institución social y Dios existe.
(3) Si una cosmovisión es una manera coherente de ver al
universo, entonces yo tengo una.
(4) Nicté y Safiro son buenas amigas si y sólo si sus madres
también son buenas amigas.

C. Gutiérrez Conectivas Lógicas

 Introducción
Proposiciones atómicas y moleculares
¿Qué son las conectivas lógicas? Proposiciones atómicas
Conectivas lógicas Proposiciones moleculares
Interdefinición de conectivas lógicas
Referencias

Ejemplos de proposiciones moleculares

(1) Juan no es feliz.

(2) El dinero es una institución social y Dios existe.
(3) Si una cosmovisión es una manera coherente de ver al
universo, entonces yo tengo una.
(4) Nicté y Safiro son buenas amigas si y sólo si sus madres
también son buenas amigas.
(5) O los filósofos son humildes o no lo son.

C. Gutiérrez Conectivas Lógicas

 Introducción
Proposiciones atómicas y moleculares
¿Qué son las conectivas lógicas? Proposiciones atómicas
Conectivas lógicas Proposiciones moleculares
Interdefinición de conectivas lógicas
Referencias

La función de las conectivas lógicas

Las conectivas o constantes lógicas proposicionales son las relaciones que
existen entre los valores de verdad de las proposiciones que componen la
proposición molecular.

C. Gutiérrez Conectivas Lógicas

 Introducción
Proposiciones atómicas y moleculares
¿Qué son las conectivas lógicas? Proposiciones atómicas
Conectivas lógicas Proposiciones moleculares
Interdefinición de conectivas lógicas
Referencias

La función de las conectivas lógicas

Las conectivas o constantes lógicas proposicionales son las relaciones que
existen entre los valores de verdad de las proposiciones que componen la
proposición molecular.
Algunas palabras o combinaciones de palabras pueden servir para expresar
dichas relaciones.

C. Gutiérrez Conectivas Lógicas

 Introducción
Proposiciones atómicas y moleculares
¿Qué son las conectivas lógicas? Proposiciones atómicas
Conectivas lógicas Proposiciones moleculares
Interdefinición de conectivas lógicas
Referencias

La función de las conectivas lógicas

Las conectivas o constantes lógicas proposicionales son las relaciones que
existen entre los valores de verdad de las proposiciones que componen la
proposición molecular.
Algunas palabras o combinaciones de palabras pueden servir para expresar
dichas relaciones.

Ejemplos:

C. Gutiérrez Conectivas Lógicas

 Introducción
Proposiciones atómicas y moleculares
¿Qué son las conectivas lógicas? Proposiciones atómicas
Conectivas lógicas Proposiciones moleculares
Interdefinición de conectivas lógicas
Referencias

La función de las conectivas lógicas

Las conectivas o constantes lógicas proposicionales son las relaciones que
existen entre los valores de verdad de las proposiciones que componen la
proposición molecular.
Algunas palabras o combinaciones de palabras pueden servir para expresar
dichas relaciones.

Ejemplos:

(1) Juan no es feliz.

C. Gutiérrez Conectivas Lógicas

 Introducción
Proposiciones atómicas y moleculares
¿Qué son las conectivas lógicas? Proposiciones atómicas
Conectivas lógicas Proposiciones moleculares
Interdefinición de conectivas lógicas
Referencias

La función de las conectivas lógicas

Las conectivas o constantes lógicas proposicionales son las relaciones que
existen entre los valores de verdad de las proposiciones que componen la
proposición molecular.
Algunas palabras o combinaciones de palabras pueden servir para expresar
dichas relaciones.

Ejemplos:

(1) Juan no es feliz.

(2) El dinero es una institución social y Dios existe.

C. Gutiérrez Conectivas Lógicas

 Introducción
Proposiciones atómicas y moleculares
¿Qué son las conectivas lógicas? Proposiciones atómicas
Conectivas lógicas Proposiciones moleculares
Interdefinición de conectivas lógicas
Referencias

La función de las conectivas lógicas

Las conectivas o constantes lógicas proposicionales son las relaciones que
existen entre los valores de verdad de las proposiciones que componen la
proposición molecular.
Algunas palabras o combinaciones de palabras pueden servir para expresar
dichas relaciones.

Ejemplos:

(1) Juan no es feliz.

(2) El dinero es una institución social y Dios existe.
(3) Si una cosmovisión es una manera coherente de ver al universo, entonces
yo tengo una.

C. Gutiérrez Conectivas Lógicas

 Introducción
Proposiciones atómicas y moleculares
¿Qué son las conectivas lógicas? Proposiciones atómicas
Conectivas lógicas Proposiciones moleculares
Interdefinición de conectivas lógicas
Referencias

La función de las conectivas lógicas

Las conectivas o constantes lógicas proposicionales son las relaciones que
existen entre los valores de verdad de las proposiciones que componen la
proposición molecular.
Algunas palabras o combinaciones de palabras pueden servir para expresar
dichas relaciones.

Ejemplos:

(1) Juan no es feliz.

(2) El dinero es una institución social y Dios existe.
(3) Si una cosmovisión es una manera coherente de ver al universo, entonces
yo tengo una.
(4) Nicté y Safiro son buenas amigas si y sólo si sus madres también son
buenas amigas.

C. Gutiérrez Conectivas Lógicas

 Introducción
Proposiciones atómicas y moleculares
¿Qué son las conectivas lógicas? Proposiciones atómicas
Conectivas lógicas Proposiciones moleculares
Interdefinición de conectivas lógicas
Referencias

La función de las conectivas lógicas

Las conectivas o constantes lógicas proposicionales son las relaciones que
existen entre los valores de verdad de las proposiciones que componen la
proposición molecular.
Algunas palabras o combinaciones de palabras pueden servir para expresar
dichas relaciones.

Ejemplos:

(1) Juan no es feliz.

(2) El dinero es una institución social y Dios existe.
(3) Si una cosmovisión es una manera coherente de ver al universo, entonces
yo tengo una.
(4) Nicté y Safiro son buenas amigas si y sólo si sus madres también son
buenas amigas.
(5) O los filósofos son humildes o no lo son.
C. Gutiérrez Conectivas Lógicas
 Introducción
Proposiciones atómicas y moleculares
¿Qué son las conectivas lógicas? ¿Qué son las conectivas lógicas?
Conectivas lógicas Principios semánticos
Interdefinición de conectivas lógicas
Referencias

¿Por qué son llamadas constantes lógicas?

C. Gutiérrez Conectivas Lógicas

 Introducción
Proposiciones atómicas y moleculares
¿Qué son las conectivas lógicas? ¿Qué son las conectivas lógicas?
Conectivas lógicas Principios semánticos
Interdefinición de conectivas lógicas
Referencias

¿Por qué son llamadas constantes lógicas?

(1) Son constantes pues su interpretación no cambia.

C. Gutiérrez Conectivas Lógicas

 Introducción
Proposiciones atómicas y moleculares
¿Qué son las conectivas lógicas? ¿Qué son las conectivas lógicas?
Conectivas lógicas Principios semánticos
Interdefinición de conectivas lógicas
Referencias

¿Por qué son llamadas constantes lógicas?

(1) Son constantes pues su interpretación no cambia.

(2) Son lógicas pues permiten hacer inferencias deductivas.

C. Gutiérrez Conectivas Lógicas

 Introducción
Proposiciones atómicas y moleculares
¿Qué son las conectivas lógicas? ¿Qué son las conectivas lógicas?
Conectivas lógicas Principios semánticos
Interdefinición de conectivas lógicas
Referencias

Funciones de verdad

C. Gutiérrez Conectivas Lógicas

 Introducción
Proposiciones atómicas y moleculares
¿Qué son las conectivas lógicas? ¿Qué son las conectivas lógicas?
Conectivas lógicas Principios semánticos
Interdefinición de conectivas lógicas
Referencias

Funciones de verdad

Semánticamente, las conectivas lógicas proposicionales son

funciones de verdad.

C. Gutiérrez Conectivas Lógicas

 Introducción
Proposiciones atómicas y moleculares
¿Qué son las conectivas lógicas? ¿Qué son las conectivas lógicas?
Conectivas lógicas Principios semánticos
Interdefinición de conectivas lógicas
Referencias

Funciones de verdad

Semánticamente, las conectivas lógicas proposicionales son

funciones de verdad.

Es decir, toman los valores de verdad de las proposiciones que

“unen” y devuelven otro valor de verdad.

C. Gutiérrez Conectivas Lógicas

 Introducción
Proposiciones atómicas y moleculares
¿Qué son las conectivas lógicas? ¿Qué son las conectivas lógicas?
Conectivas lógicas Principios semánticos
Interdefinición de conectivas lógicas
Referencias

Principios semánticos detrás de nuestra lógica

C. Gutiérrez Conectivas Lógicas

 Introducción
Proposiciones atómicas y moleculares
¿Qué son las conectivas lógicas? ¿Qué son las conectivas lógicas?
Conectivas lógicas Principios semánticos
Interdefinición de conectivas lógicas
Referencias

Principios semánticos detrás de nuestra lógica

1. Sólo hay dos valores de verdad: Verdadero y Falso.

C. Gutiérrez Conectivas Lógicas

 Introducción
Proposiciones atómicas y moleculares
¿Qué son las conectivas lógicas? ¿Qué son las conectivas lógicas?
Conectivas lógicas Principios semánticos
Interdefinición de conectivas lógicas
Referencias

Principios semánticos detrás de nuestra lógica

1. Sólo hay dos valores de verdad: Verdadero y Falso.

2. Toda proposición atómica tiene valor de verdad.

C. Gutiérrez Conectivas Lógicas

 Introducción
Proposiciones atómicas y moleculares
¿Qué son las conectivas lógicas? ¿Qué son las conectivas lógicas?
Conectivas lógicas Principios semánticos
Interdefinición de conectivas lógicas
Referencias

Principios semánticos detrás de nuestra lógica

1. Sólo hay dos valores de verdad: Verdadero y Falso.

2. Toda proposición atómica tiene valor de verdad.

3. Toda proposición atómica tiene un sólo valor de verdad.

C. Gutiérrez Conectivas Lógicas

 Introducción
Proposiciones atómicas y moleculares
¿Qué son las conectivas lógicas? ¿Qué son las conectivas lógicas?
Conectivas lógicas Principios semánticos
Interdefinición de conectivas lógicas
Referencias

Principios semánticos detrás de nuestra lógica

1. Sólo hay dos valores de verdad: Verdadero y Falso.

2. Toda proposición atómica tiene valor de verdad.

3. Toda proposición atómica tiene un sólo valor de verdad.

4. El valor de verdad de las proposiciones moleculares

está completamente determinado por los valores de verdad de
las proposiciones atómicas que la componen y por el significado
de las conectivas lógicas. (Principio de composicionalidad)

C. Gutiérrez Conectivas Lógicas

 Introducción
Proposiciones atómicas y moleculares
¿Qué son las conectivas lógicas? ¿Qué son las conectivas lógicas?
Conectivas lógicas Principios semánticos
Interdefinición de conectivas lógicas
Referencias

Función valuación

Función valuación
Una función valuación es una función que le asigna a todas las
proposiciones atómicas un único valor de verdad. Se denota como
v.

C. Gutiérrez Conectivas Lógicas

 Introducción
Proposiciones atómicas y moleculares
¿Qué son las conectivas lógicas? ¿Qué son las conectivas lógicas?
Conectivas lógicas Principios semánticos
Interdefinición de conectivas lógicas
Referencias

Función valuación

Función valuación
Una función valuación es una función que le asigna a todas las
proposiciones atómicas un único valor de verdad. Se denota como
v.

Ejemplo:

C. Gutiérrez Conectivas Lógicas

 Introducción
Proposiciones atómicas y moleculares
¿Qué son las conectivas lógicas? ¿Qué son las conectivas lógicas?
Conectivas lógicas Principios semánticos
Interdefinición de conectivas lógicas
Referencias

Función valuación

Función valuación
Una función valuación es una función que le asigna a todas las
proposiciones atómicas un único valor de verdad. Se denota como
v.

Ejemplo:
v (P) = V
v (Q) = F
v (R) = V
v (S) = V
...

C. Gutiérrez Conectivas Lógicas

 Introducción
Proposiciones atómicas y moleculares
¿Qué son las conectivas lógicas? ¿Qué son las conectivas lógicas?
Conectivas lógicas Principios semánticos
Interdefinición de conectivas lógicas
Referencias

Conectivas lógicas como funciones de verdad

C. Gutiérrez Conectivas Lógicas

 Introducción
Proposiciones atómicas y moleculares
¿Qué son las conectivas lógicas? ¿Qué son las conectivas lógicas?
Conectivas lógicas Principios semánticos
Interdefinición de conectivas lógicas
Referencias

Conectivas lógicas como funciones de verdad

Una vez que tenemos la función valuación podemos saber el valor

de verdad de una proposición molecular usando las funciones de
verdad.

C. Gutiérrez Conectivas Lógicas

 Introducción
Proposiciones atómicas y moleculares
¿Qué son las conectivas lógicas? ¿Qué son las conectivas lógicas?
Conectivas lógicas Principios semánticos
Interdefinición de conectivas lógicas
Referencias

Conectivas lógicas como funciones de verdad

Una vez que tenemos la función valuación podemos saber el valor

de verdad de una proposición molecular usando las funciones de
verdad.

Las conectivas reciben como “entradas” valores de verdad y

devuelven como “salidas” valores de verdad.

C. Gutiérrez Conectivas Lógicas

 Introducción
Proposiciones atómicas y moleculares
¿Qué son las conectivas lógicas? ¿Qué son las conectivas lógicas?
Conectivas lógicas Principios semánticos
Interdefinición de conectivas lógicas
Referencias

Conectivas lógicas como funciones de verdad

Una vez que tenemos la función valuación podemos saber el valor

de verdad de una proposición molecular usando las funciones de
verdad.

Las conectivas reciben como “entradas” valores de verdad y

devuelven como “salidas” valores de verdad.

Para cada “entrada” la función de verdad te devuelve una única

“salida”.

C. Gutiérrez Conectivas Lógicas

 Introducción
Proposiciones atómicas y moleculares
¿Qué son las conectivas lógicas? ¿Qué son las conectivas lógicas?
Conectivas lógicas Principios semánticos
Interdefinición de conectivas lógicas
Referencias

Conectivas lógicas como funciones de verdad

Una vez que tenemos la función valuación podemos saber el valor

de verdad de una proposición molecular usando las funciones de
verdad.

Las conectivas reciben como “entradas” valores de verdad y

devuelven como “salidas” valores de verdad.

Para cada “entrada” la función de verdad te devuelve una única

“salida”.

Estas funciones de verdad son descritas por las tablas de verdad y

reglas semánticas; que hacen explı́citas las “salidas” para cada
“entrada”.

C. Gutiérrez Conectivas Lógicas

 Negación ¬
Introducción
Conjunción &
Proposiciones atómicas y moleculares
Disyunción inclusiva ∨
¿Qué son las conectivas lógicas?
Disyunción exclusiva 6≡
Conectivas lógicas
Condicional material o implicación material ⊃
Interdefinición de conectivas lógicas
Bicondicional material o equivalencia material ≡
Referencias
Otras conectivas lógicas

Nuestras conectivas lógicas

C. Gutiérrez Conectivas Lógicas

 Negación ¬
Introducción
Conjunción &
Proposiciones atómicas y moleculares
Disyunción inclusiva ∨
¿Qué son las conectivas lógicas?
Disyunción exclusiva 6≡
Conectivas lógicas
Condicional material o implicación material ⊃
Interdefinición de conectivas lógicas
Bicondicional material o equivalencia material ≡
Referencias
Otras conectivas lógicas

Nuestras conectivas lógicas

• La negación: ¬

C. Gutiérrez Conectivas Lógicas

 Negación ¬
Introducción
Conjunción &
Proposiciones atómicas y moleculares
Disyunción inclusiva ∨
¿Qué son las conectivas lógicas?
Disyunción exclusiva 6≡
Conectivas lógicas
Condicional material o implicación material ⊃
Interdefinición de conectivas lógicas
Bicondicional material o equivalencia material ≡
Referencias
Otras conectivas lógicas

Nuestras conectivas lógicas

• La negación: ¬
• La disyunción inclusiva: ∨

C. Gutiérrez Conectivas Lógicas

 Negación ¬
Introducción
Conjunción &
Proposiciones atómicas y moleculares
Disyunción inclusiva ∨
¿Qué son las conectivas lógicas?
Disyunción exclusiva 6≡
Conectivas lógicas
Condicional material o implicación material ⊃
Interdefinición de conectivas lógicas
Bicondicional material o equivalencia material ≡
Referencias
Otras conectivas lógicas

Nuestras conectivas lógicas

• La negación: ¬
• La disyunción inclusiva: ∨
• La disyunción exclusiva: 6≡

C. Gutiérrez Conectivas Lógicas

 Negación ¬
Introducción
Conjunción &
Proposiciones atómicas y moleculares
Disyunción inclusiva ∨
¿Qué son las conectivas lógicas?
Disyunción exclusiva 6≡
Conectivas lógicas
Condicional material o implicación material ⊃
Interdefinición de conectivas lógicas
Bicondicional material o equivalencia material ≡
Referencias
Otras conectivas lógicas

Nuestras conectivas lógicas

• La negación: ¬
• La disyunción inclusiva: ∨
• La disyunción exclusiva: 6≡
• La conjunción: &

C. Gutiérrez Conectivas Lógicas

 Negación ¬
Introducción
Conjunción &
Proposiciones atómicas y moleculares
Disyunción inclusiva ∨
¿Qué son las conectivas lógicas?
Disyunción exclusiva 6≡
Conectivas lógicas
Condicional material o implicación material ⊃
Interdefinición de conectivas lógicas
Bicondicional material o equivalencia material ≡
Referencias
Otras conectivas lógicas

Nuestras conectivas lógicas

• La negación: ¬
• La disyunción inclusiva: ∨
• La disyunción exclusiva: 6≡
• La conjunción: &
• El condicional material o implicación material: ⊃

C. Gutiérrez Conectivas Lógicas

 Negación ¬
Introducción
Conjunción &
Proposiciones atómicas y moleculares
Disyunción inclusiva ∨
¿Qué son las conectivas lógicas?
Disyunción exclusiva 6≡
Conectivas lógicas
Condicional material o implicación material ⊃
Interdefinición de conectivas lógicas
Bicondicional material o equivalencia material ≡
Referencias
Otras conectivas lógicas

Nuestras conectivas lógicas

• La negación: ¬
• La disyunción inclusiva: ∨
• La disyunción exclusiva: 6≡
• La conjunción: &
• El condicional material o implicación material: ⊃
• El bicondicional material o equivalencia material: ≡

C. Gutiérrez Conectivas Lógicas

 Negación ¬
Introducción
Conjunción &
Proposiciones atómicas y moleculares
Disyunción inclusiva ∨
¿Qué son las conectivas lógicas?
Disyunción exclusiva 6≡
Conectivas lógicas
Condicional material o implicación material ⊃
Interdefinición de conectivas lógicas
Bicondicional material o equivalencia material ≡
Referencias
Otras conectivas lógicas

Negación ¬
Definición

• La negación es una función de un sólo argumento, es decir, sólo

necesita una entrada.

C. Gutiérrez Conectivas Lógicas

 Negación ¬
Introducción
Conjunción &
Proposiciones atómicas y moleculares
Disyunción inclusiva ∨
¿Qué son las conectivas lógicas?
Disyunción exclusiva 6≡
Conectivas lógicas
Condicional material o implicación material ⊃
Interdefinición de conectivas lógicas
Bicondicional material o equivalencia material ≡
Referencias
Otras conectivas lógicas

Negación ¬
Definición

• La negación es una función de un sólo argumento, es decir, sólo

necesita una entrada.

• Invierte los valores de verdad.

C. Gutiérrez Conectivas Lógicas

 Negación ¬
Introducción
Conjunción &
Proposiciones atómicas y moleculares
Disyunción inclusiva ∨
¿Qué son las conectivas lógicas?
Disyunción exclusiva 6≡
Conectivas lógicas
Condicional material o implicación material ⊃
Interdefinición de conectivas lógicas
Bicondicional material o equivalencia material ≡
Referencias
Otras conectivas lógicas

Tabla de verdad de la negación (¬)

α ¬α
V F
F V

C. Gutiérrez Conectivas Lógicas

 Negación ¬
Introducción
Conjunción &
Proposiciones atómicas y moleculares
Disyunción inclusiva ∨
¿Qué son las conectivas lógicas?
Disyunción exclusiva 6≡
Conectivas lógicas
Condicional material o implicación material ⊃
Interdefinición de conectivas lógicas
Bicondicional material o equivalencia material ≡
Referencias
Otras conectivas lógicas

Regla semántica para la negación (¬)

• v (¬α) = V sii v (α) = F .

C. Gutiérrez Conectivas Lógicas

 Negación ¬
Introducción
Conjunción &
Proposiciones atómicas y moleculares
Disyunción inclusiva ∨
¿Qué son las conectivas lógicas?
Disyunción exclusiva 6≡
Conectivas lógicas
Condicional material o implicación material ⊃
Interdefinición de conectivas lógicas
Bicondicional material o equivalencia material ≡
Referencias
Otras conectivas lógicas

Regla semántica para la negación (¬)

• v (¬α) = V sii v (α) = F .

• v (¬α) = F sii v (α) = V .

C. Gutiérrez Conectivas Lógicas

 Negación ¬
Introducción
Conjunción &
Proposiciones atómicas y moleculares
Disyunción inclusiva ∨
¿Qué son las conectivas lógicas?
Disyunción exclusiva 6≡
Conectivas lógicas
Condicional material o implicación material ⊃
Interdefinición de conectivas lógicas
Bicondicional material o equivalencia material ≡
Referencias
Otras conectivas lógicas

Conjunción &
Definición

• La conjunción es una función de verdad de dos argumentos, es

decir, que necesita de dos entradas.

C. Gutiérrez Conectivas Lógicas

 Negación ¬
Introducción
Conjunción &
Proposiciones atómicas y moleculares
Disyunción inclusiva ∨
¿Qué son las conectivas lógicas?
Disyunción exclusiva 6≡
Conectivas lógicas
Condicional material o implicación material ⊃
Interdefinición de conectivas lógicas
Bicondicional material o equivalencia material ≡
Referencias
Otras conectivas lógicas

Conjunción &
Definición

• La conjunción es una función de verdad de dos argumentos, es

decir, que necesita de dos entradas.

• La conjunción afirma que suceden dos cosas.

C. Gutiérrez Conectivas Lógicas

 Negación ¬
Introducción
Conjunción &
Proposiciones atómicas y moleculares
Disyunción inclusiva ∨
¿Qué son las conectivas lógicas?
Disyunción exclusiva 6≡
Conectivas lógicas
Condicional material o implicación material ⊃
Interdefinición de conectivas lógicas
Bicondicional material o equivalencia material ≡
Referencias
Otras conectivas lógicas

Conjunción &
Definición

• La conjunción es una función de verdad de dos argumentos, es

decir, que necesita de dos entradas.

• La conjunción afirma que suceden dos cosas.

• La conjunción afirma que las dos proposiciones que une son

verdaderas.

C. Gutiérrez Conectivas Lógicas

 Negación ¬
Introducción
Conjunción &
Proposiciones atómicas y moleculares
Disyunción inclusiva ∨
¿Qué son las conectivas lógicas?
Disyunción exclusiva 6≡
Conectivas lógicas
Condicional material o implicación material ⊃
Interdefinición de conectivas lógicas
Bicondicional material o equivalencia material ≡
Referencias
Otras conectivas lógicas

Tabla de verdad de la conjunción &

α β α&β
V V V
V F F
F V F
F F F

C. Gutiérrez Conectivas Lógicas

 Negación ¬
Introducción
Conjunción &
Proposiciones atómicas y moleculares
Disyunción inclusiva ∨
¿Qué son las conectivas lógicas?
Disyunción exclusiva 6≡
Conectivas lógicas
Condicional material o implicación material ⊃
Interdefinición de conectivas lógicas
Bicondicional material o equivalencia material ≡
Referencias
Otras conectivas lógicas

Regla semántica para la conjunción &

• v (α & β) = V sii v (α) = V y v (β) = V .

C. Gutiérrez Conectivas Lógicas

 Negación ¬
Introducción
Conjunción &
Proposiciones atómicas y moleculares
Disyunción inclusiva ∨
¿Qué son las conectivas lógicas?
Disyunción exclusiva 6≡
Conectivas lógicas
Condicional material o implicación material ⊃
Interdefinición de conectivas lógicas
Bicondicional material o equivalencia material ≡
Referencias
Otras conectivas lógicas

Regla semántica para la conjunción &

• v (α & β) = V sii v (α) = V y v (β) = V .

• v (α & β) = F sii v (α) = F o v (β) = F .

C. Gutiérrez Conectivas Lógicas

 Negación ¬
Introducción
Conjunción &
Proposiciones atómicas y moleculares
Disyunción inclusiva ∨
¿Qué son las conectivas lógicas?
Disyunción exclusiva 6≡
Conectivas lógicas
Condicional material o implicación material ⊃
Interdefinición de conectivas lógicas
Bicondicional material o equivalencia material ≡
Referencias
Otras conectivas lógicas

Disyunción inclusiva ∨
Definición

• La disyunción inclusiva es una función de verdad de dos

argumentos, es decir, que necesita de dos entradas.

C. Gutiérrez Conectivas Lógicas

 Negación ¬
Introducción
Conjunción &
Proposiciones atómicas y moleculares
Disyunción inclusiva ∨
¿Qué son las conectivas lógicas?
Disyunción exclusiva 6≡
Conectivas lógicas
Condicional material o implicación material ⊃
Interdefinición de conectivas lógicas
Bicondicional material o equivalencia material ≡
Referencias
Otras conectivas lógicas

Disyunción inclusiva ∨
Definición

• La disyunción inclusiva es una función de verdad de dos

argumentos, es decir, que necesita de dos entradas.

• La disyunción inclusiva afirma que sucede una de dos cosas, o

ambas.

C. Gutiérrez Conectivas Lógicas

 Negación ¬
Introducción
Conjunción &
Proposiciones atómicas y moleculares
Disyunción inclusiva ∨
¿Qué son las conectivas lógicas?
Disyunción exclusiva 6≡
Conectivas lógicas
Condicional material o implicación material ⊃
Interdefinición de conectivas lógicas
Bicondicional material o equivalencia material ≡
Referencias
Otras conectivas lógicas

Disyunción inclusiva ∨
Definición

• La disyunción inclusiva es una función de verdad de dos

argumentos, es decir, que necesita de dos entradas.

• La disyunción inclusiva afirma que sucede una de dos cosas, o

ambas.

• La disyunción inclusiva afirma que por lo menos una de las

oraciones que une es verdadera (o ambas son verdaderas).

C. Gutiérrez Conectivas Lógicas

 Negación ¬
Introducción
Conjunción &
Proposiciones atómicas y moleculares
Disyunción inclusiva ∨
¿Qué son las conectivas lógicas?
Disyunción exclusiva 6≡
Conectivas lógicas
Condicional material o implicación material ⊃
Interdefinición de conectivas lógicas
Bicondicional material o equivalencia material ≡
Referencias
Otras conectivas lógicas

Tabla de verdad de la disyunción inclusiva ∨

α β α∨β
V V V
V F V
F V V
F F F

C. Gutiérrez Conectivas Lógicas

 Negación ¬
Introducción
Conjunción &
Proposiciones atómicas y moleculares
Disyunción inclusiva ∨
¿Qué son las conectivas lógicas?
Disyunción exclusiva 6≡
Conectivas lógicas
Condicional material o implicación material ⊃
Interdefinición de conectivas lógicas
Bicondicional material o equivalencia material ≡
Referencias
Otras conectivas lógicas

Regla semántica para la disyunción inclusiva ∨

• v (α ∨ β) = V sii v (α) = V o v (β) = V .

C. Gutiérrez Conectivas Lógicas

 Negación ¬
Introducción
Conjunción &
Proposiciones atómicas y moleculares
Disyunción inclusiva ∨
¿Qué son las conectivas lógicas?
Disyunción exclusiva 6≡
Conectivas lógicas
Condicional material o implicación material ⊃
Interdefinición de conectivas lógicas
Bicondicional material o equivalencia material ≡
Referencias
Otras conectivas lógicas

Regla semántica para la disyunción inclusiva ∨

• v (α ∨ β) = V sii v (α) = V o v (β) = V .

• v (α ∨ β) = F sii v (α) = F y v (β) = F .

C. Gutiérrez Conectivas Lógicas

 Negación ¬
Introducción
Conjunción &
Proposiciones atómicas y moleculares
Disyunción inclusiva ∨
¿Qué son las conectivas lógicas?
Disyunción exclusiva 6≡
Conectivas lógicas
Condicional material o implicación material ⊃
Interdefinición de conectivas lógicas
Bicondicional material o equivalencia material ≡
Referencias
Otras conectivas lógicas

Disyunción exclusiva 6≡
Definición

• La disyunción exclusiva es una función de verdad de dos

argumentos, es decir, que necesita de dos entradas.

C. Gutiérrez Conectivas Lógicas

 Negación ¬
Introducción
Conjunción &
Proposiciones atómicas y moleculares
Disyunción inclusiva ∨
¿Qué son las conectivas lógicas?
Disyunción exclusiva 6≡
Conectivas lógicas
Condicional material o implicación material ⊃
Interdefinición de conectivas lógicas
Bicondicional material o equivalencia material ≡
Referencias
Otras conectivas lógicas

Disyunción exclusiva 6≡
Definición

• La disyunción exclusiva es una función de verdad de dos

argumentos, es decir, que necesita de dos entradas.

• La disyunción exclusiva afirma que sucede una de dos cosas,

pero no ambas.

C. Gutiérrez Conectivas Lógicas

 Negación ¬
Introducción
Conjunción &
Proposiciones atómicas y moleculares
Disyunción inclusiva ∨
¿Qué son las conectivas lógicas?
Disyunción exclusiva 6≡
Conectivas lógicas
Condicional material o implicación material ⊃
Interdefinición de conectivas lógicas
Bicondicional material o equivalencia material ≡
Referencias
Otras conectivas lógicas

Disyunción exclusiva 6≡
Definición

• La disyunción exclusiva es una función de verdad de dos

argumentos, es decir, que necesita de dos entradas.

• La disyunción exclusiva afirma que sucede una de dos cosas,

pero no ambas.

• La disyunción exclusiva afirma que una de las proposiciones que

une es verdadera y la otra es falsa (no importa el orden en el que
son presentadas).

C. Gutiérrez Conectivas Lógicas

 Negación ¬
Introducción
Conjunción &
Proposiciones atómicas y moleculares
Disyunción inclusiva ∨
¿Qué son las conectivas lógicas?
Disyunción exclusiva 6≡
Conectivas lógicas
Condicional material o implicación material ⊃
Interdefinición de conectivas lógicas
Bicondicional material o equivalencia material ≡
Referencias
Otras conectivas lógicas

Tabla de verdad de la disyunción exclusiva 6≡

α β α 6≡ β
V V F
V F V
F V V
F F F

C. Gutiérrez Conectivas Lógicas

 Negación ¬
Introducción
Conjunción &
Proposiciones atómicas y moleculares
Disyunción inclusiva ∨
¿Qué son las conectivas lógicas?
Disyunción exclusiva 6≡
Conectivas lógicas
Condicional material o implicación material ⊃
Interdefinición de conectivas lógicas
Bicondicional material o equivalencia material ≡
Referencias
Otras conectivas lógicas

Regla semántica para la disyunción exclusiva 6≡

• v (α 6≡ β) = V sii v (α) 6= v (β).

C. Gutiérrez Conectivas Lógicas

 Negación ¬
Introducción
Conjunción &
Proposiciones atómicas y moleculares
Disyunción inclusiva ∨
¿Qué son las conectivas lógicas?
Disyunción exclusiva 6≡
Conectivas lógicas
Condicional material o implicación material ⊃
Interdefinición de conectivas lógicas
Bicondicional material o equivalencia material ≡
Referencias
Otras conectivas lógicas

Regla semántica para la disyunción exclusiva 6≡

• v (α 6≡ β) = V sii v (α) 6= v (β).

• v (α 6≡ β) = F sii v (α) = v (β).

C. Gutiérrez Conectivas Lógicas

 Negación ¬
Introducción
Conjunción &
Proposiciones atómicas y moleculares
Disyunción inclusiva ∨
¿Qué son las conectivas lógicas?
Disyunción exclusiva 6≡
Conectivas lógicas
Condicional material o implicación material ⊃
Interdefinición de conectivas lógicas
Bicondicional material o equivalencia material ≡
Referencias
Otras conectivas lógicas

Condicional material o implicación material ⊃

Definición

• El condicional material es una función de verdad de dos

argumentos, es decir, que necesita de dos entradas.

C. Gutiérrez Conectivas Lógicas

 Negación ¬
Introducción
Conjunción &
Proposiciones atómicas y moleculares
Disyunción inclusiva ∨
¿Qué son las conectivas lógicas?
Disyunción exclusiva 6≡
Conectivas lógicas
Condicional material o implicación material ⊃
Interdefinición de conectivas lógicas
Bicondicional material o equivalencia material ≡
Referencias
Otras conectivas lógicas

Condicional material o implicación material ⊃

Definición

• El condicional material es una función de verdad de dos

argumentos, es decir, que necesita de dos entradas.

• El condicional material afirma que su antecedente es condición

suficiente para que suceda su consecuente y el consecuente es
condición necesaria para que suceda el antecedente.

C. Gutiérrez Conectivas Lógicas

 Negación ¬
Introducción
Conjunción &
Proposiciones atómicas y moleculares
Disyunción inclusiva ∨
¿Qué son las conectivas lógicas?
Disyunción exclusiva 6≡
Conectivas lógicas
Condicional material o implicación material ⊃
Interdefinición de conectivas lógicas
Bicondicional material o equivalencia material ≡
Referencias
Otras conectivas lógicas

Condicional material o implicación material ⊃

Definición

• El condicional material es una función de verdad de dos

argumentos, es decir, que necesita de dos entradas.

• El condicional material afirma que su antecedente es condición

suficiente para que suceda su consecuente y el consecuente es
condición necesaria para que suceda el antecedente.
• El condicional material afirma que o bien el antecedente es falso
o bien el consecuente es verdadero.

C. Gutiérrez Conectivas Lógicas

 Negación ¬
Introducción
Conjunción &
Proposiciones atómicas y moleculares
Disyunción inclusiva ∨
¿Qué son las conectivas lógicas?
Disyunción exclusiva 6≡
Conectivas lógicas
Condicional material o implicación material ⊃
Interdefinición de conectivas lógicas
Bicondicional material o equivalencia material ≡
Referencias
Otras conectivas lógicas

Condicional material o implicación material ⊃

Definición

• El condicional material es una función de verdad de dos

argumentos, es decir, que necesita de dos entradas.

• El condicional material afirma que su antecedente es condición

suficiente para que suceda su consecuente y el consecuente es
condición necesaria para que suceda el antecedente.
• El condicional material afirma que o bien el antecedente es falso
o bien el consecuente es verdadero.
• El condicional material afirma que no sucede que el antecedente
sea verdadero y el consecuente falso.

C. Gutiérrez Conectivas Lógicas

 Negación ¬
Introducción
Conjunción &
Proposiciones atómicas y moleculares
Disyunción inclusiva ∨
¿Qué son las conectivas lógicas?
Disyunción exclusiva 6≡
Conectivas lógicas
Condicional material o implicación material ⊃
Interdefinición de conectivas lógicas
Bicondicional material o equivalencia material ≡
Referencias
Otras conectivas lógicas

Tabla de verdad del condicional material o implicación

material ⊃

α β α⊃β
V V V
V F F
F V V
F F V

C. Gutiérrez Conectivas Lógicas

 Negación ¬
Introducción
Conjunción &
Proposiciones atómicas y moleculares
Disyunción inclusiva ∨
¿Qué son las conectivas lógicas?
Disyunción exclusiva 6≡
Conectivas lógicas
Condicional material o implicación material ⊃
Interdefinición de conectivas lógicas
Bicondicional material o equivalencia material ≡
Referencias
Otras conectivas lógicas

Regla semántica para el condicional material o implicación

material ⊃

• v (α ⊃ β) = V sii v (α) = F o v (β) = V .

C. Gutiérrez Conectivas Lógicas

 Negación ¬
Introducción
Conjunción &
Proposiciones atómicas y moleculares
Disyunción inclusiva ∨
¿Qué son las conectivas lógicas?
Disyunción exclusiva 6≡
Conectivas lógicas
Condicional material o implicación material ⊃
Interdefinición de conectivas lógicas
Bicondicional material o equivalencia material ≡
Referencias
Otras conectivas lógicas

Regla semántica para el condicional material o implicación

material ⊃

• v (α ⊃ β) = V sii v (α) = F o v (β) = V .

• v (α ⊃ β) = F sii v (α) = V y v (β) = F .

C. Gutiérrez Conectivas Lógicas

 Negación ¬
Introducción
Conjunción &
Proposiciones atómicas y moleculares
Disyunción inclusiva ∨
¿Qué son las conectivas lógicas?
Disyunción exclusiva 6≡
Conectivas lógicas
Condicional material o implicación material ⊃
Interdefinición de conectivas lógicas
Bicondicional material o equivalencia material ≡
Referencias
Otras conectivas lógicas

Bicondicional material o equivalencia material ≡

Definición

• El bicondicional material es una función de verdad de dos

argumentos, es decir, que necesita de dos entradas.

C. Gutiérrez Conectivas Lógicas

 Negación ¬
Introducción
Conjunción &
Proposiciones atómicas y moleculares
Disyunción inclusiva ∨
¿Qué son las conectivas lógicas?
Disyunción exclusiva 6≡
Conectivas lógicas
Condicional material o implicación material ⊃
Interdefinición de conectivas lógicas
Bicondicional material o equivalencia material ≡
Referencias
Otras conectivas lógicas

Bicondicional material o equivalencia material ≡

Definición

• El bicondicional material es una función de verdad de dos

argumentos, es decir, que necesita de dos entradas.

• El bicondicional material afirma que dos cosas son materialmente

equivalentes, que tienen el mismo valor de verdad.

C. Gutiérrez Conectivas Lógicas

 Negación ¬
Introducción
Conjunción &
Proposiciones atómicas y moleculares
Disyunción inclusiva ∨
¿Qué son las conectivas lógicas?
Disyunción exclusiva 6≡
Conectivas lógicas
Condicional material o implicación material ⊃
Interdefinición de conectivas lógicas
Bicondicional material o equivalencia material ≡
Referencias
Otras conectivas lógicas

Bicondicional material o equivalencia material ≡

Definición

• El bicondicional material es una función de verdad de dos

argumentos, es decir, que necesita de dos entradas.

• El bicondicional material afirma que dos cosas son materialmente

equivalentes, que tienen el mismo valor de verdad.

• El bicondicional material afirma que cada una de las

proposiciones unidas por él son condición necesaria y suficiente
para la otra proposición.

C. Gutiérrez Conectivas Lógicas

 Negación ¬
Introducción
Conjunción &
Proposiciones atómicas y moleculares
Disyunción inclusiva ∨
¿Qué son las conectivas lógicas?
Disyunción exclusiva 6≡
Conectivas lógicas
Condicional material o implicación material ⊃
Interdefinición de conectivas lógicas
Bicondicional material o equivalencia material ≡
Referencias
Otras conectivas lógicas

Tabla de verdad del bicondicional material o equivalencia

material ≡

α β α≡β
V V V
V F F
F V F
F F V

C. Gutiérrez Conectivas Lógicas

 Negación ¬
Introducción
Conjunción &
Proposiciones atómicas y moleculares
Disyunción inclusiva ∨
¿Qué son las conectivas lógicas?
Disyunción exclusiva 6≡
Conectivas lógicas
Condicional material o implicación material ⊃
Interdefinición de conectivas lógicas
Bicondicional material o equivalencia material ≡
Referencias
Otras conectivas lógicas

Regla semántica para el bicondicional material o

equivalencia material ≡

• v (α ≡ β) = V sii v (α) = v (β).

C. Gutiérrez Conectivas Lógicas

 Negación ¬
Introducción
Conjunción &
Proposiciones atómicas y moleculares
Disyunción inclusiva ∨
¿Qué son las conectivas lógicas?
Disyunción exclusiva 6≡
Conectivas lógicas
Condicional material o implicación material ⊃
Interdefinición de conectivas lógicas
Bicondicional material o equivalencia material ≡
Referencias
Otras conectivas lógicas

Regla semántica para el bicondicional material o

equivalencia material ≡

• v (α ≡ β) = V sii v (α) = v (β).

• v (α ≡ β) = F sii v (α) 6= v (β).

C. Gutiérrez Conectivas Lógicas

 Negación ¬
Introducción
Conjunción &
Proposiciones atómicas y moleculares
Disyunción inclusiva ∨
¿Qué son las conectivas lógicas?
Disyunción exclusiva 6≡
Conectivas lógicas
Condicional material o implicación material ⊃
Interdefinición de conectivas lógicas
Bicondicional material o equivalencia material ≡
Referencias
Otras conectivas lógicas

Flecha de Peirce ↓
Definición

• La flecha de Peirce es una función de verdad de dos argumentos,

es decir, que necesita de dos entradas.

C. Gutiérrez Conectivas Lógicas

 Negación ¬
Introducción
Conjunción &
Proposiciones atómicas y moleculares
Disyunción inclusiva ∨
¿Qué son las conectivas lógicas?
Disyunción exclusiva 6≡
Conectivas lógicas
Condicional material o implicación material ⊃
Interdefinición de conectivas lógicas
Bicondicional material o equivalencia material ≡
Referencias
Otras conectivas lógicas

Flecha de Peirce ↓
Definición

• La flecha de Peirce es una función de verdad de dos argumentos,

es decir, que necesita de dos entradas.

• La flecha de Peirce afirma que no sucede ninguna de dos cosas.

C. Gutiérrez Conectivas Lógicas

 Negación ¬
Introducción
Conjunción &
Proposiciones atómicas y moleculares
Disyunción inclusiva ∨
¿Qué son las conectivas lógicas?
Disyunción exclusiva 6≡
Conectivas lógicas
Condicional material o implicación material ⊃
Interdefinición de conectivas lógicas
Bicondicional material o equivalencia material ≡
Referencias
Otras conectivas lógicas

Flecha de Peirce ↓
Definición

• La flecha de Peirce es una función de verdad de dos argumentos,

es decir, que necesita de dos entradas.

• La flecha de Peirce afirma que no sucede ninguna de dos cosas.

• La fecha de Peirce afirma que ambas proposiciones son falsas.

C. Gutiérrez Conectivas Lógicas

 Negación ¬
Introducción
Conjunción &
Proposiciones atómicas y moleculares
Disyunción inclusiva ∨
¿Qué son las conectivas lógicas?
Disyunción exclusiva 6≡
Conectivas lógicas
Condicional material o implicación material ⊃
Interdefinición de conectivas lógicas
Bicondicional material o equivalencia material ≡
Referencias
Otras conectivas lógicas

Tabla de verdad de la flecha de Pierce ↓

α β α↓β
V V F
V F F
F V F
F F V

C. Gutiérrez Conectivas Lógicas

 Negación ¬
Introducción
Conjunción &
Proposiciones atómicas y moleculares
Disyunción inclusiva ∨
¿Qué son las conectivas lógicas?
Disyunción exclusiva 6≡
Conectivas lógicas
Condicional material o implicación material ⊃
Interdefinición de conectivas lógicas
Bicondicional material o equivalencia material ≡
Referencias
Otras conectivas lógicas

Regla semántica para la flecha de Pierce ↓

• v (α ↓ β) = V sii v (α) = F y v (β) = F .

C. Gutiérrez Conectivas Lógicas

 Negación ¬
Introducción
Conjunción &
Proposiciones atómicas y moleculares
Disyunción inclusiva ∨
¿Qué son las conectivas lógicas?
Disyunción exclusiva 6≡
Conectivas lógicas
Condicional material o implicación material ⊃
Interdefinición de conectivas lógicas
Bicondicional material o equivalencia material ≡
Referencias
Otras conectivas lógicas

Regla semántica para la flecha de Pierce ↓

• v (α ↓ β) = V sii v (α) = F y v (β) = F .

• v (α ↓ β) = F sii v (α) = V o v (β) = V .

C. Gutiérrez Conectivas Lógicas

 Negación ¬
Introducción
Conjunción &
Proposiciones atómicas y moleculares
Disyunción inclusiva ∨
¿Qué son las conectivas lógicas?
Disyunción exclusiva 6≡
Conectivas lógicas
Condicional material o implicación material ⊃
Interdefinición de conectivas lógicas
Bicondicional material o equivalencia material ≡
Referencias
Otras conectivas lógicas

Barra de Sheffer |
Definición

• La barra de Sheffer es una función de verdad de dos argumentos,

es decir, que necesita de dos entradas.

C. Gutiérrez Conectivas Lógicas

 Negación ¬
Introducción
Conjunción &
Proposiciones atómicas y moleculares
Disyunción inclusiva ∨
¿Qué son las conectivas lógicas?
Disyunción exclusiva 6≡
Conectivas lógicas
Condicional material o implicación material ⊃
Interdefinición de conectivas lógicas
Bicondicional material o equivalencia material ≡
Referencias
Otras conectivas lógicas

Barra de Sheffer |
Definición

• La barra de Sheffer es una función de verdad de dos argumentos,

es decir, que necesita de dos entradas.

• La barra de Sheffer afirma que no sucede una cosa o no sucede

otra cosa.

C. Gutiérrez Conectivas Lógicas

 Negación ¬
Introducción
Conjunción &
Proposiciones atómicas y moleculares
Disyunción inclusiva ∨
¿Qué son las conectivas lógicas?
Disyunción exclusiva 6≡
Conectivas lógicas
Condicional material o implicación material ⊃
Interdefinición de conectivas lógicas
Bicondicional material o equivalencia material ≡
Referencias
Otras conectivas lógicas

Barra de Sheffer |
Definición

• La barra de Sheffer es una función de verdad de dos argumentos,

es decir, que necesita de dos entradas.

• La barra de Sheffer afirma que no sucede una cosa o no sucede

otra cosa.

• La barra de Sheffer afirma que por lo menos una de las

proposiciones que une es falsa (o ambas son falsas).

C. Gutiérrez Conectivas Lógicas

 Negación ¬
Introducción
Conjunción &
Proposiciones atómicas y moleculares
Disyunción inclusiva ∨
¿Qué son las conectivas lógicas?
Disyunción exclusiva 6≡
Conectivas lógicas
Condicional material o implicación material ⊃
Interdefinición de conectivas lógicas
Bicondicional material o equivalencia material ≡
Referencias
Otras conectivas lógicas

Tabla de verdad de la barra de Sheffer |

α β α|β
V V F
V F V
F V V
F F V

C. Gutiérrez Conectivas Lógicas

 Negación ¬
Introducción
Conjunción &
Proposiciones atómicas y moleculares
Disyunción inclusiva ∨
¿Qué son las conectivas lógicas?
Disyunción exclusiva 6≡
Conectivas lógicas
Condicional material o implicación material ⊃
Interdefinición de conectivas lógicas
Bicondicional material o equivalencia material ≡
Referencias
Otras conectivas lógicas

Regla semántica para la barra de Sheffer |

• v (α | β) = V sii v (α) = F o v (β) = F .

C. Gutiérrez Conectivas Lógicas

 Negación ¬
Introducción
Conjunción &
Proposiciones atómicas y moleculares
Disyunción inclusiva ∨
¿Qué son las conectivas lógicas?
Disyunción exclusiva 6≡
Conectivas lógicas
Condicional material o implicación material ⊃
Interdefinición de conectivas lógicas
Bicondicional material o equivalencia material ≡
Referencias
Otras conectivas lógicas

Regla semántica para la barra de Sheffer |

• v (α | β) = V sii v (α) = F o v (β) = F .

• v (α | β) = F sii v (α) = V y v (β) = V .

C. Gutiérrez Conectivas Lógicas

 Introducción
Proposiciones atómicas y moleculares
¿Qué son las conectivas lógicas?
Conectivas lógicas
Interdefinición de conectivas lógicas
Referencias

¿Qué es interdefinir?

• Definir una conectiva lógica en términos de otras conectivas es

dar fórmulas que sólo use las segundas, pero que tenga las
mismas condiciones de verdad que la conectiva que se busca
definir.

C. Gutiérrez Conectivas Lógicas

 Introducción
Proposiciones atómicas y moleculares
¿Qué son las conectivas lógicas?
Conectivas lógicas
Interdefinición de conectivas lógicas
Referencias

¿Qué es interdefinir?

• Definir una conectiva lógica en términos de otras conectivas es

dar fórmulas que sólo use las segundas, pero que tenga las
mismas condiciones de verdad que la conectiva que se busca
definir.

• Para probar que la definición es correcta, se pueden usar tablas

de verdad.

C. Gutiérrez Conectivas Lógicas

 Introducción
Proposiciones atómicas y moleculares
¿Qué son las conectivas lógicas?
Conectivas lógicas
Interdefinición de conectivas lógicas
Referencias

Ejemplo de interdefinición de conectivas

α β α|β ¬(α & β)

V V F F
V F V V
F V V V
F F V V

C. Gutiérrez Conectivas Lógicas

 Introducción
Proposiciones atómicas y moleculares
¿Qué son las conectivas lógicas?
Conectivas lógicas
Interdefinición de conectivas lógicas
Referencias

¿Cómo escribir una definición?

• Una vez que hemos demostrado con nuestras tablas de verdad

que una conectiva se puede definir utilizando otras conectivas
podemos escribirla como sigue (recuperando nuestro ejemplo):

C. Gutiérrez Conectivas Lógicas

 Introducción
Proposiciones atómicas y moleculares
¿Qué son las conectivas lógicas?
Conectivas lógicas
Interdefinición de conectivas lógicas
Referencias

¿Cómo escribir una definición?

• Una vez que hemos demostrado con nuestras tablas de verdad

que una conectiva se puede definir utilizando otras conectivas
podemos escribirla como sigue (recuperando nuestro ejemplo):

α | β =def . ¬(α & β)

C. Gutiérrez Conectivas Lógicas

 Introducción
Proposiciones atómicas y moleculares
¿Qué son las conectivas lógicas?
Conectivas lógicas
Interdefinición de conectivas lógicas
Referencias

Referencias
- Copi, I. Cohen, C. (2007). Introducción a la lógica (700 p.).
México D.F.: Limusa.
- Falguera López, J.L. y Martı́nez Vidal, C. (1999). Lógica Clásica
de Primer Orden: Estrategias de Deducción, Fromalización y
Evaluación Semántica. (482 p.). Valladolid: Trotta.
- GAMUT, L.T.F.(2002). Introducción a la Lógica (305 p.).
Buenos Aires: Eudeba.
- Hernández Ortiz, H. (2010). Un Método General para la
Interdefinición de Conectivos (30 p.). Tesis de Licenciatura en
Matemáticas. FC-UNAM.
- Manzano, M. y Huertas A. (2004). Lógica para Principiantes
(422 p.). Madrid: Alianza Editorial.
C. Gutiérrez Conectivas Lógicas