Lógica de predicados

Matemática General 002

Prof. Ameijeiras María Laura
Com.4
Matemática = Lenguaje de símbolos
Veamos algunos símbolos que nos van a ser útiles:
• Variables:
x y z (w u v t)
• Números:
a b c d
• Símbolos matemáticos:
= < > ≥ ≤≡≈ ≠ /
• Símbolos Lógicos:
V Λ⇒⇔∀∃
La lógica es la rama de la Matemática que analiza la forma en la que
razonamos. Es la disciplina que por medio de reglas y estrategias
determina la validez de un argumento.
La lógica es la base de todo razonamiento automatizado que es
primordial en informática.

Lógica de predicados
Se utiliza en la ciencia (y en general)
para los razonamientos y teorías

Comencemos con este nuevo

idioma!!!
Una proposición es un enunciado el cual se puede dar un valor de verdad. Podemos
decir si es verdadero o falso

• “Einstein fue un físico teórico”

• “La letra o tiene dos significados”
• “Marcela ganó en las olimpíadas matemáticas”

También son proposiciones todas las leyes científicas, las fórmulas matemáticas
• 𝐸 = 𝑚𝑐 2 𝑐 y 𝑎2 −𝑏 2 = 𝑎 + 𝑏 𝑎 − 𝑏

No son proposiciones las opiniones, proverbios, refranes, modismos,

suposiciones o juicios de valor, las oraciones interrogativas, las exhortativas o
imperativas, las desiderativas; las exclamativas o admirativas y los enunciados
abiertos.
• Ella es muy bella
• Abri la puerta
• ¿hoy es viernes?
Las proposiciones se representan con letras : p; q; r; t ; w….

La lógica proposicional o de predicados estudia la formación de proposiciones

complejas a partir de proposiciones simples

Proposición : tiene una valor lógico V O F

Simple: sin conectores lógicos

Compuesta: con conectores lógicos,

unen dos o más proposiciones

Simón es un hombre trabajador p

Simón es una persona deportista q
Simón es un hombre trabajador y una persona deprotista p^q
 PROPOSICIONES

Clasificación: Simples y Compuestas

Conectivos
Lógicos

Hagamos algunos ejemplos

¿cómo hacemos para saber el valor de verdad de las proposiciones compuestas?
 Para eso usamos las:
Leyes de la lógica básicas: Tabla de verdad de los conectivos

Proposición p Proposición q conjunción Disy. inclusiva Disy. exclusiva condicional Bicondicional negación

p q 𝒑⋀𝒒 𝒑∨𝒒 𝒑∨𝒒 𝑝⟶𝑞 𝑝⟷𝑞 ~𝑝

v v v v f v v f
v f f v v f f f
f v f v v v f v
f f f f f v v v

Las proposiciones compuestas pueden tener más de dos proposiciones

simples unidas por los conectivos lógicos, veamos como se simbolizan
Y luego hagamos la tabla
Guía para la simbolización:
➢Identifico los conectivos
➢Identifico las proposiciones simples
➢simbolizo la oración! En este caso la coma reemplaza al
“entonces”

Condicional Conjunción

Si la información no es completa para compradores y vendedores, hay una falla de mercado

p q r

p: la información no es completa para

compradores
q: la información no es completa para
vendedores
(𝑝 ∧ 𝑞) ⟶ 𝑟
r: hay una falla en el mercado
Tablas de Verdad: hagamos otro ejemplo
condicional
“Si * es cerrada en A entonces m*l ∈ A, es mentira, solo si,
Negación
* es cerrada en A y m*l ∉ A”
Conjunción Bi condicional

P = * es cerrada en A Q = m*l ∈ A

~ (p → q) ⇐⇒ p y ~ q
“Si * es cerrada en A entonces m*l ∈ A, es mentira, solo si, * es cerrada en A y m*l ∉ A”

~ (p → q) ⇐⇒ p y ~ q
p q p→q ~ (p → q) ~q p y ~ q ~(p → q)⇐⇒p y ~q
V V V F F F V

V F F V V V V

F V V F F F V

F F V F V F V

Cant de Prop Cant de pos

1 proposición 2 posibilidades
¿qué pasa si tengo mas variables?

2n
2 proposiciones 4 posibilidades
¿cuántas posibilidades voy a tener? 3 proposiciones 8 posibilidades
4 proposiciones 16
posibilidades
N proposiciones ¿?
Leyes de la Lógica:

Son leyes porque el

bicondicional es una
TAUTOLOGÍA
 Hagamos algunos ejemplos:

