Documentos de Académico
Documentos de Profesional
Documentos de Cultura
FUNDAMENTOS DE LÓGICA
Hernán Gómez
Mayo, 2018
Contenido
1 Lógica
Denicion de Lógica
Denición de Proposicion
ejemplo:
La tierra es un planeta.
Representacion de Proposicion
ejemplo:
p=Nicolas tesla invento el motor
Operadores Logicos
Conjuncion(∧operador binario)
Disyuncion(∨operador binario)
Hecho
Valores = 2#proposiciones
Ejemplo
Operador de Negación
Es un operador unario
p ¬p
V F
F V
Cuadro: Tabla de Verdad Negacion
Conjuncion (operador Y)
Ejemplo
Ejemplo Conjunción
Ejemplo
ejemplo programacion
p q p∧q
V V V
V F F
F V F
F F F
Cuadro: Tabla de Verdad Conjuncion
Disyuncion (operador O)
Ejemplo
Ejemplo Disyuncion
Ejemplo
ejemplo programacion
p q p∨q
V V V
V F V
F V V
F F F
Cuadro: Tabla de Verdad Disyunción
Implicacion (operador ⇒)
p; hipotesis o antecedentes
q; conclusion.
Implicación
Ejemplo
Ejemplo
si x > 0 ⇒ x2 > 0
p q p⇒q
V V V
V F F
F V V
F F V
Cuadro: Tabla de Verdad Implicacion
Bicondicional (operador ⇔)
p q p⇔q
V V V
V F F
F V F
F F V
Cuadro: Tabla de Verdad Bicondicional
Leyes de Morgan
1.¬( p ∨ q ) ≡ ¬p ∧ ¬q
2. ¬(p ∧ q ) ≡ ¬p ∨ ¬q
Contrareciproca
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
Cuanticadores
Cuanticador Universal
Para todo
para cada
para cualquiera
∀x (x 2 ≥ 0); x ∈R
Verique
∀x (x 2 − 1) > 0; x ∈ R
Cuanticador Existencial
si existe al menos un elemento del dominio que cumpla con una proposicion
x
(∃ )
x = 2 ), x ∈ R
∃x ( x +1 5
∃x (x + 1 = 6), x ∈ R
¬(∀x p (x )) ≡ ∃x ¬p (x )
¬(∃x p (x )) ≡ ∀x ¬p (x )
Ejemplo
∃xQ (x , y )
x, es una variable ligada
y, una variable libre
Ejemplos
Ejemplo
Ejemplos
Ejemplo
Ejemplos
Ejemplo
C (x ) = x come hamburguesa
S (x ) = x es un ciudadano estado unidense;
∀x ( S (x ) ⇒ C (x ) )
Cuanticadores Anidados
Ejemplo
∀x ∃y A(x , y )
Ejemplo
∀x ∃y (x + y = 0);
en el dominio de los reales
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:
Ejemplo
Ejemplo
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 )