Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción

Curso 0: Matemáticas y sus Aplicaciones

Tema 5. Lógica y Formalismo Matemático

Leandro Marín

Dpto. de Matemática Aplicada

Universidad de Murcia

2012
Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción

1 Proposiciones y Conectores Lógicos

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

Una proposición es una afirmación lógica que puede ser

verdadera o falsa.
Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción

Una proposición es una afirmación lógica que puede ser

verdadera o falsa.
Un razonamiento se puede dividir en proposiciones y relaciones
entre ellas.
Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción

Una proposición es una afirmación lógica que puede ser

verdadera o falsa.
Un razonamiento se puede dividir en proposiciones y relaciones
entre ellas.
Por ejemplo, p = Está lloviendo, q = Se suspende el partido
de fútbol son dos proposiciones.
Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción

Una proposición es una afirmación lógica que puede ser

verdadera o falsa.
Un razonamiento se puede dividir en proposiciones y relaciones
entre ellas.
Por ejemplo, p = Está lloviendo, q = Se suspende el partido
de fútbol son dos proposiciones.
Inicialmente no nos importa si son ciertas o falsas, sabemos
que deben tener uno de esos dos valores de verdad.
Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción

Una proposición es una afirmación lógica que puede ser

verdadera o falsa.
Un razonamiento se puede dividir en proposiciones y relaciones
entre ellas.
Por ejemplo, p = Está lloviendo, q = Se suspende el partido
de fútbol son dos proposiciones.
Inicialmente no nos importa si son ciertas o falsas, sabemos
que deben tener uno de esos dos valores de verdad.
Entre las proposiciones se pueden establecer relaciones, por
ejemplo Si está lloviendo se suspende el partido de fútbol es
una relación entre las proposiciones p y q que nos crea una
nueva proposición más compleja.
Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción

Una proposición es una afirmación lógica que puede ser

verdadera o falsa.
Un razonamiento se puede dividir en proposiciones y relaciones
entre ellas.
Por ejemplo, p = Está lloviendo, q = Se suspende el partido
de fútbol son dos proposiciones.
Inicialmente no nos importa si son ciertas o falsas, sabemos
que deben tener uno de esos dos valores de verdad.
Entre las proposiciones se pueden establecer relaciones, por
ejemplo Si está lloviendo se suspende el partido de fútbol es
una relación entre las proposiciones p y q que nos crea una
nueva proposición más compleja.
La unión de proposiciones para crear otras nuevas se realiza
mediante los conectores lógicos.
Í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

Algunas Formalizaciones (I)

Consideremos la frase Si llueve no iremos de excursión.

Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción

Algunas Formalizaciones (I)

Consideremos la frase Si llueve no iremos de excursión.

Vamos a denotar p =Llueve y q =iremos de excursión
Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción

Algunas Formalizaciones (I)

Consideremos la frase Si llueve no iremos de excursión.

Vamos a denotar p =Llueve y q =iremos de excursión
La frase Si llueve no iremos de excursión se representará
p → ¬q
Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción

Algunas Formalizaciones (II)

Consideremos la frase Siempre que estamos aburridos y no

tenemos nada que hacer, vamos de excursión.
Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción

Algunas Formalizaciones (II)

Consideremos la frase Siempre que estamos aburridos y no

tenemos nada que hacer, vamos de excursión.
Vamos a denotar p =Estamos aburridos, q =tenemos algo que
hacer y r =ir de excursión
Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción

Algunas Formalizaciones (II)

Consideremos la frase Siempre que estamos aburridos y no

tenemos nada que hacer, vamos de excursión.
Vamos a denotar p =Estamos aburridos, q =tenemos algo que
hacer y r =ir de excursión
La frase Siempre que estamos aburridos y no tenemos nada
que hacer, vamos de excursión. se representará p ∧ ¬q → r .
Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción

Precedencia de Operadores

Las expresión p ∧ q ∨ r podría en principio significar (p ∧ q) ∨ r

o p ∧ (q ∨ r ). Entonces tendríamos que estar poniendo
paréntesis en todas las expresiones para no hubiera
ambigüedad.
Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción

Precedencia de Operadores

Las expresión p ∧ q ∨ r podría en principio significar (p ∧ q) ∨ r

o p ∧ (q ∨ r ). Entonces tendríamos que estar poniendo
paréntesis en todas las expresiones para no hubiera
ambigüedad.
Para evitarlo se establece como en el caso de la suma y la
multiplicación lo que se conoce como precedencia de
operadores.
Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción

Precedencia de Operadores

Las expresión p ∧ q ∨ r podría en principio significar (p ∧ q) ∨ r

