Está en la página 1de 76

ndice

Proposiciones y Conectores Lgicos

Tablas de Verdad

Lgica de Predicados

Induccin

Curso 0: Matemticas y sus Aplicaciones Tema 5. Lgica y Formalismo Matemtico

Leandro Marn
Dpto. de Matemtica Aplicada Universidad de Murcia

2012

ndice

Proposiciones y Conectores Lgicos

Tablas de Verdad

Lgica de Predicados

Induccin

Proposiciones y Conectores Lgicos

Tablas de Verdad

Lgica de Predicados

Induccin

ndice

Proposiciones y Conectores Lgicos

Tablas de Verdad

Lgica de Predicados

Induccin

Una proposicin es una armacin lgica que puede ser verdadera o falsa.

ndice

Proposiciones y Conectores Lgicos

Tablas de Verdad

Lgica de Predicados

Induccin

Una proposicin es una armacin lgica que puede ser verdadera o falsa. Un razonamiento se puede dividir en proposiciones y relaciones entre ellas.

ndice

Proposiciones y Conectores Lgicos

Tablas de Verdad

Lgica de Predicados

Induccin

Una proposicin es una armacin lgica 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 ftbol son dos proposiciones.

ndice

Proposiciones y Conectores Lgicos

Tablas de Verdad

Lgica de Predicados

Induccin

Una proposicin es una armacin lgica 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 ftbol 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 Lgicos

Tablas de Verdad

Lgica de Predicados

Induccin

Una proposicin es una armacin lgica 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 ftbol 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 ftbol es una relacin entre las proposiciones p y q que nos crea una nueva proposicin ms compleja.

ndice

Proposiciones y Conectores Lgicos

Tablas de Verdad

Lgica de Predicados

Induccin

Una proposicin es una armacin lgica 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 ftbol 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 ftbol es una relacin entre las proposiciones p y q que nos crea una nueva proposicin ms compleja. La unin de proposiciones para crear otras nuevas se realiza mediante los conectores lgicos.

ndice

Proposiciones y Conectores Lgicos

Tablas de Verdad

Lgica de Predicados

Induccin

Operadores Lgicos
Para hacer frmulas lgicas complejas, podemos utilizar operadores lgicos. Los principales son , , y .

ndice

Proposiciones y Conectores Lgicos

Tablas de Verdad

Lgica de Predicados

Induccin

Operadores Lgicos
Para hacer frmulas lgicas complejas, podemos utilizar operadores lgicos. Los principales son , , y . Si p es una proposicin, denotaremos p a la proposicin que es cierta exactamente cuando p es falsa y viceversa. Lo leeremos con no p .

ndice

Proposiciones y Conectores Lgicos

Tablas de Verdad

Lgica de Predicados

Induccin

Operadores Lgicos
Para hacer frmulas lgicas complejas, podemos utilizar operadores lgicos. Los principales son , , y . Si p es una proposicin, denotaremos p a la proposicin 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 proposicin 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 Lgicos

Tablas de Verdad

Lgica de Predicados

Induccin

Operadores Lgicos
Para hacer frmulas lgicas complejas, podemos utilizar operadores lgicos. Los principales son , , y . Si p es una proposicin, denotaremos p a la proposicin 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 proposicin 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 proposicin 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 Lgicos

Tablas de Verdad

Lgica de Predicados

Induccin

Operadores Lgicos
Para hacer frmulas lgicas complejas, podemos utilizar operadores lgicos. Los principales son , , y . Si p es una proposicin, denotaremos p a la proposicin 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 proposicin 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 proposicin 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 proposicin que es cierta cuando p es falsa o q es verdadera. Se llama p implica q .

ndice

Proposiciones y Conectores Lgicos

Tablas de Verdad

Lgica de Predicados

Induccin

Operadores Lgicos
Para hacer frmulas lgicas complejas, podemos utilizar operadores lgicos. Los principales son , , y . Si p es una proposicin, denotaremos p a la proposicin 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 proposicin 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 proposicin 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 proposicin 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 Lgicos

