Lógica y Conjuntos

La lógica matemática es la rama del conocimiento que trata los métodos de razonamiento mediante
reglas y técnicas, con el …n de determinar si un argumento es válido. El tema que nos ocupa es el de la lógica
usada en matemática. Aquí trabajamos con elementos básicos llamados proposiciones.

Una proposición es un enunciado de la cual se puede a…rmar si es verdadera o falsa, pero no ambas a
la vez, y a esto se le llama su VALOR DE VERDAD. Estas se denotan, en general con las letras p; q; r; s; t:::etc

EJEMPLOS:

(1) p : Hoy es martes

(2) q : La pizarra es blanca
(3) r : Ayúdame ¡por favor!

De…nición: Un TEOREMA es una proposición que se desprende de otra u otras proposiciones dadas
previamente (De aquí sale la necesidad de las demostraciones)

PROPOSICIÓNES COMPUESTAS

Se pueden ocupar los llamados CONECTIVOS LÓGICOS para crear proposiciones compuestas com-
binando proposiciones dadas, estos son

Conector Símbolo
Negación
Disyunción _
Conjunción ^
Condicional !
Bicondicional $

Ejemplos:

p : se lee "no p"

p_q : se leee "p o q"
p^q : se lee "p y q"
p ! q : se lee "si p; entonces q"
p $ q : se lee "p si y solo si q"

Dependiendo del valor de verdad de las proposiciones originales, las proposiciones compuestas tendrán
tal o cual valor de verdad, para esto se usan, en un principio, las llamadas tablas de verdad, las que son un
arreglo para todas las posibles combinaciones de estos valores y son las siguientes

Negación
p p
V F
F V

1
 Disyunción
p q p_q
V V V
V F V
F V V
F F F

Conjunción
p q p^q
V V V
V F F
F V F
F F F

Condicional
p q p!q
V V V
V F F
F V V
F F V

Bicondicional
p q p$q
V V V
V F F
F V F
F F V

Así, si seguimos estas reglas podemos conocer el valor de verdad de las sigiuentes proposiciones compuestas
(a) (p ^ q) ! q

p q (p ^ q) (p ^ q) ! q
V V V V
V F F V
F V F V
F F F V
(b) (p ^ q) ^ q

p q (p ^ q) (p ^ q) ^ q
V V V V
V F F F
F V F F
F F F F
(c) (p ^ q) ^ p

p q p (p ^ q) (p ^ q) ^ p
V V F V F
V F F F F
F V V F F
F F V F F

2
 Vemos que en la primera tabla la última columna resulta en una columna de V; en este caso hablamos
de una TAUTOLOGÍA
En la segunda tabla se obtienen valores V y F dependdiendo de los valores de p y q y se dice que es una
CONTINGENCIA
Finalmente en la última tabla, la última columna resultan solo valores F y se dice que es una CON-
TRADICCIÓN o FALACIA.

De…nición.

Sea las proposiciones P (p; q; r; :::) y Q (p; q; r; :::) se dirá que:

(a) Cada vez que P ! Q es una tautología se habla de una IMPLICANCIA LÓGICA
y se denotará P ) Q
(b) Cada vez que P $ Q es una tautología, se habla de una EQUIVALENCIA LÓGICA
y se denotará P , Q

A partir de estas de…niciones, hay muchas equivalencias e implicancias que se pueden listar

3
4
 Todas ellas se pueden comprobar usando tablas de verdad.

Y ahora lo entretenido, usaremos las reglas de los conectores para empezar a integrarlos a nuestros
modos de pensamiento.

Ejemplos:

(1) Considere el siguiente enunciado : "Si no es cierto que Luis sea una persona tranquila o un doctor,
entonces Luis es profesor o no es una persona tranquila; además Luis es profesor"
(a) Exprese este enunciado por conectivos lógicos y usando las siguientes proposiciones:

D : Luis es doctor
T : Luis es una persona tranquila
P : Luis es profesor

(b) Asumiendo que el enunciado inicial es verdad, indicar si D; T y P es o son verdaderos, falsos o
indecidibles.

(2) Asuma que las siguientes proposiciones son verdaderas:

Si Alicia o Sofía vienen a Chile, entonces Camila también vendrá

Si Sofía y Camila vienen a Chile, Alicia también vendrá
Sofía o Camila, al menos una de las dos vendrá a Chile

(a) Exprese estas tres proposiciones por conectivos lógicos usando

A : Alicia vendrá a Chile

C : Camila vendrá a Chile
S : Sofía vendra a Chile

(b) Se sabe que Alicia no viene a Chile. ¿Vendrá Camila? , ¿ Vendrá Sofía ?