o p ∧ (q ∨ r ). Entonces tendríamos que estar poniendo
paréntesis en todas las expresiones para no hubiera
ambigüedad.
Para evitarlo se establece como en el caso de la suma y la
multiplicación lo que se conoce como precedencia de
operadores.
El orden de precedencia es ¬, ∧, ∨ y →.
Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción

Precedencia de Operadores

Las expresión p ∧ q ∨ r podría en principio significar (p ∧ q) ∨ r

o p ∧ (q ∨ r ). Entonces tendríamos que estar poniendo
paréntesis en todas las expresiones para no hubiera
ambigüedad.
Para evitarlo se establece como en el caso de la suma y la
multiplicación lo que se conoce como precedencia de
operadores.
El orden de precedencia es ¬, ∧, ∨ y →.
Por lo tanto p ∧ q ∨ r significa (p ∧ q) ∨ r .
Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción

Precedencia de Operadores

Las expresión p ∧ q ∨ r podría en principio significar (p ∧ q) ∨ r

o p ∧ (q ∨ r ). Entonces tendríamos que estar poniendo
paréntesis en todas las expresiones para no hubiera
ambigüedad.
Para evitarlo se establece como en el caso de la suma y la
multiplicación lo que se conoce como precedencia de
operadores.
El orden de precedencia es ¬, ∧, ∨ y →.
Por lo tanto p ∧ q ∨ r significa (p ∧ q) ∨ r .
p → q ∨ r significa p → (q ∨ r ).
Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción

Precedencia de Operadores

Las expresión p ∧ q ∨ r podría en principio significar (p ∧ q) ∨ r

o p ∧ (q ∨ r ). Entonces tendríamos que estar poniendo
paréntesis en todas las expresiones para no hubiera
ambigüedad.
Para evitarlo se establece como en el caso de la suma y la
multiplicación lo que se conoce como precedencia de
operadores.
El orden de precedencia es ¬, ∧, ∨ y →.
Por lo tanto p ∧ q ∨ r significa (p ∧ q) ∨ r .
p → q ∨ r significa p → (q ∨ r ).
¬p ∧ q significa (¬p) ∧ q, etc.
Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción

Dada una fórmula proposicional con variables p, q, r , · · · , una

tabla de verdad es una representación de la verdad o falsedad
de la fórmula en todos los casos posibles de las variables.
Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción

Dada una fórmula proposicional con variables p, q, r , · · · , una

tabla de verdad es una representación de la verdad o falsedad
de la fórmula en todos los casos posibles de las variables.
El número de filas de la tabla es 2n siendo n el número de
variables.
Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción

Dada una fórmula proposicional con variables p, q, r , · · · , una

tabla de verdad es una representación de la verdad o falsedad
de la fórmula en todos los casos posibles de las variables.
El número de filas de la tabla es 2n siendo n el número de
variables.
Así por ejemplo, si f (p, q) es una fórmula lógica de dos
variables, calcularemos la tabla:

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

Ejemplo de Tabla de Verdad

Esta sería la tabla de verdad para la fórmula f (p, q) = p ∧ q

p q p∧q
0 0 0
0 1 0
1 0 0
1 1 1

En ella podemos apreciar cómo el único caso en que la fórmula

p ∧ q es cierta es cuando tanto p como q son ciertas.
Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción

A veces se introducen columnas adicionales con partes de la

fórmula (subfórmulas) que facilitan el cálculo.
Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción

A veces se introducen columnas adicionales con partes de la

fórmula (subfórmulas) que facilitan el cálculo.
El orden de las columnas tampoco es importante, podemos
poner el que nos resulte más cómodo según vamos haciendo
las operaciones intermedias.
Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción

A veces se introducen columnas adicionales con partes de la

fórmula (subfórmulas) que facilitan el cálculo.
El orden de las columnas tampoco es importante, podemos
poner el que nos resulte más cómodo según vamos haciendo
las operaciones intermedias.
Lo fundamental es que todos los casos de las variables
proposicionales estén considerados.
Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción

Ejemplo de Tabla de Verdad (II)

Aquí podemos ver una tabla de verdad de una fórmula más

compleja, concretamente q → (r → p)

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

Tablas de Verdad y Razonamientos

A veces, las tablas de verdad se pueden utilizar para hacer

razonamientos simples.
Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción

Tablas de Verdad y Razonamientos

A veces, las tablas de verdad se pueden utilizar para hacer

razonamientos simples.
Supongamos que tenemos una o varias fórmulas lógicas que
nos dicen que son verdaderas (es lo que se llama hipótesis) y
nos dicen que determinemos si son ciertas o falsas las variables
proposicionales.
Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción

Tablas de Verdad y Razonamientos

A veces, las tablas de verdad se pueden utilizar para hacer

razonamientos simples.
Supongamos que tenemos una o varias fórmulas lógicas que
nos dicen que son verdaderas (es lo que se llama hipótesis) y
nos dicen que determinemos si son ciertas o falsas las variables
proposicionales.
Si construimos la tabla de verdad, podemos ver exactamente
cuales son los casos en los cuales las fórmulas que nos dan
como hipótesis son realmente verdaderas.
Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción

Tablas de Verdad y Razonamientos

A veces, las tablas de verdad se pueden utilizar para hacer

razonamientos simples.
Supongamos que tenemos una o varias fórmulas lógicas que
nos dicen que son verdaderas (es lo que se llama hipótesis) y
nos dicen que determinemos si son ciertas o falsas las variables
proposicionales.
Si construimos la tabla de verdad, podemos ver exactamente
cuales son los casos en los cuales las fórmulas que nos dan
como hipótesis son realmente verdaderas.
Para un razonamiento humano, puede ser más sencillo operar
con las fórmulas utilizando reglas, pero para una máquina, a
veces este sistema es suficientemente rápido y fácil de
programar.
Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción

Tablas de Verdad y Razonamientos

A veces, las tablas de verdad se pueden utilizar para hacer

razonamientos simples.
Supongamos que tenemos una o varias fórmulas lógicas que
nos dicen que son verdaderas (es lo que se llama hipótesis) y
nos dicen que determinemos si son ciertas o falsas las variables
proposicionales.
Si construimos la tabla de verdad, podemos ver exactamente
cuales son los casos en los cuales las fórmulas que nos dan
como hipótesis son realmente verdaderas.
Para un razonamiento humano, puede ser más sencillo operar
con las fórmulas utilizando reglas, pero para una máquina, a
veces este sistema es suficientemente rápido y fácil de
programar.
Para hacer razonamiento automático se utilizan otras técnicas
más complejas que sobrepasan el nivel de este curso cero.
Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción

Razonamiento con Tablas

Consideremos la fórmula ¬((q ∨ r ) ∨ r ∧ q), vamos a ver en qué

casos es verdadera. Construimos la tabla de verdad:

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

Y podemos ver que en el único caso en que la hipótesis es cierta, es

cuando q y r son ambas falsas.
Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción

En muchas ocasiones, la lógica de proposiciones se queda corta

para formalizar razonamientos.
Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción

En muchas ocasiones, la lógica de proposiciones se queda corta

para formalizar razonamientos.
Pensemos por ejemplo en las proposiciones P = Juan juega al
fútbol y Q = Luis juega al fútbol. Son proposiciones
diferentes, pero que están muy relacionadas. Nos interesa
definir un predicado Fútbol(x) = x juega al fútbol y aplicarlo a
dos constantes, Juan y Luis, Fútbol(Juan), Fútbol(Luis).
Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción

En muchas ocasiones, la lógica de proposiciones se queda corta

para formalizar razonamientos.
Pensemos por ejemplo en las proposiciones P = Juan juega al
fútbol y Q = Luis juega al fútbol. Son proposiciones
diferentes, pero que están muy relacionadas. Nos interesa
definir un predicado Fútbol(x) = x juega al fútbol y aplicarlo a
dos constantes, Juan y Luis, Fútbol(Juan), Fútbol(Luis).
Podemos también expresar propiedades más complejas, como
Existe un elemento que cumple cierta propiedad o Todos los
elementos cumplen cierta propiedad.
Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción

El Concepto de Universo

En lógica de predicados, se entiende como universo el conjunto

de objetos sobre los que se aplican los razonamientos.
Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción

El Concepto de Universo

En lógica de predicados, se entiende como universo el conjunto

de objetos sobre los que se aplican los razonamientos.
Cuando hacemos un razonamiento, debemos especificar el
universo sobre el que estamos hablando.
Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción

El Concepto de Universo

En lógica de predicados, se entiende como universo el conjunto

de objetos sobre los que se aplican los razonamientos.
Cuando hacemos un razonamiento, debemos especificar el
universo sobre el que estamos hablando.
La verdad o falsedad de una proposición depende del universo.
Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción

El Concepto de Universo

En lógica de predicados, se entiende como universo el conjunto

de objetos sobre los que se aplican los razonamientos.
Cuando hacemos un razonamiento, debemos especificar el
universo sobre el que estamos hablando.
La verdad o falsedad de una proposición depende del universo.
Por ejemplo, Existe un elemento tal que al elevarlo al cuadrado
nos da 2.
Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción

El Concepto de Universo

En lógica de predicados, se entiende como universo el conjunto

de objetos sobre los que se aplican los razonamientos.
Cuando hacemos un razonamiento, debemos especificar el
universo sobre el que estamos hablando.
La verdad o falsedad de una proposición depende del universo.
Por ejemplo, Existe un elemento tal que al elevarlo al cuadrado
nos da 2.
Esta proposición no es cierta en el universo de los números
racionales, pero sí en el de los reales.
Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción

El Concepto de Universo

En lógica de predicados, se entiende como universo el conjunto

de objetos sobre los que se aplican los razonamientos.
Cuando hacemos un razonamiento, debemos especificar el
universo sobre el que estamos hablando.
La verdad o falsedad de una proposición depende del universo.
Por ejemplo, Existe un elemento tal que al elevarlo al cuadrado
nos da 2.
Esta proposición no es cierta en el universo de los números
racionales, pero sí en el de los reales.
Los universos pueden ser finitos o infinitos, incluso es posible
considerar el universo vacío.
Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción

Ejemplo de Universo

Este conjunto de figuras podría ser un universo.

Este universo está formado por tres objetos, dos cuadrados y un

círculo que tienen ciertas propiedades.
Í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)
Í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

Ejemplo de Universo (II)

En este universo por ejemplo es cierta la proposición

∃x, Circ(x) ∧ Azul(x) y no sería cierta por ejemplo ∀x, Cuad(x)
porque hay elementos que no son cuadrados.
Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción

Relación entre ∀ y ∃

Existe una fuerte relación entre ambos cuantificadores.

Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción

Relación entre ∀ y ∃

Existe una fuerte relación entre ambos cuantificadores.

La frase Existe un objeto azul y la frase No es cierto que todos
los elementos no sean azules son equivalentes, si lo pensamos
un poco es evidente (aunque un poco retorcido).
Matemáticamente se escribiría ∀x, Azul(x) y ¬∃x¬Azul(x).
Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción

Relación entre ∀ y ∃

Existe una fuerte relación entre ambos cuantificadores.

La frase Existe un objeto azul y la frase No es cierto que todos
los elementos no sean azules son equivalentes, si lo pensamos
un poco es evidente (aunque un poco retorcido).
Matemáticamente se escribiría ∀x, Azul(x) y ¬∃x¬Azul(x).
En el otro sentido también funciona, es equivalente la frase Es
falso que todos los elementos son azules y Existe un elemento
que no es azul. Matemáticamente ¬∀x¬Azul(x) y ∃xAzul(x).
Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción

La inducción matemática es un método que se utiliza para

demostrar que una cierta propiedad se cumple para todos los
números naturales.
Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción

La inducción matemática es un método que se utiliza para

demostrar que una cierta propiedad se cumple para todos los
números naturales.
Supongamos que queremos demostrar que el predicado H(n)
se cumple para todos los números naturales n.
Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción

La inducción matemática es un método que se utiliza para

demostrar que una cierta propiedad se cumple para todos los
números naturales.
Supongamos que queremos demostrar que el predicado H(n)
se cumple para todos los números naturales n.
Lo primero que tenemos que demostrar es que se cumple para
el valor n = 0 (a veces la fórmula no tiene sentido para el valor
0 y se empieza desde el valor 1. Lo importante es que haya al
menos un valor inicial en el que se cumpla la propiedad)
Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción

La inducción matemática es un método que se utiliza para

demostrar que una cierta propiedad se cumple para todos los
números naturales.
Supongamos que queremos demostrar que el predicado H(n)
se cumple para todos los números naturales n.
Lo primero que tenemos que demostrar es que se cumple para
el valor n = 0 (a veces la fórmula no tiene sentido para el valor
0 y se empieza desde el valor 1. Lo importante es que haya al
menos un valor inicial en el que se cumpla la propiedad)
Luego suponemos que se cumple la propiedad para todos los
valores menores o iguales que n (lo que se conoce como
hipótesis de inducción) y lo demostramos para n + 1. La
hipótesis de inducción suele jugar un papel fundamental en la
demostración de la propiedad para el valor n + 1.
Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción

Ejemplo de Demostración por Inducción (I)

Vamos a demostrar que para todo número natural n, se

cumple que 1 + 2 + 3 + · · · + n = 12 n(n + 1). A esta
proposición la llamaremos H(n)
Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción

Ejemplo de Demostración por Inducción (I)

Vamos a demostrar que para todo número natural n, se