Tablas de Verdad

Lgica de Predicados

Induccin

Algunas Formalizaciones (I)

Consideremos la frase Si llueve no iremos de excursin.

ndice

Proposiciones y Conectores Lgicos

Tablas de Verdad

Lgica de Predicados

Induccin

Algunas Formalizaciones (I)

Consideremos la frase Si llueve no iremos de excursin. Vamos a denotar p =Llueve y q =iremos de excursin

ndice

Proposiciones y Conectores Lgicos

Tablas de Verdad

Lgica de Predicados

Induccin

Algunas Formalizaciones (I)

Consideremos la frase Si llueve no iremos de excursin. Vamos a denotar p =Llueve y q =iremos de excursin La frase Si llueve no iremos de excursin se representar p q

ndice

Proposiciones y Conectores Lgicos

Tablas de Verdad

Lgica de Predicados

Induccin

Algunas Formalizaciones (II)

Consideremos la frase Siempre que estamos aburridos y no tenemos nada que hacer, vamos de excursin.

ndice

Proposiciones y Conectores Lgicos

Tablas de Verdad

Lgica de Predicados

Induccin

Algunas Formalizaciones (II)

Consideremos la frase Siempre que estamos aburridos y no tenemos nada que hacer, vamos de excursin. Vamos a denotar p =Estamos aburridos, q =tenemos algo que hacer y r =ir de excursin

ndice

Proposiciones y Conectores Lgicos

Tablas de Verdad

Lgica de Predicados

Induccin

Algunas Formalizaciones (II)

Consideremos la frase Siempre que estamos aburridos y no tenemos nada que hacer, vamos de excursin. Vamos a denotar p =Estamos aburridos, q =tenemos algo que hacer y r =ir de excursin La frase Siempre que estamos aburridos y no tenemos nada que hacer, vamos de excursin. se representar p q r .

ndice

Proposiciones y Conectores Lgicos

Tablas de Verdad

Lgica de Predicados

Induccin

Precedencia de Operadores

Las expresin p q r podra en principio signicar (p q ) r o p (q r ). Entonces tendramos que estar poniendo parntesis en todas las expresiones para no hubiera ambigedad.

ndice

Proposiciones y Conectores Lgicos

Tablas de Verdad

Lgica de Predicados

Induccin

Precedencia de Operadores

Las expresin p q r podra en principio signicar (p q ) r o p (q r ). Entonces tendramos que estar poniendo parntesis en todas las expresiones para no hubiera ambigedad. Para evitarlo se establece como en el caso de la suma y la multiplicacin lo que se conoce como precedencia de operadores.

ndice

Proposiciones y Conectores Lgicos

Tablas de Verdad

Lgica de Predicados

Induccin

Precedencia de Operadores

Las expresin p q r podra en principio signicar (p q ) r o p (q r ). Entonces tendramos que estar poniendo parntesis en todas las expresiones para no hubiera ambigedad. Para evitarlo se establece como en el caso de la suma y la multiplicacin lo que se conoce como precedencia de operadores. El orden de precedencia es , , y .

ndice

Proposiciones y Conectores Lgicos

Tablas de Verdad

Lgica de Predicados

Induccin

Precedencia de Operadores

Las expresin p q r podra en principio signicar (p q ) r o p (q r ). Entonces tendramos que estar poniendo parntesis en todas las expresiones para no hubiera ambigedad. Para evitarlo se establece como en el caso de la suma y la multiplicacin lo que se conoce como precedencia de operadores. El orden de precedencia es , , y . Por lo tanto p q r signica (p q ) r .

ndice

Proposiciones y Conectores Lgicos

Tablas de Verdad

Lgica de Predicados

Induccin

Precedencia de Operadores

