Álgebra

Lógica de Proposiciones
Proposiciones
Lógica: El estudio del razonamiento de forma “correcta”

Se concentra en la relación de las afirmaciones sin considerar el contenido.

Proposición: Sentencia u oración que puede afirmarse o negarse.

Ejemplos

1. El costo del boleto es de $1,500.

2. El autobús no alcanza el límite de velocidad.
3. Levántate
4. ¿Qué hora es?
5. x+5=8
● Las proposiciones serán representadas con letras minúsculas.
p, q, r, s
p = El cielo es de color azúl

Conectivos Lógicos. Son elementos que permiten combinar o asociar dos o más
proposiciones. El grado de verdad resultante podrá representarse por una tabla de
verdad.

● Conjunción. Enlaza o une dos o más proposiciones.

pyq
p∧q
p = Hoy es lunes
q = Está lloviendo
Hoy es lunes y está lloviendo
● Disyunción. Distinción o separación entre dos o más proposiciones.
poq
pVq
p = Hoy es lunes
q = Está lloviendo
Hoy es lunes o está lloviendo

● Negación. Invierte el valor de verdad de una proposición.

¬ p = Hoy NO es lunes.
¬¬p = Hoy es lunes

p V ¬q
Hoy es lunes y NO está lloviendo
● Condicional. Relación entre dos o más proposiciones que conlleva una
implicación.
Si p entonces q
p→q
p = Hoy es lunes (antecedente o hipótesis)
q = Está lloviendo (consecuencia o conclusión)
Si hoy es lunes entonces está lloviendo.

● Bicondicional. Es una proposición que tiene una doble condicional.

Si y sólo si p entonces q
p↔q
Si y sólo si hoy es lunes entonces está lloviendo
Tablas de Verdad. Representación gráfica de los posibles valores de verdad de
una proposición “compuesta”.
Función Proposicional. Es una proposición “abierta” que necesita de elementos
adicionales, bien definidos, para poder considerar un grado de verdad.

Conjunto de Verdad. Es el conjunto de elementos válidos que deberán

considerarse en una función proposicional en particular.

p(x) = x + 5 = 8
CV = [ 0,4 ]

Valor p(x) = x + 5 Resultado V/F

0 p(0) = 0 + 5 5 F

1 p(1) = 1 + 5 6 F

2 p(2) = 2 + 5 7 F

3 p(3) = 3 + 5 8 V

4 p(4) = 4 + 5 9 F
Cuantificadores
C. Universal. Expresa que una función proposicional será verdadera cuando todos
los elementos del CV son verdaderos.
Para todo x, en p(x)
∀x p(x)
p(x) = x+1 > x
CV = números reales

C. Existencial. Expresa, en una función proposicional, que existe al menos un valor

válido para el CV.
Existe al menos un x, en p(x)
∃x p(x)
p(x) = x + 5 = 8
CV = [ 0,4 ]