a) 8 es par o 6 es impar
b) 8 es par y 6 es impar
c) Si 8 es impar y 6 es impar, entonces 8 < 6.
d ) 10 es múltiplo de 5 pero no de 3.

Hechos en clase
Aclaremos un poco :

Condición necesario y suficiente:

Suficiente: un elemento o hecho es condición suficiente de la existencia de otro cuando al
darse el primero debe darse el segundo, pero sin que ello signifique que la existencia del
segundo quepa deducirla del primero
(alcanza que ocurra p para que ocurra q)

“Si llueve, se mojarán las calles”

Necesaria: : un elemento o hecho es condición necesaria de la existencia de otro; cuando

si bien es cierto que debe darse el primero para que se de el segundo, no basta eso.

“Si el alumno conoce el inglés entonces puede matricularse en la universidad”

Si un elemento es condición necesaria de otro, entonces éste es condición suficiente de aquel.

Condición necesaria y suficiente: un hecho o elemento es condición necesaria y suficiente

de otro si del hecho de darse el primero se sigue necesariamente el segundo y viceversa.

“Si no respira ;está muerto”

Veamos el siguiente ejemplo:

“X es un número positivo”

No podemos asegurarlo, depende

del universo

Función proposicional
¿Cómo se simboliza?

Universo = conjunto donde “vive” la variable (en el

ejemplo U = { los pares} o U = { -6; -8; 6; 50}

Defino la función proposicional: P(x) = x es positivo o P(x) = x ≥ 0

Veamos ahora estas frases:
“Todos los números son naturales”
“Algunos números son irracionales”
¿Cómo se
simboliza? Cuantificador Universal (Para
Todos): " x; P(x) (Todos los elementos de un
conjunto cumplen con una determinada característica)

Cuantificador Existencial
(Existe): $ x; Q(x)(hay 1 o más elementos de
un conjunto que cumplen con determinada propiedad)

¿Cuándo son verdaderas o falsas?

Depende del Universo
Ejemplo:
Sea P(x) = “x es impar” en U={1;2;3}
seria ⱻx/P(x) Existe algún numero que pertenece a U que es impar

Sea Q(x) = x-2>0 con x∈ Ɲ ∀x ;Q(x) todo numero natural restado a dos es
mayor a cero FALSO
Sería : ⱻx/Q(x) existe por lo menso un numero natural restado a dos es
mayor a cero

Para negar los cuantificadores

• − (∀x ;P(x)) ↔ ⱻx/ -P(x)

• -( ⱻx/P(x) ) ↔ ∀x ; -P(x)
Otras negaciones: :
• −(∀x ; P(x) ^ Q(x)) = ⱻx : -( P(x) ^ Q(x) ) sería ⱻx :- P(x) ˅ −Q(x)
• -(ⱻx/-P(x) Q(x)) = ∀x ; -(-P(x) Q(x)) sería ∀x ; -P(x) ^ - Q(x)
Hagamos algunos ejemplos:

Hay cisnes negros U= cisnes

P(x)= es negro
ⱻx/P(x) Existen cisnes negros

Negación : -[ⱻx/P(x) ] seria ∀x ;-P(x) Todos los cisnes no son negros

Todos aprobamos el curso y disfrutamos las vacaciones U = alumnos

P(x)= aprobamos el curso
Q(x) = disfrutamos las vacaciones

∀x ;P(x) ^ Q(x) todos los alumnos aprueban el curso y disfrutan las vacaciones

Negación
-[ ∀x ;P(x) ^ Q(x)] seria ⱻx - P(x) ˅ −Q(x) algunos alumnos no aprueban el curso o
no disfrutan las vacaciones
Leyes de la lógica
 MATEMATICA

Demostración de algunas de las leyes anteriores

LEYES LOGICAS O TAUTOLOGIAS:

INVOLUCION:
~(~𝒑) ⇔ 𝒑

𝒑 ~𝒑 ~(~𝒑)
𝑽 𝑭 𝑽
𝑭 𝑽 𝑭
 MATEMATICA

LEYES LOGICAS O TAUTOLOGIAS:

INVOLUCION: ~(~𝒑) ⇔ 𝒑

𝒑 ~𝒑 ~(~𝒑) ~(~𝒑) ⇔ 𝒑
𝑽 𝑭 𝑽 𝑽 𝑽 𝑽
𝑭 𝑽 𝑭 𝑭 𝑽 𝑭
 MATEMATICA

LEYES LOGICAS O TAUTOLOGIAS:

IDEMPOTENCIA:
(𝒑 ∧ 𝒑) ⇔ 𝒑 𝒑 ∧ 𝒑 𝒑∧𝒑 ⇔ 𝒑
𝑽 𝑽 𝑽 𝑽 𝑽 𝑽
𝑭 𝑭 𝑭 𝑭 𝑽 𝑭

(𝒑 ∨ 𝒑) ⇔ 𝒑 𝒑 ∨ 𝒑 𝒑∨𝒑 ⇔ 𝒑
𝑽 𝑽 𝑽 𝑽 𝑽 𝑽
𝑭 𝑭 𝑭 𝑭 𝑽 𝑭
 MATEMATICA

LEYES LOGICAS O TAUTOLOGIAS:

CONMUTATIVIDAD: 𝒑 ∨ 𝒒 ⇔ 𝒒 ∨ 𝒑
𝑽 𝑽 𝑽 𝑽 𝑽 𝑽 𝑽
De la disyunción (𝒑 ∨ 𝒒) ⇔ (𝒒 ∨ 𝒑) 𝑽 𝑽 𝑭 𝑽 𝑭 𝑽 𝑽
𝑭 𝑽 𝑽 𝑽 𝑽 𝑽 𝑭
𝑭 𝑭 𝑭 𝑽 𝑭 𝑭 𝑭

𝒑 ∧ 𝒒 ⇔ 𝒒 ∧ 𝒑
𝑽 𝑽 𝑽 𝑽 𝑽 𝑽 𝑽
De la conjunción (𝒑 ∧ 𝒒) ⇔ (𝒒 ∨ 𝒑) 𝑽 𝑭 𝑭 𝑽 𝑭 𝑭 𝑽
𝑭 𝑭 𝑽 𝑽 𝑽 𝑭 𝑭
𝑭 𝑭 𝑭 𝑽 𝑭 𝑭 𝑭
 MATEMATICA

LEYES LOGICAS O TAUTOLOGIAS:

(𝒑 (𝒑 ∨∨ (𝒑
𝒒)𝒒)
∨ 𝒒) ∨ ∨
𝒓 𝒓 ⇔ 𝒑 𝒑∨∨ (𝒒(𝒒∨(𝒒𝒓)∨ 𝒓)𝒓)
ASOCIATIVIDAD:
𝑽 𝑽 𝑽𝑽 𝑽 𝑽 𝑽 𝑽 𝑽 𝑽𝑽 𝑽
𝑽 𝑽
𝑽 𝑽 𝑽𝑽 𝑽 𝑭 𝑽 𝑽 𝑽 𝑽𝑽 𝑽
𝑽 𝑭
De la disyunción 𝑽 𝑽 𝑭𝑽 𝑽 𝑽 𝑽 𝑽 𝑽 𝑽𝑭 𝑽
𝑽 𝑽
(𝒑 ∨ 𝒒) ∨ 𝒓 ⇔ 𝒑 ∨ (𝒒 ∨ 𝒓) 𝑽 𝑽 𝑭𝑽 𝑽 𝑭 𝑽 𝑽 𝑽 𝑽𝑭 𝑭
𝑭 𝑭
𝑭 𝑽 𝑽𝑽 𝑽 𝑽 𝑽 𝑭 𝑽 𝑽𝑽 𝑽
𝑽 𝑽
𝑭 𝑽 𝑽𝑽 𝑽 𝑭 𝑽 𝑭 𝑽 𝑽𝑽 𝑽
𝑽 𝑭
𝑭 𝑭
𝑭 𝑭𝑽 𝑽 𝑽 𝑽 𝑭 𝑽 𝑽𝑭 𝑽
𝑽 𝑽
𝑭 𝑭 𝑭𝑭 𝑭 𝑭 𝑽 𝑭 𝑭 𝑭𝑭 𝑭
𝑭 𝑭