Las expresin p q r podra en principio signicar (p q ) r o p (q r ). Entonces tendramos que estar poniendo parntesis en todas las expresiones para no hubiera ambigedad. Para evitarlo se establece como en el caso de la suma y la multiplicacin lo que se conoce como precedencia de operadores. El orden de precedencia es , , y . Por lo tanto p q r signica (p q ) r . p q r signica p (q r ).

ndice

Proposiciones y Conectores Lgicos

Tablas de Verdad

Lgica de Predicados

Induccin

Precedencia de Operadores

Las expresin p q r podra en principio signicar (p q ) r o p (q r ). Entonces tendramos que estar poniendo parntesis en todas las expresiones para no hubiera ambigedad. Para evitarlo se establece como en el caso de la suma y la multiplicacin lo que se conoce como precedencia de operadores. El orden de precedencia es , , y . Por lo tanto p q r signica (p q ) r . p q r signica p (q r ). p q signica (p ) q , etc.

ndice

Proposiciones y Conectores Lgicos

Tablas de Verdad

Lgica de Predicados

Induccin

Dada una frmula proposicional con variables p , q , r , , una tabla de verdad es una representacin de la verdad o falsedad de la frmula en todos los casos posibles de las variables.

ndice

Proposiciones y Conectores Lgicos

Tablas de Verdad

Lgica de Predicados

Induccin

Dada una frmula proposicional con variables p , q , r , , una tabla de verdad es una representacin de la verdad o falsedad de la frmula en todos los casos posibles de las variables. El nmero de las de la tabla es 2n siendo n el nmero de variables.

ndice

Proposiciones y Conectores Lgicos

Tablas de Verdad

Lgica de Predicados

Induccin

Dada una frmula proposicional con variables p , q , r , , una tabla de verdad es una representacin de la verdad o falsedad de la frmula en todos los casos posibles de las variables. El nmero de las de la tabla es 2n siendo n el nmero de variables. As por ejemplo, si f (p , q ) es una frmula lgica de dos variables, calcularemos la tabla: p 0 0 1 1 q 0 1 0 1 f (p , q ) f (0, 0) f (0, 1) f (1, 0) f (1, 1)

ndice

Proposiciones y Conectores Lgicos

Tablas de Verdad

Lgica de Predicados

Induccin

Ejemplo de Tabla de Verdad

Esta sera la tabla de verdad para la frmula f (p , q ) = p q p 0 0 1 1 q pq 0 0 1 0 0 0 1 1

En ella podemos apreciar cmo el nico caso en que la frmula p q es cierta es cuando tanto p como q son ciertas.

ndice

Proposiciones y Conectores Lgicos

Tablas de Verdad

Lgica de Predicados

Induccin

A veces se introducen columnas adicionales con partes de la frmula (subfrmulas) que facilitan el clculo.

ndice

Proposiciones y Conectores Lgicos

Tablas de Verdad

Lgica de Predicados

Induccin

A veces se introducen columnas adicionales con partes de la frmula (subfrmulas) que facilitan el clculo. El orden de las columnas tampoco es importante, podemos poner el que nos resulte ms cmodo segn vamos haciendo las operaciones intermedias.

ndice

Proposiciones y Conectores Lgicos

Tablas de Verdad

Lgica de Predicados

Induccin

A veces se introducen columnas adicionales con partes de la frmula (subfrmulas) que facilitan el clculo. El orden de las columnas tampoco es importante, podemos poner el que nos resulte ms cmodo segn vamos haciendo las operaciones intermedias. Lo fundamental es que todos los casos de las variables proposicionales estn considerados.

ndice

Proposiciones y Conectores Lgicos

Tablas de Verdad

Lgica de Predicados

Induccin

Ejemplo de Tabla de Verdad (II)


Aqu podemos ver una tabla de verdad de una frmula ms compleja, concretamente q (r p ) p 0 0 0 0 1 1 1 1 r r p 0 1 1 0 0 1 1 0 0 1 1 1 0 1 1 1 q q (r p ) 0 1 0 1 1 1 1 0 0 1 0 1 1 1 1 1

