Tema5t PDF
Tema5t PDF
Leandro Marín
2012
Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción
2 Tablas de Verdad
3 Lógica de Predicados
4 Inducción
Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción
Operadores Lógicos
Para hacer fórmulas lógicas complejas, podemos utilizar
operadores lógicos. Los principales son ∧, ∨, ¬ y →.
Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción
Operadores Lógicos
Para hacer fórmulas lógicas complejas, podemos utilizar
operadores lógicos. Los principales son ∧, ∨, ¬ y →.
Si p es una proposición, denotaremos ¬p a la proposición que
es cierta exactamente cuando p es falsa y viceversa. Lo
leeremos con no p.
Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción
Operadores Lógicos
Para hacer fórmulas lógicas complejas, podemos utilizar
operadores lógicos. Los principales son ∧, ∨, ¬ y →.
Si p es una proposición, denotaremos ¬p a la proposición que
es cierta exactamente cuando p es falsa y viceversa. Lo
leeremos con no p.
Si p y q son proposiciones, denotaremos p ∧ q la proposición
que es cierta exactamente cuando ambas proposiciones son
ciertas, si alguna de ellas es falsa, entonces p ∧ q es falsa. Lo
leeremos p y q.
Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción
Operadores Lógicos
Para hacer fórmulas lógicas complejas, podemos utilizar
operadores lógicos. Los principales son ∧, ∨, ¬ y →.
Si p es una proposición, denotaremos ¬p a la proposición que
es cierta exactamente cuando p es falsa y viceversa. Lo
leeremos con no p.
Si p y q son proposiciones, denotaremos p ∧ q la proposición
que es cierta exactamente cuando ambas proposiciones son
ciertas, si alguna de ellas es falsa, entonces p ∧ q es falsa. Lo
leeremos p y q.
Si p y q son proposiciones, denotaremos p ∨ q la proposición
que es cierta cuando alguna de las proposiciones p o q es
cierta (o las dos). Se leerá como p o q.
Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción
Operadores Lógicos
Para hacer fórmulas lógicas complejas, podemos utilizar
operadores lógicos. Los principales son ∧, ∨, ¬ y →.
Si p es una proposición, denotaremos ¬p a la proposición que
es cierta exactamente cuando p es falsa y viceversa. Lo
leeremos con no p.
Si p y q son proposiciones, denotaremos p ∧ q la proposición
que es cierta exactamente cuando ambas proposiciones son
ciertas, si alguna de ellas es falsa, entonces p ∧ q es falsa. Lo
leeremos p y q.
Si p y q son proposiciones, denotaremos p ∨ q la proposición
que es cierta cuando alguna de las proposiciones p o q es
cierta (o las dos). Se leerá como p o q.
Si p y q son proposiciones, denotaremos p → q la proposición
que es cierta cuando p es falsa o q es verdadera. Se llama p
implica q.
Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción
Operadores Lógicos
Para hacer fórmulas lógicas complejas, podemos utilizar
operadores lógicos. Los principales son ∧, ∨, ¬ y →.
Si p es una proposición, denotaremos ¬p a la proposición que
es cierta exactamente cuando p es falsa y viceversa. Lo
leeremos con no p.
Si p y q son proposiciones, denotaremos p ∧ q la proposición
que es cierta exactamente cuando ambas proposiciones son
ciertas, si alguna de ellas es falsa, entonces p ∧ q es falsa. Lo
leeremos p y q.
Si p y q son proposiciones, denotaremos p ∨ q la proposición
que es cierta cuando alguna de las proposiciones p o q es
cierta (o las dos). Se leerá como p o q.
Si p y q son proposiciones, denotaremos p → q la proposición
que es cierta cuando p es falsa o q es verdadera. Se llama p
implica q.
Todas estas operaciones se pueden combinar utilizando
Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción
Precedencia de Operadores
Precedencia de Operadores
Precedencia de Operadores
Precedencia de Operadores
Precedencia de Operadores
Precedencia de Operadores
p q f (p, q)
0 0 f (0, 0)
0 1 f (0, 1)
1 0 f (1, 0)
1 1 f (1, 1)
Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción
p q p∧q
0 0 0
0 1 0
1 0 0
1 1 1
p r r →p q q → (r → p)
0 0 1 0 1
0 1 0 0 1
0 0 1 1 1
0 1 0 1 0
1 0 1 0 1
1 1 1 0 1
1 0 1 1 1
1 1 1 1 1
Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción
r ∧q r q q∨r (q ∨ r ) ∨ r ∧ q ¬((q ∨ r ) ∨ r ∧ q)
0 0 0 0 0 1
0 1 0 1 1 0
0 0 1 1 1 0
1 1 1 1 1 0
El Concepto de Universo
El Concepto de Universo
El Concepto de Universo
El Concepto de Universo
El Concepto de Universo
El Concepto de Universo
Ejemplo de Universo
Cuantificadores
En lógica de predicados existen dos cuantificadores, el
cualtificador universal ∀ (para todo) y el existencial ∃ (existe)
Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción
Cuantificadores
En lógica de predicados existen dos cuantificadores, el
cualtificador universal ∀ (para todo) y el existencial ∃ (existe)
Por ejemplo, si tenemos definido el predicado Circ(x) que nos
dice un un objeto x es un círculo, podemos escribir
∀x, Circ(x), que se leería : Todos los elementos (del universo
considerado) son círculos.
Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción
Cuantificadores
En lógica de predicados existen dos cuantificadores, el
cualtificador universal ∀ (para todo) y el existencial ∃ (existe)
Por ejemplo, si tenemos definido el predicado Circ(x) que nos
dice un un objeto x es un círculo, podemos escribir
∀x, Circ(x), que se leería : Todos los elementos (del universo
considerado) son círculos.
La fórmula ∃x, Circ(x) se leería: Existe un círculo (en nuestro
universo)
Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción
Cuantificadores
En lógica de predicados existen dos cuantificadores, el
cualtificador universal ∀ (para todo) y el existencial ∃ (existe)
Por ejemplo, si tenemos definido el predicado Circ(x) que nos
dice un un objeto x es un círculo, podemos escribir
∀x, Circ(x), que se leería : Todos los elementos (del universo
considerado) son círculos.
La fórmula ∃x, Circ(x) se leería: Existe un círculo (en nuestro
universo)
Puesto que la lógica de predicados es una extensión de la
lógica de proposiciones, podemos utilizar también los
conectores lógicos para escribir fórmulas.
Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción
Cuantificadores
En lógica de predicados existen dos cuantificadores, el
cualtificador universal ∀ (para todo) y el existencial ∃ (existe)
Por ejemplo, si tenemos definido el predicado Circ(x) que nos
dice un un objeto x es un círculo, podemos escribir
∀x, Circ(x), que se leería : Todos los elementos (del universo
considerado) son círculos.
La fórmula ∃x, Circ(x) se leería: Existe un círculo (en nuestro
universo)
Puesto que la lógica de predicados es una extensión de la
lógica de proposiciones, podemos utilizar también los
conectores lógicos para escribir fórmulas.
Así por ejemplo, ∀x, Circ(x) → Azul(x) se leería como Para
todo elemento x de nuestro universo, si x es un círculo,
entonces es azul.
Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción
Cuantificadores
En lógica de predicados existen dos cuantificadores, el
cualtificador universal ∀ (para todo) y el existencial ∃ (existe)
Por ejemplo, si tenemos definido el predicado Circ(x) que nos
dice un un objeto x es un círculo, podemos escribir
∀x, Circ(x), que se leería : Todos los elementos (del universo
considerado) son círculos.
La fórmula ∃x, Circ(x) se leería: Existe un círculo (en nuestro
universo)
Puesto que la lógica de predicados es una extensión de la
lógica de proposiciones, podemos utilizar también los
conectores lógicos para escribir fórmulas.
Así por ejemplo, ∀x, Circ(x) → Azul(x) se leería como Para
todo elemento x de nuestro universo, si x es un círculo,
entonces es azul.
La proposición anterior sería verdadera si no hubiese ningún
circulo de forma trivial.
Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción
Relación entre ∀ y ∃
Relación entre ∀ y ∃
Relación entre ∀ y ∃
1 + 2 + · · · + n + (n + 1) = (1 + 2 + · · · + n) + (n + 1) =∗
1 1
n(n + 1) + (n + 1) = (n + 1)(n + 2)
2 2
Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción
1 + 2 + · · · + n + (n + 1) = (1 + 2 + · · · + n) + (n + 1) =∗
1 1
n(n + 1) + (n + 1) = (n + 1)(n + 2)
2 2
Fijémonos como en la igualdad marcada con ∗ hemos utilizado
la hipósteis de inducción para conseguir demostrar la igualdad
para n + 1 que es 1 + 2 + · · · + n + (n + 1) = 12 (n + 1)(n + 2).
Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción
Demostraciones Teóricas
Demostraciones Teóricas
Demostraciones Teóricas
Demostraciones Teóricas