(𝒑 (𝒑(𝒑
∧∧ 𝒒) 𝒒)∧ 𝒓 ∧
∧ 𝒒) 𝒓 ⇔
⇔ 𝒑 ∧ 𝒑 (𝒒
∧ (𝒒
(𝒒 ∧∧ 𝒓)
𝒓)𝒓)
𝑽 𝑽𝑽 𝑽𝑽 𝑽 𝑽 𝑽 𝑽 𝑽 𝑽 𝑽𝑽 𝑽
𝑽 𝑽𝑽 𝑭𝑽 𝑭 𝑭 𝑽 𝑽 𝑭 𝑽 𝑭𝑭 𝑭
De la conjunción 𝑽 𝑭𝑭 𝑭𝑭 𝑭 𝑽 𝑽 𝑽 𝑭 𝑭 𝑭𝑭 𝑽
𝑽 𝑭𝑭 𝑭𝑭 𝑭 𝑭 𝑽 𝑽 𝑭 𝑭 𝑭𝑭 𝑭
(𝒑 ∧ 𝒒) ∧ 𝒓 ⇔ 𝒑 ∨ (𝒒 ∧ 𝒓) 𝑭 𝑭𝑭 𝑭𝑽 𝑭 𝑽 𝑽 𝑭 𝑭 𝑽 𝑭𝑽 𝑽
𝑭 𝑭𝑭 𝑭𝑽 𝑭 𝑭 𝑽 𝑭 𝑭 𝑽 𝑭𝑭 𝑭
𝑭 𝑭𝑭 𝑭𝑭 𝑭 𝑽 𝑽 𝑭 𝑭 𝑭 𝑭𝑭 𝑽
𝑭 𝑭𝑭 𝑭𝑭 𝑭 𝑭 𝑽 𝑭 𝑭 𝑭 𝑭𝑭 𝑭
 MATEMATICA

LEYES LOGICAS O TAUTOLOGIAS:

DISTRIBUTIVA: De la conjunción respecto de la disyunción
(𝒑 ∨ 𝒒) ∧ 𝒓 ⇔ (𝒑 ∧ 𝒓) ∨ (𝒒 ∧ 𝒓)
(𝒑 ∨ 𝒒) ∧ 𝒓 ⇔ (𝒑 ∧ 𝒓) ∨ (𝒒 ∧ 𝒓)
𝑽 𝑽 𝑽 𝑽 𝑽 𝑽 𝑽 𝑽 𝑽 𝑽 𝑽 𝑽 𝑽
𝑽 𝑽 𝑽 𝑭 𝑭 𝑽 𝑽 𝑭 𝑭 𝑭 𝑽 𝑭 𝑭
𝑽 𝑽 𝑭 𝑽 𝑽 𝑽 𝑽 𝑽 𝑽 𝑽 𝑭 𝑭 𝑽
𝑽 𝑽 𝑭 𝑭 𝑭 𝑽 𝑽 𝑭 𝑭 𝑭 𝑭 𝑭 𝑭
𝑭 𝑽 𝑽 𝑽 𝑽 𝑽 𝑭 𝑭 𝑽 𝑽 𝑽 𝑽 𝑽
𝑭 𝑽 𝑽 𝑭 𝑭 𝑽 𝑭 𝑭 𝑭 𝑭 𝑽 𝑭 𝑭
𝑭 𝑭 𝑭 𝑭 𝑽 𝑽 𝑭 𝑭 𝑽 𝑭 𝑭 𝑭 𝑽
𝑭 𝑭 𝑭 𝑭 𝑭 𝑽 𝑭 𝑭 𝑭 𝑭 𝑭 𝑭 𝑭
 MATEMATICA

LEYES LOGICAS O TAUTOLOGIAS:

LEYES de DE MORGAN:
a) La negación de una disyunción es equivalente a la ~ (𝒑 ∨ 𝒒) ⇔ ~ 𝒑 ∧ ~ 𝒒
conjunción de las negaciones
𝑭 𝑽 𝑽 𝑽 𝑽 𝑭 𝑽 𝑭 𝑭 𝑽
~(𝒑 ∨ 𝒒) ⇔ ~𝒑 ∧ ~𝒒 𝑭 𝑽 𝑽 𝑭 𝑽 𝑭 𝑽 𝑭 𝑽 𝑭
𝑭 𝑭 𝑽 𝑽 𝑽 𝑽 𝑭 𝑭 𝑭 𝑽
𝑽 𝑭 𝑭 𝑭 𝑽 𝑽 𝑭 𝑽 𝑽 𝑭

b) La negación de una conjunción es equivalente a la ~ (𝒑 ∧ 𝒒) ⇔ ~ 𝒑 ∨ ~ 𝒒

disyunción de las negaciones
𝑭 𝑽 𝑽 𝑽 𝑽 𝑭 𝑽 𝑭 𝑭 𝑽
~(𝒑 ∧ 𝒒) ⇔ ~𝒑 ∨ ~𝒒 𝑽 𝑽 𝑭 𝑭 𝑽 𝑭 𝑽 𝑽 𝑽 𝑭
𝑽 𝑭 𝑭 𝑽 𝑽 𝑽 𝑭 𝑽 𝑭 𝑽
𝑽 𝑭 𝑭 𝑭 𝑽 𝑽 𝑭 𝑽 𝑽 𝑭