ndice

Proposiciones y Conectores Lgicos

Tablas de Verdad

Lgica de Predicados

Induccin

Tablas de Verdad y Razonamientos


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

ndice

Proposiciones y Conectores Lgicos

Tablas de Verdad

Lgica de Predicados

Induccin

Tablas de Verdad y Razonamientos


A veces, las tablas de verdad se pueden utilizar para hacer razonamientos simples. Supongamos que tenemos una o varias frmulas lgicas que nos dicen que son verdaderas (es lo que se llama hiptesis) y nos dicen que determinemos si son ciertas o falsas las variables proposicionales.

ndice

Proposiciones y Conectores Lgicos

Tablas de Verdad

Lgica de Predicados

Induccin

Tablas de Verdad y Razonamientos


A veces, las tablas de verdad se pueden utilizar para hacer razonamientos simples. Supongamos que tenemos una o varias frmulas lgicas que nos dicen que son verdaderas (es lo que se llama hiptesis) 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 frmulas que nos dan como hiptesis son realmente verdaderas.

ndice

Proposiciones y Conectores Lgicos

Tablas de Verdad

Lgica de Predicados

Induccin

Tablas de Verdad y Razonamientos


A veces, las tablas de verdad se pueden utilizar para hacer razonamientos simples. Supongamos que tenemos una o varias frmulas lgicas que nos dicen que son verdaderas (es lo que se llama hiptesis) 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 frmulas que nos dan como hiptesis son realmente verdaderas. Para un razonamiento humano, puede ser ms sencillo operar con las frmulas utilizando reglas, pero para una mquina, a veces este sistema es sucientemente rpido y fcil de programar.

ndice

Proposiciones y Conectores Lgicos

Tablas de Verdad

Lgica de Predicados

Induccin

Tablas de Verdad y Razonamientos


A veces, las tablas de verdad se pueden utilizar para hacer razonamientos simples. Supongamos que tenemos una o varias frmulas lgicas que nos dicen que son verdaderas (es lo que se llama hiptesis) 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 frmulas que nos dan como hiptesis son realmente verdaderas. Para un razonamiento humano, puede ser ms sencillo operar con las frmulas utilizando reglas, pero para una mquina, a veces este sistema es sucientemente rpido y fcil de programar. Para hacer razonamiento automtico se utilizan otras tcnicas ms complejas que sobrepasan el nivel de este curso cero.

ndice

Proposiciones y Conectores Lgicos

Tablas de Verdad

Lgica de Predicados

Induccin

Razonamiento con Tablas

Consideremos la frmula ((q r ) r q ), vamos a ver en qu casos es verdadera. Construimos la tabla de verdad: r q 0 0 0 1 r 0 1 0 1 q qr 0 0 0 1 1 1 1 1 (q r ) r q ((q r ) r q ) 0 1 1 0 1 0 1 0

Y podemos ver que en el nico caso en que la hiptesis es cierta, es cuando q y r son ambas falsas.

ndice

Proposiciones y Conectores Lgicos

Tablas de Verdad

Lgica de Predicados

Induccin

En muchas ocasiones, la lgica de proposiciones se queda corta para formalizar razonamientos.

ndice

Proposiciones y Conectores Lgicos

Tablas de Verdad

Lgica de Predicados

Induccin

En muchas ocasiones, la lgica de proposiciones se queda corta para formalizar razonamientos. Pensemos por ejemplo en las proposiciones P = Juan juega al ftbol y Q = Luis juega al ftbol. Son proposiciones diferentes, pero que estn muy relacionadas. Nos interesa denir un predicado Ftbol(x ) = x juega al ftbol y aplicarlo a dos constantes, Juan y Luis, Ftbol(Juan), Ftbol(Luis).

ndice

Proposiciones y Conectores Lgicos

