Está en la página 1de 125

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