Principios de Lógica y Conjuntos

MG. ALDO SARMIENTO GUEVARA

DEPARTAMENTO ACADÉMICO DE MATEMÁTICA UNSA

16 de abril de 2023
Introducción

La lógica proposicional es una parte de la lógica clásica que

estudia:
I Las variables proposicionales
I Las implicaciones de éstas variables
I Los valores de verdad de las proposiciones
La generalización de estos resultados a conjuntos de
proposiciones, formadas a partir de los conectores lógicos,
permite validar o no las afirmaciones que se hacen en
matemáticas o en otras ramas del conocimiento.
Es por esto que el estudio y comprensión de las estructuras
que componen la lógica y la forma como validan o no las
proposiciones, es fundamental en todas las ramas del
conocimiento humano.
De otro lado, la teoría de conjuntos permite estudiar relaciones
y propiedades entre diferentes colecciones de objetos al
compararlas entre sí de diversas maneras.
La matemática moderna estudia una gran variedad de clases
conjuntos a partir de las propiedades que los componen.
Define operaciones con los elementos de los mismos que
resultan de interés para las ciencias en general.
Proposiciones lógicas.

Enunciado. Es cualquier frase u oración

Proposición. Es un enunciado declarativo. Es decir, una
proposición, es un enunciado que puede ser calificado como
VERDADERO o FALSO; pero no ambas a la vez.
La proposición es un elemento fundamental de la lógica
matemática Se denota mediante una letra minúscula
cualquiera: p, q, r , · · ·
Ejemplos.
I Aristóteles es el iniciador del estudio de la lógica
I La tierra es plana
I Estudio matemáticas
I Lloverá en agosto
I Si tengo gripe, tengo fiebre
I Buenos Aires es la capital de Argentina
I El 8 es un número positivo
I ¿El 8 es un numero positivo?
I Prohibido fumar
I El número 54 es par mayor que 100
I 25 no es un número impar, pero es primo
I María juega Ajedrez y su hermana también
I −17 + 38 = 21
I x >y −9
I 2 + 3 < 10 − 3
I 3+4<5+1
I
Valor de verdad.
Una proposición p puede ser indistintamente verdadera o falsa.
Cuando es verdadera, le asignamos el valor V , cuando es falsa,
le adjudicamos el valor F .
Según esto una proposición, puede tener solamente dos
valores; ni más, ni menos. Este hecho se resume en el cuadro
p
V
F
Cuadro: Valor de verdad de una proposición p

Ejemplo.
p : Arequipa es la ciudad blanca del Perú
q : Cristobal Colón conquistó el Perú
Luego VV(p) = V ; VV(q) = F , equivaalentemente p = V ,
q = F.
Clases de proposiciones.

Simples. Constituidas por una sola declaración.