Tablas de Verdad

Lgica de Predicados

Induccin

En muchas ocasiones, la lgica de proposiciones se queda corta para formalizar razonamientos. Pensemos por ejemplo en las proposiciones P = Juan juega al ftbol y Q = Luis juega al ftbol. Son proposiciones diferentes, pero que estn muy relacionadas. Nos interesa denir un predicado Ftbol(x ) = x juega al ftbol y aplicarlo a dos constantes, Juan y Luis, Ftbol(Juan), Ftbol(Luis). Podemos tambin expresar propiedades ms complejas, como Existe un elemento que cumple cierta propiedad o Todos los elementos cumplen cierta propiedad.

ndice

Proposiciones y Conectores Lgicos

Tablas de Verdad

Lgica de Predicados

Induccin

El Concepto de Universo

En lgica de predicados, se entiende como universo el conjunto de objetos sobre los que se aplican los razonamientos.

ndice

Proposiciones y Conectores Lgicos

Tablas de Verdad

Lgica de Predicados

Induccin

El Concepto de Universo

En lgica de predicados, se entiende como universo el conjunto de objetos sobre los que se aplican los razonamientos. Cuando hacemos un razonamiento, debemos especicar el universo sobre el que estamos hablando.

ndice

Proposiciones y Conectores Lgicos

Tablas de Verdad

Lgica de Predicados

Induccin

El Concepto de Universo

En lgica de predicados, se entiende como universo el conjunto de objetos sobre los que se aplican los razonamientos. Cuando hacemos un razonamiento, debemos especicar el universo sobre el que estamos hablando. La verdad o falsedad de una proposicin depende del universo.

ndice

Proposiciones y Conectores Lgicos

Tablas de Verdad

Lgica de Predicados

Induccin

El Concepto de Universo

En lgica de predicados, se entiende como universo el conjunto de objetos sobre los que se aplican los razonamientos. Cuando hacemos un razonamiento, debemos especicar el universo sobre el que estamos hablando. La verdad o falsedad de una proposicin depende del universo. Por ejemplo, Existe un elemento tal que al elevarlo al cuadrado nos da 2.

ndice

Proposiciones y Conectores Lgicos

Tablas de Verdad

Lgica de Predicados

Induccin

El Concepto de Universo

En lgica de predicados, se entiende como universo el conjunto de objetos sobre los que se aplican los razonamientos. Cuando hacemos un razonamiento, debemos especicar el universo sobre el que estamos hablando. La verdad o falsedad de una proposicin depende del universo. Por ejemplo, Existe un elemento tal que al elevarlo al cuadrado nos da 2. Esta proposicin no es cierta en el universo de los nmeros racionales, pero s en el de los reales.

ndice

Proposiciones y Conectores Lgicos

Tablas de Verdad

Lgica de Predicados

Induccin

El Concepto de Universo

En lgica de predicados, se entiende como universo el conjunto de objetos sobre los que se aplican los razonamientos. Cuando hacemos un razonamiento, debemos especicar el universo sobre el que estamos hablando. La verdad o falsedad de una proposicin depende del universo. Por ejemplo, Existe un elemento tal que al elevarlo al cuadrado nos da 2. Esta proposicin no es cierta en el universo de los nmeros racionales, pero s en el de los reales. Los universos pueden ser nitos o innitos, incluso es posible considerar el universo vaco.

ndice

Proposiciones y Conectores Lgicos

Tablas de Verdad

Lgica de Predicados

Induccin

Ejemplo de Universo
Este conjunto de guras podra ser un universo.

Este universo est formado por tres objetos, dos cuadrados y un crculo que tienen ciertas propiedades.

ndice

Proposiciones y Conectores Lgicos

Tablas de Verdad

Lgica de Predicados

Induccin

Cuanticadores
En lgica de predicados existen dos cuanticadores, el cualticador universal (para todo) y el existencial (existe)

ndice

