Sei sulla pagina 1di 39

Lógica

FUNDAMENTOS DE LÓGICA

Hernán Gómez

Universidad del Pacico


EISC(Facultad de Ingeniería)

Mayo, 2018

Hernán Gómez (UNPA) Mayo, 2018 1 / 38


Lógica

Contenido

1 Lógica

Hernán Gómez (UNPA) Mayo, 2018 2 / 38


Lógica

Denicion de Lógica

Lógica es el estudio del razonamiento; se reere especícamente a si el


razonamiento es correcto.

Razonamiento en el que las ideas se presentan de forma coherente y


sin contradicciones entre ellas.

Hernán Gómez (UNPA) Mayo, 2018 2 / 38


Lógica

Denición de Proposicion

Es una oracion o frase de la cual yo puedo determinar si es verdad ó


falsedad pero no ambas

ejemplo:

La tierra es un planeta.

Isaac newton no estudio la gravedad.

Hernán Gómez (UNPA) Mayo, 2018 3 / 38


Lógica

Representacion de Proposicion

Las proposiciones se representan con letra minusculas

ejemplo:
p=Nicolas tesla invento el motor

Hernán Gómez (UNPA) Mayo, 2018 4 / 38


Lógica

Operadores Logicos

existen varios operadores logicos que nos ayudan a construir


expresiones complejas.

Los operadores comunes son:

Negacion(¬ operador unario)

Conjuncion(∧operador binario)

Disyuncion(∨operador binario)

Condicional( =⇒ operador binario)

Hernán Gómez (UNPA) Mayo, 2018 5 / 38


Lógica

Calculo de Combinaciones de Valores de Verdad

Para calcular los valores de verdad de una expresion empleamos la


siguiente formula

Hecho

Valores = 2#proposiciones
Ejemplo

Sea p, q , r tres proposiciones la cantidad posible de valores de verdad seria:


2
3 =8 posibles valores

Hernán Gómez (UNPA) Mayo, 2018 6 / 38


Lógica

Operador de Negación

Invierte el sentido a la expresion

Es un operador unario

p=Nicolas Tesla invento el motor


¬p =Nicolas tesla no Invento el motor.

Hernán Gómez (UNPA) Mayo, 2018 7 / 38


Lógica

Tabla de Verdad Negacion

p ¬p
V F
F V
Cuadro: Tabla de Verdad Negacion

Hernán Gómez (UNPA) Mayo, 2018 8 / 38


Lógica

Conjuncion (operador Y)

Es un operador binario que necesita dos proposiciones. para que el


valor sea verdadero se necesita que las dos proposiciones sean
verdaderas.

Ejemplo

p=maria esta jugando


q =pedro esta estudiando
p ∧ q ; esta formulacion expresaria que maria esta jugando y pedro
estudiando.

Hernán Gómez (UNPA) Mayo, 2018 9 / 38


Lógica

Ejemplo Conjunción

Es programacion de computadoras es muy usado esta tipo de expresiones.


si deseamos expresar que una persona debe ser mayor de edad y tener una
puntuacion para recibir un tipo de descuento escribiriamos:

Ejemplo

ejemplo programacion

edad ≥ 18= edad es mayor a 18


puntos ≥ limite =puntos mayor que un tope
si (edad ≥ 18) ∧ (puntos ≥ limite ){ recibir decuento}

Hernán Gómez (UNPA) Mayo, 2018 10 / 38


Lógica

Tabla de Verdad Conjunción

p q p∧q
V V V
V F F
F V F
F F F
Cuadro: Tabla de Verdad Conjuncion

Hernán Gómez (UNPA) Mayo, 2018 11 / 38


Lógica

Disyuncion (operador O)

Es un operador binario que necesita dos proposiciones. para que el


valor sea verdadero se necesita que una de las proposiciones como
minimo sea verdadera.

Ejemplo

p=Juan matricula calculo I