Compuestas. Constituidas por dos o más proposiciones
simples enlazadas por los conectivos lógicos.
Los conectivos lógicos son símbolos matemáticos que se
emplean para realizar operaciones con proposiciones.
Símbolo Nombre Se lee
∼ Negación No, no es cierto que, es falso
∨ Disyunción O (en el sentido incluyente
∧ Conjunción Y, también, a la vez, pero, al mism
→ Condicional Si · · · entonces
↔ Bicondicional Si y sólo si
4 Diferencia Simétrica O (sentido excluyente)
Figura: Nombre y lectura de los conectivos lógicos

Símbolo Nombre Significa

∼ Negación
∨ Disyunción
∧ Conjunción
→ Condicional
↔ Bicondicional
Lo contrario, lo opuesto
Uno o el otro o ambos a la vez
lLos dos a la vez
Condiciona una causa al efecto
Condiciiona resíprocamente
Ejemplo 1:

Sean las proposiciones:

p : Juana baila
q : Juana duerme
r : Juana canta
Entonces
p4q :Juana baila o duerme. Equivale a: O bien Juana baila, o
bien Juana duerme.
p ∨ r : Juana baila o canta. Equivale a: Juana baila o/y canta
Ejemplo 2

Para la proposición pk : El k−ésimo disparo dio en el blanco;

k = 1, 2, 3
p1 :
p2 :
∼ p3 :
(p1 ∨ p2 ∨ p3 ) :
(p1 ∧ p2 ∧ p3 ) :
(p1 ∧ p2 ) →∼ p3 :
(∼ p1 ∧ ∼ p2 ) → p3 :
Ejemplo 3

Sean las proposiciones:

p : Estudio
q : Trabajo
r : Asisto a clases
s : Aprobaré mis cursos
Representar simbólicamente:
Si trabajo y no asisto a clases, no aprobaré mis cursos:
Apruebo mis cursos, sólo si estudio y asisto a clases:
Si trabajo, no asisto a clases tampoco estudio; luego no
apruebo mis cursos:
Si no trabajo pero estudio, apruebo mis cursos:
O bien no trabajo, o bien, asisto a clases y estudio; en
consecuencia, apruebo mis cursos:
Observación
Los signos de puntuación del idioma español son muy
importantes al leer y al escribir las proposiciones compuestas;
pues de su ubicación en el texto depende la correcta
comprensión del sentido de la frase, y por tanto el empleo
adecuado de los signos de agrupación.
Para la proposición compuesta ”Me voy para la casa y estudio
o veo el partido” se tendría
’Me voy para la casa y, estudio o veo el partido’
’Me voy para la casa y estudio, o veo el partido’
Para la proposición compuesta ”Si no llueve y hace frío me
pongo la chaqueta y me voy para el cine”, se tendría
’Si no llueve y hace frío; me pongo la chaqueta y me voy para
el cine’.
’Si no llueve y hace frío, me pongo la chaqueta; y me voy para
el cine’
Tablas de verdad
Se llaman así al resumen de los valores de verdad de las
proposiciones compuestas mediante cualquiera de los
conectivos explicados antes.
Para la negación.
p : Arequipa es la ciudad blanca del Perú
∼ p : Arequipa no es la ciudad blanca del Perú
q : Cristobal Colón conquistó el Perú
∼ q : Cristobal Colón no conquistó el Perú
En resumen
p ∼p
V F
F V
Figura: Tabla de verdad de la negación
Disyunción.

Sea la proposición: ”El gato es un felino o es un animal”.

Las proposiciones simples que participan en esta son:
p = V : ’El gato es un felino’,
q = V : ’El gato es un animal’
Así es que:
∼ p = F : ’El gato no es un felino’,
∼ q = F : ’El gato no es un animal’.
Realizando las cuatro posibles combinaciones, resultarán
respectivamente:
‘El gato es un felino o es un animal’: V ∨ V = V
‘El gato es un felino o no es un animal’: V ∨ F = V
‘El gato no es un felino o es un animal’: F ∨ V = V
‘El gato no es un felino o no es un animal’: F ∨ F = F
Resultando que
(p ∨ q) es falso únicamente en el caso que p y q sean falsos.
(p ∨ q) es verdadero cuando alguna de ellas (p ó q) es
verdadero.
p q p∨q
V V V
V F V
F V V
F F F
Figura: Tabla de verdad de la disyunción
Conjunción.

Sea la proposición: ’Cuatro es par y tres es impar’

Las proposiciones simples que participan en esta son:
p = V : ’Cuatro es par’
q = V : ’tres es impar’
Así es que
∼ p = F : ’Cuatro no es par’
∼ q = F : ’tres no es impar’
Realizando las cuatro posibles combinaciones, resultarán
respectivamente:
’Cuatro es par y tres es impar’:V = V ∧ V
’Cuatro es par y tres no es impar’ : F = V ∧ F
’Cuatro no es par y tres es impar’ : F = F ∧ V
’Cuatro no es par y tres no es impar’ : F = F ∧ F
Resultando que
(p ∧ q) es verdadero únicamente en el caso que p y q (ambas)
sean verdaderos.
(p ∧ q) es falsa cuando alguna de ellas (p ó q) sea falsa.

p q p∧q
V V V
V F F
F V F
F F F
Figura: Tabla de verdad de la conjunción
Condicional.
Sea la proposición: ‘Si llueve entonces las calles están mojadas’.
Las proposiciones simples que participan son:
p : ’llueve’,
q : ’las calles están mojadas’.
Entonces las proposiciones negadas son:
∼ p : ‘No llueve’,
∼ q : ’las calles no están mojadas’.
Realizando las cuatro posibles combinaciones, resultarán
respectivamente:
‘Si llueve entonces las calles están mojadas’: V = V → V
‘Si llueve entonces las calles no están mojadas’: F = V → F
‘Si no llueve entonces las calles están mojadas’: V = F → V
‘Si no llueve entonces las calles no están mojadas’:
V =F →F
Resultando que
(p → q) es falsa únicamente cuando p es verdadero y q es
falso
(p → q) es verdadero en cualquiera de los otros casos

p q p→q
V V V
V F F
F V V
F F V
Figura: Tabla de verdad del condicional
Bicondicional.

p q p↔q
V V V
V F F
F V F
F F V
Figura: Tabla de verdad del bicondicional

Obsérvese que el resultado de ésta tabla de verdad, es el

condicional en ambos sentidos; es decir desde p hacia q y
simultáneamente desde q hasta p.
Diferencia Simétrica.

p q p4q
V V F
V F V
F V V
F F F
Figura: Tabla de verdad de la diferencia simétrica

Obsérvese que el resultado de las tablas de verdad del

bicondicional y de la diferencia simétrica son opuestos uno del
otro.
En resumen

F ∨F =F V ∧V =V V →F =F
Son los únicos resultados importantes, pues los demás derivan
de ellos.
Observación.

Cuando la proposición (p → q) es verdadera, se dice que ésta

es una implicación y se escribe (p ⇒ q) .
En este caso se dice que:
"p es una condición suficiente para q", ó
"q es una condición necesaria para p".
Cuando la proposición (p ↔ q) es verdadera, se dice que ésta
es una equivalencia y se escribe (p ⇔ q) .
En este caso se dice que:
“p es una es una condición necesaria y suficiente para para q“
y también
“q es una es una condición necesaria y suficiente para para p“
Construcción de tablas de verdad.

Construir las tablas de verdad de las proposiciones

compuestas:
1. [p ∧ (∼ q → p)] 4 [(p ↔∼ q) → (q∨ ∼ p)]
2. [p ∨ (q →∼ r )] ∧ [(p ∨ r ) ↔∼ q]
3. [(∼ p → q) ∨ r ] ↔ [(p ∨ r ) ∧ (∼ q4 ∼ r )]
Tautología, Contradicción, Contingencia.
Se llama tautología a una proposición que es verdadera.
Cuando la proposición es falsa se llama contradicción.
Cuando la proposición tiene la posibilidad de ser verdadera o
falsa se llama contingencia.
Comprobar que las proposiciones son tautologías:
1. [(p ∧ q) → (p →∼ q)] → (q →∼ p)
2. [(p ∧ q) → r ] ↔ [(p → r ) ∨ (q → r )]
3. [(q → r ) ∧ q] → (p → q)
4. (p ∧ q) → {[(q → r ) ∧ q] → (p → q))}
Comprobar que las siguientes bicondicionales son
equivalencias:
1. (p → q) ↔ (∼ p ∨ q)
2. (p → q) ↔ (∼ q →∼ p)
3. ∼ (p ↔ q) ↔ (p4q)
4. (p ↔ q) ↔ [(p → q) ∧ (q → p)]