Proposiciones y Conectores Lgicos

Tablas de Verdad

Lgica de Predicados

Induccin

Cuanticadores
En lgica de predicados existen dos cuanticadores, el cualticador universal (para todo) y el existencial (existe) Por ejemplo, si tenemos denido el predicado Circ(x) que nos dice un un objeto x es un crculo, podemos escribir x , Circ(x ), que se leera : Todos los elementos (del universo considerado) son crculos.

ndice

Proposiciones y Conectores Lgicos

Tablas de Verdad

Lgica de Predicados

Induccin

Cuanticadores
En lgica de predicados existen dos cuanticadores, el cualticador universal (para todo) y el existencial (existe) Por ejemplo, si tenemos denido el predicado Circ(x) que nos dice un un objeto x es un crculo, podemos escribir x , Circ(x ), que se leera : Todos los elementos (del universo considerado) son crculos. La frmula x , Circ(x ) se leera: Existe un crculo (en nuestro universo)

ndice

Proposiciones y Conectores Lgicos

Tablas de Verdad

Lgica de Predicados

Induccin

Cuanticadores
En lgica de predicados existen dos cuanticadores, el cualticador universal (para todo) y el existencial (existe) Por ejemplo, si tenemos denido el predicado Circ(x) que nos dice un un objeto x es un crculo, podemos escribir x , Circ(x ), que se leera : Todos los elementos (del universo considerado) son crculos. La frmula x , Circ(x ) se leera: Existe un crculo (en nuestro universo) Puesto que la lgica de predicados es una extensin de la lgica de proposiciones, podemos utilizar tambin los conectores lgicos para escribir frmulas.

ndice

Proposiciones y Conectores Lgicos

Tablas de Verdad

Lgica de Predicados

Induccin

Cuanticadores
En lgica de predicados existen dos cuanticadores, el cualticador universal (para todo) y el existencial (existe) Por ejemplo, si tenemos denido el predicado Circ(x) que nos dice un un objeto x es un crculo, podemos escribir x , Circ(x ), que se leera : Todos los elementos (del universo considerado) son crculos. La frmula x , Circ(x ) se leera: Existe un crculo (en nuestro universo) Puesto que la lgica de predicados es una extensin de la lgica de proposiciones, podemos utilizar tambin los conectores lgicos para escribir frmulas. As por ejemplo, x , Circ(x ) Azul(x ) se leera como Para todo elemento x de nuestro universo, si x es un crculo, entonces es azul.

ndice

Proposiciones y Conectores Lgicos

Tablas de Verdad

Lgica de Predicados

Induccin

Cuanticadores
En lgica de predicados existen dos cuanticadores, el cualticador universal (para todo) y el existencial (existe) Por ejemplo, si tenemos denido el predicado Circ(x) que nos dice un un objeto x es un crculo, podemos escribir x , Circ(x ), que se leera : Todos los elementos (del universo considerado) son crculos. La frmula x , Circ(x ) se leera: Existe un crculo (en nuestro universo) Puesto que la lgica de predicados es una extensin de la lgica de proposiciones, podemos utilizar tambin los conectores lgicos para escribir frmulas. As por ejemplo, x , Circ(x ) Azul(x ) se leera como Para todo elemento x de nuestro universo, si x es un crculo, entonces es azul. La proposicin anterior sera verdadera si no hubiese ningn circulo de forma trivial.

ndice

Proposiciones y Conectores Lgicos

Tablas de Verdad

Lgica de Predicados

Induccin

Ejemplo de Universo (II)

En este universo por ejemplo es cierta la proposicin x , Circ(x ) Azul(x ) y no sera cierta por ejemplo x , Cuad(x ) porque hay elementos que no son cuadrados.

ndice

Proposiciones y Conectores Lgicos

Tablas de Verdad

Lgica de Predicados

Induccin

Relacin entre y

Existe una fuerte relacin entre ambos cuanticadores.

ndice

