Tema 5 T

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
Tablas de Verdad
Lgica de Predicados
Induccin
Tablas de Verdad
Lgica de Predicados
Induccin
ndice
Tablas de Verdad
Lgica de Predicados
Induccin
Una proposicin es una armacin lgica que puede ser verdadera o falsa.
ndice
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
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
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
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
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
Tablas de Verdad
Lgica de Predicados
Induccin
Operadores Lgicos
Para hacer frmulas lgicas complejas, podemos utilizar operadores lgicos. Los principales son , , y .
ndice
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
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
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
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
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
Tablas de Verdad
Lgica de Predicados
Induccin
Algunas Formalizaciones (I)
Consideremos la frase Si llueve no iremos de excursin.
ndice
Tablas de Verdad
Lgica de Predicados
Induccin
Consideremos la frase Si llueve no iremos de excursin. Vamos a denotar p =Llueve y q =iremos de excursin
ndice
Tablas de Verdad
Lgica de Predicados
Induccin
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
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
Tablas de Verdad
Lgica de Predicados
Induccin
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
Tablas de Verdad
Lgica de Predicados
Induccin
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
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
Tablas de Verdad
Lgica de Predicados
Induccin
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
Tablas de Verdad
Lgica de Predicados
Induccin
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
Tablas de Verdad
Lgica de Predicados
Induccin
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
Tablas de Verdad
Lgica de Predicados
Induccin
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
Tablas de Verdad
Lgica de Predicados
Induccin
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
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
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
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
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
Tablas de Verdad
Lgica de Predicados
Induccin
A veces se introducen columnas adicionales con partes de la frmula (subfrmulas) que facilitan el clculo.
ndice
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
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
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
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
Tablas de Verdad
Lgica de Predicados
Induccin

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
Tablas de Verdad
Lgica de Predicados
Induccin

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
Tablas de Verdad
Lgica de Predicados
Induccin

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
Tablas de Verdad
Lgica de Predicados
Induccin

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
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
Tablas de Verdad
Lgica de Predicados
Induccin
En muchas ocasiones, la lgica de proposiciones se queda corta para formalizar razonamientos.
ndice
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
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
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
Tablas de Verdad
Lgica de Predicados
Induccin
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
Tablas de Verdad
Lgica de Predicados
Induccin
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
Tablas de Verdad
Lgica de Predicados
Induccin
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
Tablas de Verdad
Lgica de Predicados
Induccin
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
Tablas de Verdad
Lgica de Predicados
Induccin
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
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
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
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
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
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
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
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
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
Tablas de Verdad
Lgica de Predicados
Induccin
Relacin entre y
Existe una fuerte relacin entre ambos cuanticadores.
ndice
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
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
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
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
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
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
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
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
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
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
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
Tablas de Verdad
Lgica de Predicados
Induccin
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
Tablas de Verdad
Lgica de Predicados
Induccin
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
Tablas de Verdad
Lgica de Predicados
Induccin
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
Tablas de Verdad
Lgica de Predicados
Induccin
Demostraciones Tericas
Existen multitud de demostraciones de gran importancia terica que se demuestran por induccin.
ndice
Tablas de Verdad
Lgica de Predicados
Induccin
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
Tablas de Verdad
Lgica de Predicados
Induccin
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
Tablas de Verdad
Lgica de Predicados
Induccin
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

Tema 5 T

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Tema 5 T

Uploaded by

Copyright:

Available Formats

ndice

Proposiciones y Conectores Lgicos

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

Proposiciones y Conectores Lgicos

Proposiciones y Conectores Lgicos

Proposiciones y Conectores Lgicos

Proposiciones y Conectores Lgicos

Proposiciones y Conectores Lgicos

Proposiciones y Conectores Lgicos

Proposiciones y Conectores Lgicos

Proposiciones y Conectores Lgicos

Proposiciones y Conectores Lgicos

Proposiciones y Conectores Lgicos

Proposiciones y Conectores Lgicos

Proposiciones y Conectores Lgicos

Proposiciones y Conectores Lgicos

Proposiciones y Conectores Lgicos

Proposiciones y Conectores Lgicos

Algunas Formalizaciones (I)

Consideremos la frase Si llueve no iremos de excursin.

Proposiciones y Conectores Lgicos

Algunas Formalizaciones (I)

Proposiciones y Conectores Lgicos

Algunas Formalizaciones (I)

Proposiciones y Conectores Lgicos

Algunas Formalizaciones (II)

Proposiciones y Conectores Lgicos

Algunas Formalizaciones (II)

Proposiciones y Conectores Lgicos

Algunas Formalizaciones (II)

Proposiciones y Conectores Lgicos

Proposiciones y Conectores Lgicos

Proposiciones y Conectores Lgicos

Proposiciones y Conectores Lgicos

Proposiciones y Conectores Lgicos

Proposiciones y Conectores Lgicos

Proposiciones y Conectores Lgicos

Proposiciones y Conectores Lgicos

Proposiciones y Conectores Lgicos

Proposiciones y Conectores Lgicos

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

Proposiciones y Conectores Lgicos

Proposiciones y Conectores Lgicos

Proposiciones y Conectores Lgicos

Proposiciones y Conectores Lgicos

Ejemplo de Tabla de Verdad (II)

Proposiciones y Conectores Lgicos

Tablas de Verdad y Razonamientos

Proposiciones y Conectores Lgicos

Tablas de Verdad y Razonamientos

Proposiciones y Conectores Lgicos

Tablas de Verdad y Razonamientos

Proposiciones y Conectores Lgicos

Tablas de Verdad y Razonamientos

Proposiciones y Conectores Lgicos

Tablas de Verdad y Razonamientos

Proposiciones y Conectores Lgicos

Razonamiento con Tablas

Proposiciones y Conectores Lgicos

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

Proposiciones y Conectores Lgicos

Proposiciones y Conectores Lgicos