cumple que 1 + 2 + 3 + · · · + n = 12 n(n + 1). A esta
proposición la llamaremos H(n)
Tenemos que demostrar H(0), lo cual nos fuerza a que
hagamos una suma 1 + 2 + 3 + · · · + n con n = 0. Una suma
sin sumandos es siempre 0 y el segundo miembro 21 0 · 1 = 0,
pero aunque este razonamiento es correcto, si no nos sentimos
cómodos con una suma vacía, podemos aplicarlo al caso
n = 1, donde tenemos que 1 = 21 · 1 · 2, lo cual es correcto.
Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción

Ejemplo de Demostración por Inducción (II)

Supongamos ahora que es cierto H(n) (y todos los valores

H(m) con m ≤ n si fuera necesario), entonces suponemos que
es cierto 1 + 2 + 3 + · · · + n = 21 n(n + 1) y vamos a
demostrarlo para n + 1.

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

Ejemplo de Demostración por Inducción (II)

Supongamos ahora que es cierto H(n) (y todos los valores

H(m) con m ≤ n si fuera necesario), entonces suponemos que
es cierto 1 + 2 + 3 + · · · + n = 21 n(n + 1) y vamos a
demostrarlo para n + 1.

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

Ejemplo de Demostración Incorrecta

Hay muchas cosas que pueden fallar en una demostración por

inducción. Una de las más simples es olvidar demostrar el caso
inicial.
Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción

Ejemplo de Demostración Incorrecta

Hay muchas cosas que pueden fallar en una demostración por

inducción. Una de las más simples es olvidar demostrar el caso
inicial.
Vamos a demostrar (erróneamente) que n = n + 1 para todo
número natural. Eso es evidentemente falso.
Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción

Ejemplo de Demostración Incorrecta

Hay muchas cosas que pueden fallar en una demostración por

inducción. Una de las más simples es olvidar demostrar el caso
inicial.
Vamos a demostrar (erróneamente) que n = n + 1 para todo
número natural. Eso es evidentemente falso.
Pero si utilizamos como hipótesis de inducción que n = n + 1 y
sumamos 1 en los dos miembros, obtenemos n + 1 = n + 2 que
es el caso siguiente.
Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción

Ejemplo de Demostración Incorrecta

Hay muchas cosas que pueden fallar en una demostración por

inducción. Una de las más simples es olvidar demostrar el caso
inicial.
Vamos a demostrar (erróneamente) que n = n + 1 para todo
número natural. Eso es evidentemente falso.
Pero si utilizamos como hipótesis de inducción que n = n + 1 y
sumamos 1 en los dos miembros, obtenemos n + 1 = n + 2 que
es el caso siguiente.
El problema está en que no hemos demostrado el caso 0, que
sería que 0 = 1 y por eso la demostración no era correcta.
Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción

Demostraciones Teóricas

Existen multitud de demostraciones de gran importancia

teórica que se demuestran por inducción.
Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción

Demostraciones Teóricas

Existen multitud de demostraciones de gran importancia

teórica que se demuestran por inducción.
Un número (positivo) n diremos que es compuesto cuando se
puede poner como n = a · b con a, b 6∈ {1, n}. Diremos que es
primo si no es 1 ni tampoco compuesto.
Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción

Demostraciones Teóricas

Existen multitud de demostraciones de gran importancia

teórica que se demuestran por inducción.
Un número (positivo) n diremos que es compuesto cuando se
puede poner como n = a · b con a, b 6∈ {1, n}. Diremos que es
primo si no es 1 ni tampoco compuesto.
Vamos a demostrar que todo número distinto de 1 se puede
descomponer como producto de primos. El primer número que
tenemos que probar en este caso es 2, que es claramente primo.
Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción

Demostraciones Teóricas

Existen multitud de demostraciones de gran importancia

teórica que se demuestran por inducción.
Un número (positivo) n diremos que es compuesto cuando se
puede poner como n = a · b con a, b 6∈ {1, n}. Diremos que es
primo si no es 1 ni tampoco compuesto.
Vamos a demostrar que todo número distinto de 1 se puede
descomponer como producto de primos. El primer número que
tenemos que probar en este caso es 2, que es claramente primo.
Supongamos que el resultado es cierto para todos los números
más pequeños o iguales que n y vamos a demostrarlo para
n + 1. Pueden pasar dos cosas, que n + 1 sea primo, en cuyo
caso hemos terminado o que sea compuesto, en cuyo caso
ponemos n + 1 = a · b, pero con a < n + 1 y b < n + 1
podemos aplicar la hipótesis de inducción a a y b para
encontar una descomposición en primos de n + 1