Proposiciones y Conectores Lgicos

Tablas de Verdad

Lgica de Predicados

Induccin

Relacin entre y

Existe una fuerte relacin entre ambos cuanticadores. 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). Matemticamente se escribira x , Azul(x ) y x Azul(x ).

ndice

Proposiciones y Conectores Lgicos

Tablas de Verdad

Lgica de Predicados

Induccin

Relacin entre y

Existe una fuerte relacin entre ambos cuanticadores. 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). Matemticamente se escribira x , Azul(x ) y x Azul(x ). En el otro sentido tambin funciona, es equivalente la frase Es falso que todos los elementos son azules y Existe un elemento que no es azul. Matemticamente x Azul(x ) y x Azul(x ).

ndice

Proposiciones y Conectores Lgicos

Tablas de Verdad

Lgica de Predicados

Induccin

La induccin matemtica es un mtodo que se utiliza para demostrar que una cierta propiedad se cumple para todos los nmeros naturales.

ndice

Proposiciones y Conectores Lgicos

Tablas de Verdad

Lgica de Predicados

Induccin

La induccin matemtica es un mtodo que se utiliza para demostrar que una cierta propiedad se cumple para todos los nmeros naturales. Supongamos que queremos demostrar que el predicado H (n) se cumple para todos los nmeros naturales n.

ndice

Proposiciones y Conectores Lgicos

Tablas de Verdad

Lgica de Predicados

Induccin