q =Juan matricula matematicas discretas
p ∨ q ; esta formulacion expresaria que Juan matricula calculo I o
matematicas discretas

Hernán Gómez (UNPA) Mayo, 2018 12 / 38


Lógica

Ejemplo Disyuncion

Si deseamos expresar la terminacion de un juego por haber sido atrapado


por un enemigo o haber alcanzado el limite de tiempo escribiriamos:

Ejemplo

ejemplo programacion

tiempo >= limiteTiempo =si el tiempo de juego es mayor al limite de


tiempo
atrapado =tiene valor verdadero si es atrapado
si (tiempo >= limiteTiempo ) ∨ (atrapado ){ GAME OVER }

Hernán Gómez (UNPA) Mayo, 2018 13 / 38


Lógica

Tabla de Verdad Disyunción

p q p∨q
V V V
V F V
F V V
F F F
Cuadro: Tabla de Verdad Disyunción

Hernán Gómez (UNPA) Mayo, 2018 14 / 38


Lógica

Implicacion (operador ⇒)

Es un operador binario que consiste de 2 partes.

p; hipotesis o antecedentes

q; conclusion.

Si p sucede siempre sucede q.( p ⇒ q ) es decir p implica q.

Hernán Gómez (UNPA) Mayo, 2018 15 / 38


Lógica

Implicación

Ejemplo

Si tengo plata voy a cine; p⇒q


p=tengo plata
q=voy a cine

Ejemplo

si x > 0 ⇒ x2 > 0

Hernán Gómez (UNPA) Mayo, 2018 16 / 38


Lógica

Tabla de Verdad Implicación

p q p⇒q
V V V
V F F
F V V
F F V
Cuadro: Tabla de Verdad Implicacion

Hernán Gómez (UNPA) Mayo, 2018 17 / 38


Lógica

Bicondicional (operador ⇔)

Es un operador binario donde las implicaciones se hacen en ambos sentidos.


(p ⇔ q ). p si solo si q. indicando que p es razon necesaria y suciente
para q y viceversa.

p q p⇔q
V V V
V F F
F V F
F F V
Cuadro: Tabla de Verdad Bicondicional

Hernán Gómez (UNPA) Mayo, 2018 18 / 38


Lógica

Equivalencia Logica (≡)

Si una expresion F1 tiene para toda combinacion los mismos valores de


verdad que otra F2 ; se dice que (F1 ≡ F2 )

Hernán Gómez (UNPA) Mayo, 2018 19 / 38


Lógica

Equivalencia Logica (≡)

Hernán Gómez (UNPA) Mayo, 2018 20 / 38


Lógica

Leyes de Morgan

1.¬( p ∨ q ) ≡ ¬p ∧ ¬q
2. ¬(p ∧ q ) ≡ ¬p ∨ ¬q

Hernán Gómez (UNPA) Mayo, 2018 21 / 38


Lógica

Contrareciproca

La contrareciproca es la expresion que se forma apartir de (p ⇒ q ) y


equivale a (¬q ⇒ ¬p )

p q p⇒q ⇐⇒ ¬q ⇒ ¬p
V V V V F V F
V F F V V F F
F V F V F V V
F V V V V V V
Cuadro: Tabla de Verdad Bicondicional

Hernán Gómez (UNPA) Mayo, 2018 22 / 38


Lógica

Posibles Resultados de las Formulas

Tautologia se presenta cuanto todos los valores de la formula son


verdaderos

Contradiccion cuandno todos sus valores son falsos

Contingencia cuando sus valores son falsos y verdaderos

Hernán Gómez (UNPA) Mayo, 2018 23 / 38


Lógica

Cuanticadores

Los cuanticadores ayudan a determinar a que parte del dominio o


conjunto de valores posibles es aplicable una proposicion.

Hernán Gómez (UNPA) Mayo, 2018 24 / 38


Lógica

Cuanticador Universal

Si una proposicion es aplicada a todo el dominio; se identica con el


simbolo (∀) que se interpreta como:

Para todo

para cada

para cualquiera

Hernán Gómez (UNPA) Mayo, 2018 25 / 38


Lógica

Ejemplo Cuanticador Universal

∀x (x 2 ≥ 0); x ∈R
Verique
∀x (x 2 − 1) > 0; x ∈ R

Hernán Gómez (UNPA) Mayo, 2018 26 / 38


Lógica

Cuanticador Existencial

si existe al menos un elemento del dominio que cumpla con una proposicion
x
(∃ )

Hernán Gómez (UNPA) Mayo, 2018 27 / 38


Lógica

Ejemplo Cuanticador Existencial

x = 2 ), x ∈ R
∃x ( x +1 5
∃x (x + 1 = 6), x ∈ R

Hernán Gómez (UNPA) Mayo, 2018 28 / 38


Lógica

Morgan de los Cuanticadores

¬(∀x p (x )) ≡ ∃x ¬p (x )
¬(∃x p (x )) ≡ ∀x ¬p (x )

Hernán Gómez (UNPA) Mayo, 2018 29 / 38


Lógica

Variable Ligadas y Libres

Las variables ligadas son aquellas que se usan o asignan aun


cuanticador o valor

Las variables libres son aquellas que no estan ligadas a un cuanticador

Ejemplo

∃xQ (x , y )
x, es una variable ligada
y, una variable libre

Hernán Gómez (UNPA) Mayo, 2018 30 / 38


Lógica

Ejemplos

Ejemplo

Hay un politico honesto


p (x ) = x es un politico honesto; ∃x p (x )

Hernán Gómez (UNPA) Mayo, 2018 31 / 38


Lógica

Ejemplos

Ejemplo

Todos los estado-unidenses comen hamburguesas


Si el dominio son los ciudadanos estado-unidenses
C (x ) = x come hamburguesa; ∀x C (x )

Hernán Gómez (UNPA) Mayo, 2018 32 / 38


Lógica

Ejemplos

Ejemplo

Otra manera de presentar el ejemplo anterior

C (x ) = x come hamburguesa
S (x ) = x es un ciudadano estado unidense;
∀x ( S (x ) ⇒ C (x ) )

Hernán Gómez (UNPA) Mayo, 2018 33 / 38


Lógica

Cuanticadores Anidados

Se presenta cuando hay dos o mas variables que se necesita cuanticar

enunciado:La suma de cualesquiera dos números reales positivos es positiva


∀x ∀y ( ( ( x > 0) ∧ (y > 0) ) ⇒ (x + y ) > 0 )

Hernán Gómez (UNPA) Mayo, 2018 34 / 38


Lógica

Ejemplo

Todos aman a alguien

A( x , y ) = x ; x ama a y entonces se podia expresar como

∀x ∃y A(x , y )

tenga en cuenta que: ∃x ∀y A(x , y ) esta expresion se entiende como que


existe una persona que ama a todas las personas

Hernán Gómez (UNPA) Mayo, 2018 35 / 38


Lógica

Ejemplo

como se puede expresar el concepto de la inversa de la suma

∀x ∃y (x + y = 0);
en el dominio de los reales

Hernán Gómez (UNPA) Mayo, 2018 36 / 38


Lógica

Ejemplo

Sea la expresion ∃x ∀y (xy < 1); es verdad en el dominio de los reales para
x =0
la negacion de la expresion sera:

¬( ∃x ∀y (xy < 1) ) ≡ ( ∀x ∃y (xy ≥ 1) )

Hernán Gómez (UNPA) Mayo, 2018 37 / 38


Lógica

Ejemplo

Ejemplo

Toda mujer que tenga hijo es madre de alguna persona

F (x ) = x es una mujer
H (x ) = x tiene un hijo
M (x , y ) = x es madre de y
∀x ( F (x ) ∧ H (x ) ) ⇒ ∃y M (x , y )

Hernán Gómez (UNPA) Mayo, 2018 38 / 38