La induccin matemtica es un mtodo que se utiliza para demostrar que una cierta propiedad se cumple para todos los nmeros naturales. Supongamos que queremos demostrar que el predicado H (n) se cumple para todos los nmeros naturales n. Lo primero que tenemos que demostrar es que se cumple para el valor n = 0 (a veces la frmula 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 Lgicos

Tablas de Verdad

Lgica de Predicados

Induccin

La induccin matemtica es un mtodo que se utiliza para demostrar que una cierta propiedad se cumple para todos los nmeros naturales. Supongamos que queremos demostrar que el predicado H (n) se cumple para todos los nmeros naturales n. Lo primero que tenemos que demostrar es que se cumple para el valor n = 0 (a veces la frmula 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 hiptesis de induccin) y lo demostramos para n + 1. La hiptesis de induccin suele jugar un papel fundamental en la demostracin de la propiedad para el valor n + 1.

ndice

Proposiciones y Conectores Lgicos

Tablas de Verdad

Lgica de Predicados

Induccin

Ejemplo de Demostracin por Induccin (I)

Vamos a demostrar que para todo nmero natural n, se cumple que 1 + 2 + 3 + + n = 1 2 n(n + 1). A esta proposicin la llamaremos H (n)

ndice

Proposiciones y Conectores Lgicos

Tablas de Verdad

Lgica de Predicados

Induccin

Ejemplo de Demostracin por Induccin (I)

Vamos a demostrar que para todo nmero natural n, se cumple que 1 + 2 + 3 + + n = 1 2 n(n + 1). A esta proposicin 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 1 sin sumandos es siempre 0 y el segundo miembro 2 0 1 = 0, pero aunque este razonamiento es correcto, si no nos sentimos cmodos con una suma vaca, podemos aplicarlo al caso 1 1 2, lo cual es correcto. n = 1, donde tenemos que 1 = 2

ndice

Proposiciones y Conectores Lgicos

Tablas de Verdad

Lgica de Predicados

Induccin

Ejemplo de Demostracin por Induccin (II)

Supongamos ahora que es cierto H (n) (y todos los valores H (m) con m n si fuera necesario), entonces suponemos que 1 n(n + 1) y vamos a es cierto 1 + 2 + 3 + + n = 2 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 Lgicos

Tablas de Verdad

Lgica de Predicados

Induccin

Ejemplo de Demostracin por Induccin (II)

Supongamos ahora que es cierto H (n) (y todos los valores H (m) con m n si fuera necesario), entonces suponemos que 1 n(n + 1) y vamos a es cierto 1 + 2 + 3 + + n = 2 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 Fijmonos como en la igualdad marcada con hemos utilizado la hipsteis de induccin para conseguir demostrar la igualdad para n + 1 que es 1 + 2 + + n + (n + 1) = 1 2 (n + 1)(n + 2).

ndice

Proposiciones y Conectores Lgicos

Tablas de Verdad

Lgica de Predicados

Induccin

Ejemplo de Demostracin Incorrecta

Hay muchas cosas que pueden fallar en una demostracin por induccin. Una de las ms simples es olvidar demostrar el caso inicial.

ndice

Proposiciones y Conectores Lgicos

Tablas de Verdad

Lgica de Predicados

Induccin

Ejemplo de Demostracin Incorrecta

Hay muchas cosas que pueden fallar en una demostracin por induccin. Una de las ms simples es olvidar demostrar el caso inicial. Vamos a demostrar (errneamente) que n = n + 1 para todo nmero natural. Eso es evidentemente falso.

ndice

Proposiciones y Conectores Lgicos

Tablas de Verdad

Lgica de Predicados

Induccin

Ejemplo de Demostracin Incorrecta

Hay muchas cosas que pueden fallar en una demostracin por induccin. Una de las ms simples es olvidar demostrar el caso inicial. Vamos a demostrar (errneamente) que n = n + 1 para todo nmero natural. Eso es evidentemente falso. Pero si utilizamos como hiptesis de induccin 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 Lgicos

Tablas de Verdad

Lgica de Predicados

Induccin

Ejemplo de Demostracin Incorrecta

Hay muchas cosas que pueden fallar en una demostracin por induccin. Una de las ms simples es olvidar demostrar el caso inicial. Vamos a demostrar (errneamente) que n = n + 1 para todo nmero natural. Eso es evidentemente falso. Pero si utilizamos como hiptesis de induccin 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 sera que 0 = 1 y por eso la demostracin no era correcta.

ndice

Proposiciones y Conectores Lgicos

Tablas de Verdad

Lgica de Predicados

Induccin

Demostraciones Tericas
Existen multitud de demostraciones de gran importancia terica que se demuestran por induccin.

ndice

Proposiciones y Conectores Lgicos

Tablas de Verdad

Lgica de Predicados

Induccin

Demostraciones Tericas
Existen multitud de demostraciones de gran importancia terica que se demuestran por induccin. Un nmero (positivo) n diremos que es compuesto cuando se puede poner como n = a b con a, b {1, n}. Diremos que es primo si no es 1 ni tampoco compuesto.

ndice

Proposiciones y Conectores Lgicos

Tablas de Verdad

Lgica de Predicados

Induccin

Demostraciones Tericas
Existen multitud de demostraciones de gran importancia terica que se demuestran por induccin. Un nmero (positivo) n diremos que es compuesto cuando se puede poner como n = a b con a, b {1, n}. Diremos que es primo si no es 1 ni tampoco compuesto. Vamos a demostrar que todo nmero distinto de 1 se puede descomponer como producto de primos. El primer nmero que tenemos que probar en este caso es 2, que es claramente primo.

ndice

Proposiciones y Conectores Lgicos

Tablas de Verdad

Lgica de Predicados

Induccin

Demostraciones Tericas
Existen multitud de demostraciones de gran importancia terica que se demuestran por induccin. Un nmero (positivo) n diremos que es compuesto cuando se puede poner como n = a b con a, b {1, n}. Diremos que es primo si no es 1 ni tampoco compuesto. Vamos a demostrar que todo nmero distinto de 1 se puede descomponer como producto de primos. El primer nmero que tenemos que probar en este caso es 2, que es claramente primo. Supongamos que el resultado es cierto para todos los nmeros ms pequeos 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 hiptesis de induccin a a y b para encontar una descomposicin en primos de n + 1