P. 1
Anon - Logica (Curso Basico)

Anon - Logica (Curso Basico)

|Views: 4.641|Likes:
Publicado porgsmontenegro

More info:

Published by: gsmontenegro on Jul 31, 2011
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

07/29/2013

pdf

text

original

Sections

  • Introducción
  • Proposiciones
  • Conjunción
  • Disyunción
  • Negación
  • Condicional
  • Bicondicional
  • Equivalencia lógica
  • Implicación lógica
  • Algebra de proposiciónes
  • Leyes del álgebra de proposiciónes

This site is hosted by Netfirms Web Hosting

Lógica
1.

Introducción

2.

Nociones de Lógica elemental Proposiciones Conjunción Disyunción Negación Condicional Bicondicional Ejercicios

r

r

r

r

r

r

r

3.

Tablas de verdad Construcción de tablas de verdad principales Ejercicios

r

r

4.

Tautología y Contradicción Tautología y su tabla de verdad Contradicción y su tabla de verdad Ejercicios

r

r

r

5.

Equivalencia lógica Equivalencia lógica Implicación lógica

r

r

6.

Algebra de proposiciones Algebra de proposiciones Leyes del álgebra de proposiciones Ejercicios

r

r

r

7.

Cuantificadores

8.

Razonamiento lógico

9.

Métodos de demostración matemática

Curso elaborado por Saúl Santiago

No será una exposición de tipo filosófico ni formal de la lógica. que . Se verá aquí con detalle una exposición de las nociones clásicas de lógica y lo que es una demostracion matemática . que quede claro. no es posible dominar con propiedad los cursos superiores de matemáticas. Tan sólo son un pequeños apuntes para todos aquellos que tengan interés en las matemáticas.:-).This site is hosted by Netfirms Web Hosting Introducción Esto no es un curso completo de lógica. También se incluye una descripición elemental de las reglas y símbolos que se emplean en el razonamiento lógico. Una de las mayores dificultades al analizar el rigor matemático de una demostración se halla en el hecho de que debemos comunicar nuestras ideas empleando el lenguaje ordinario. eh??. Al final se verán los métodos de demostración matemática. En resumen ésta sección tiene por objeto dar una descripción elemental de las reglas y símbolos que se emplean en el razonamiento lógico.. Si se desconocen éstas técnicas. hallando su valor de verdad y estableciendo reglas específicas de inferencia por medio de las cuales se puede determinar si un razonamiento es válido o no. La lógica elimina estas ambigüedades aclarando cómo se construyen las proposiciones. puedan así conocer las técnicas de la lógica. ni conocer las muchas aplicaciones de las matemáticas a todas las ramas de la ciencia y tecnología. ni mucho menos una cátedra maestra. que está lleno de ambigüedades. En ocasiones es difícil decidir si determinada línea de razonamiento es correcta o no.

«««««« Anterior Siguiente »»»»»» .es el objetivo fundamental de este apartado.

. r. les llamaremos proposiciones compuestas . s. veremos algunos ejemplos muy simples. La verdad o falsedad de dicha proposición se le llama su valor de verdad . p: 7 es un número par. o bien es falsa. » A continuación.etc. se le puede asignar dos valores: o bién es verdadera. Algunas proposiciones se pueden componer de dos o varias proposiciones simples. Esto lo veremos más adelante. a la cual. de manera que se comprenda que son las proposiciones en Lógica. a los cuales. pero no ambas cosas.This site is hosted by Netfirms Web Hosting Nociones de Lógica elemental Proposiciones Una proposición se considera una frase. Comúnmente se suele denotar a las proposiciones mediante las letras: « p. q.. .

siempre y cuando estemos hablando de el sistema decimal. su valor de verdad será Falso . r: 2 es un número impar. Se trata de una proposición compuesta.Para la segunda proposición: «Pedro es viejo»tambien se le puede asignar su valor de verdad: falso o verdadero. su valor de verdad será verdadero. y por el modo de como se les reúne para formar la proposición compuesta. o bien es falso. De manere que no se trata de una proposición. donde su valor de verdad. será falso. De manera que la proposición p. está determinado por completo por el valor de verdad de cada uno de las proposiciones simples. pues 7 no es un número par. De manera que. no podemos decir que es falso. La manera en que van a estar unidas ciertas proposiciones . la primera proposición: «Pedro está enfermo». o bien. pues 2 no es un número impar. «Pedro es viejo». las proposiciones tanto p. Ahora observemos este otro ejemplo: ¿Cómo éstas? Observa que para esta expresión no es posible asignar un valor de verdad.q: 2 + 2 = 4. Esta expresión está formada implícitamente por dos proposiciones simples: «Pedro está enfermo» y la otra proposición. tienen valores de verdad. El valor de verdad para r. le podemos asignar un cierto valor de verdad. o bien es verdadero. Bueno. Para la proposición q. dejemos éste ejemplo. Como puedes darte cuenta. verdadero. y ahora veamos este otro: Pedro está enfermo o viejo. q y r.

«««««« Anterior Siguiente »»»»»» . será determinado rotundamente por el uso de conectivos. Estos los veremos en la sección siguiente. para dar forma a proposiciones compuestas.simples.

El primer caso que veremos de proposiciones compuestas será la conjunción . la proposición compuesta resultante se le llama conjunción . De esta manera. se tiene que la nueva proposicion p ^ q se llama conjunción de « p y q ».This site is hosted by Netfirms Web Hosting Nociones de Lógica elemental Conjunción Anteriormente vimos que la unión de proposiciones simples dan lugar a proposiciones compuestas. Para la conjunción usaremos el simbolo lógico ^. el valor de verdad. Ahora. «p y q» será de la siguiente manera: . Cuando dos proposiciones simples se combinan mediante la palabra « y » . para la conjunción de dos proposiciones cualesquiera.

cuando lleguemos a la sección de las «Tablas de Verdad». De manera que.Si p es la proposición: «1 es un número impar» y q es la proposición: «3 es un número primo». En donde se observa que p ^ q su valor de verdad es verdadero. tanto p. 1.. pues el valor de verdad de q: «París está en Francia» . como q: «3 es un número primo». si. 2.. pues tanto p: «1 es un número impar». el valor de verdad para p ^ q . es falso. Mas adelante revisaremos esto con mayor profundidad. una de las proposiciones simples es falsa. entonces p ^ q será la proposición: «1 es un número impar y 3 es un número primo».p ^ q debe ser verdadera. pero el valor de q: «2 es un número impar» es falso.ambos son verdaderos. «««««« Anterior Siguiente »»»»»» . Por ahora veamos un par de ejemplos sencillos para comprender el estudio de la conjunción. son verdaderas. si al menos. es verdadero. como q. entonces la proposición: p ^ q será «París está en Francia y 2 es un número impar». donde su valor de verdad es: falso. entonces. y solamente si.Si p es la proposición: «París está en Francia» y q es la proposición: «2 es un número impar».

entonces p v q es verdadero.Dado esto admitimos la frase compuesta como una proposición. en cualquier otro caso p v q es falso. El valor de verdad de la proposición compuesta p v q cumple la condición siguiente: Si p es verdadero o q es verdadero o si ambos. Simbolicamente la denotaremos escribiendo p v q . . como el término y/o. Es decir la disyunción de dos proposiciones es falsa solamente si cada proposición componente es falsa. Entonces una proposición del tipo «p o q» se toma siempre como «p o q ó ambas». de modo que la proposición p v q se llama disyunción de p y q. A esta nueva proposición compuesta se le llama Disyunción.This site is hosted by Netfirms Web Hosting Nociones de Lógica elemental Disyunción En matemáticas se emplea la palabra «o» en el sentido inclusivo.

Con esto se observa: si al menos una de las proposiciones que forman la disyunción p v q es verdadera. entonces el valor de la disyunción es verdadera. ambas son falsas..Si p es la proposición «2 es un número par» y q es la proposición «3 es un número primo». luego entonces el valor de la disyunción p v q será falso. entonces la disyunción p v q será la proposición «2 es un número par o 3 es un número primo». pues tanto p como q.Donde el valor de la disyunción es verdadero pues tanto p y q son ambas verdaderas. Donde el valor de verdad de p v q es verdadero. Entonces la disyunción p v q es la proposición:«2 < 3 o 4 es un número primo».Si p es la proposición «2 < 3» y q es la proposición «4 es un número primo». «««««« Anterior Siguiente »»»»»» ..Si p es: «París se encuentra en Inglaterra» y q es: «2 + 2 = 5».. y q «4 es un número primo» es falso.Veamos a continuación los siguientes ejemplos: 1. 3. 2. pues p «2 < 3» es verdadero.

Es decir el valor de verdad de la negación de una proposición fundamental es siempre opuesto del valor de verdad de la proposcion. .This site is hosted by Netfirms Web Hosting Nociones de Lógica elemental Negación Si p es una proposición fundamental. algunos autores usan las notaciones para la negación de una proposición p como: ¬p . que se le llama Negación de p.. etc. escribiendo: «Es falso que» antes de p. de ésta se puede formar otra proposición.. Simbólicamente denotaremos a la negación por ~p. cuando es posible... se inserta en p la palabra «No».-p . entonces ~p es falso. entonces ~p es verdadero. aunque existen varias maneras de hacerlo. ó. nosotros utilizaremos la notación ~p. El valor de verdad de la negación de una proposición fundamental depende de la condición siguiente: Si p es verdadero. si p es falso.

.Consideremos los siguientes ejemplos: 1. es falso. donde el valor de verdad de ~p es verdadero.. 2. ~p.Si p es la proposición: «2 * 3 = 7». «««««« Anterior Siguiente »»»»»» . pues la proposición p: «Alemania se encuentra en Europa» es verdadero.entonces la negación de p. será la proposición: «Es falso que Alemania se encuentre en Europa» Es obvio que el valor de verdad para ~p es falso. pues p«2 * 3 = 7». Tambien se pudo haber expresado la negación de p como:«Alemania no se encuentra en Europa». entonces ~p es la proposición: «2 * 3 /= 7».Si p es la proposición «Alemania se encuentra en Europa».

p p p q implica q solamente si q es suficiente para q es necesario para p Veamos un ejemplito. entonces q».This site is hosted by Netfirms Web Hosting Nociones de Lógica elemental Condicional En matemáticas se suele utilizar muy frecuentemente la proposición «Si p. b. Tales proposiciones se llaman condicionales y se le denota por: p --> q El condicional p --> q también se puede expresar de las siguientes maneras: a. d. el cual te ayudara a comprender las . c.

cuando decimos: Mi automóvil funciona si hay gasolina en el tanque. entonces mi automóvil funciona. es suficiente para que mi automovil funcione En este caso la condicional es de la forma: «p es suficiente par q». Este enunciado es equivalente a expresarlo de las siguientes maneras: a) Si hay gasolina en el tanque.maneras en que una proposición condicional se puede expresar: Por ejemplo. Para este caso la proposición condicional es de la forma: «q es necesario para q». c) Si hay gasolina en el tanque. entonces q». . b) Mi automóvil sólo funciona si hay gasolina en el tanque. Observa que en este caso la proposición condicional es del caso: «Si p. En este caso la proposición condicional es del caso: «p solamente si q». d) Para que mi automóvil funcione es necesario que haya gasolina en el tanque.

de que.etc. en este caso dado la ley del valor de verdad de la condicional. corolarios. El valor de verdad de la proposición condicional p --> q está dada de la siguiente condición: El condicional p --> q es verdadero a menos que p sea verdadero y q falso. Pues una proposición verdadera no implica una . Ahora.Si mañana llueve.. Tambien. puede ser que mañana llueva. en particular. no es necesario a que siempre ocurra p para que entonces q. En el condicional p --> q a p se le llama el antecedente..vendran dadas por una serie de condiciones a la que llamaremos: Hipótesis o antecedentes. Es decir.e) Que haya gasolina en el tanque implica que mi auto funcione. para saber el valor de verdad de esta proposición. Veremos mas adelante cuando lleguemos a este tema...etc. en la demostración matemática. es muy importante comprender el carácter que tiene el condicional p --> q... que los teoremas.. Veamos algunos ejemplos para aclararte esto: 1. La proposición condicional juega un papel muy importante en matemáticas. depende de los factores climatológicos que se presenten para el día de mañana. Se observa. es decir. si llega a ocurrir de que el día de mañana llueva.entonces q. una proposición verdadera no puede implicar una falsa. Es decir. pero no haga frío. En este caso la condicional es de la forma: «p implica q». sería falsa. entonces el día de mañana será frío. y a q el consecuente. si llegara a ocurrir p. entonces hará frio. lo cual implican un consecuente.

no tiene importancia. Otra observación interesante que hay que notar. o más aún. Para este caso.. no afirma que para cualesquiera dos números la suma de estos es un número par. Es una proposición verdadera a pesar de que «4 es un número primo» es una proposición falsa. «««««« Anterior Siguiente »»»»»» . Nada se afirma con respecto al valor de verdad de q en este caso. entonces 6 es un número primo». es como ya dijimos anteriormente de que el valor de verdad de la proposición condicional p --> q es falso. si p es verdadero y q es falso. 2. dado que q es falsa y q verdadera.proposicion falsa.Si a y b son números pares. si se tienen que dos números son pares entonces su suma son otro número par. solamente el valor de verdad de p --> q. dado que p es falsa y también q es falsa. El que la proposición «6 es un número primo» sea falsa. Veamos otro ejemplo para aclarar esto: Sea la proposición condicional: «Si 4 es un número primo. y éste queda completamente determinado por las tablas de verdad que veremos mas adelante. es verdadero. es decir. entonces la suma (a+b) tambien es un número par. Ahora puede puede ser que te sorprenda de que el valor de verdad de la condicional p --> q es verdadero.

(p --> q) ^ (q --> p).This site is hosted by Netfirms Web Hosting Nociones de Lógica elemental Bicondicional Otro tipo de proposición que se presenta con frecuencia es de la forma «p si. El valor de verdad de las proposiciones Bicondicionales p <--> q obedece a la condición: Si p y q tienen el mismo valor de verdad. Si p y q tienen valores de verdad opuestos. entonces p <--> q es lo mismo que (p --> q) y (q --> p) o aplicando la definición de la conjunción. q» que se suele abreviar «p ssi q». Intuitivamente esta proposición parece ser la combinación de p --> q y q --> p A este conectivo lógico especial lo llamamos condicional y se denota por el simbolo <-->. entonces p <--> q. es verdadero. entonces p <--> q . y solamente si. que vimos en una de las secciones anteriores.

. entonces p <--> q tambien es verdadero.. es falso.10 es un número impar si. 4 + 4 = 8. entonces el valor de verdad de p. entonces p <--> q también es falso Veamos los ejemplos siguientes: 1. luego entonces la bicondicional p <--> q es verdadera. Dicho de otra manera: si tanto p como q son verdaderos. es decir tienen el mismo valor de verdad.Londres está en Inglaterra si. hemos visto las definiciones de el uso de conectivos en Lógica y algunos ejemplos muy sencillos con el . Si se toma p como: «3 + 2 = 7» y q como: «4 + 4 = 8».3 + 2 = 7 si. son verdaderos. Si p es verdadero y q falso. 2. y solamente si.. entonces tanto el valor de p. Si tanto p como q son falsos. y solamente si. son falso. París está en Francia.es falso. luego entonces la bicondicional p <--> q es verdadera. luego entonces la bicondicional p <-> q es falsa.es decir tienen el mismo valor de verdad. como de q. y solamente si. entonces p <--> q es verdadero. Sea p «Londres está en Inglaterra» y q «París está en Francia». entonces se observa que tanto el valor de verdad de p. pero el valor de verdad de q es verdadero. 6 es un número primo Si p es: «10 es un número impar» y q es: «6 es un número primo». como de q. entonces p <--> q es falso. Hasta ahora. 3. Si p es falso y q verdadero.

Te aconsejo que los veas y trates de resolverlos tú mismo. «««««« Anterior Siguiente »»»»»» . si esto no es así.fin de facilitar la comprension de dicho estudio A manera de recapitulación en la sección siguiente verás una serie de ejercicios que abarcan todo lo que hemos visto hasta ahora. entonces podrás ver la respuesta a cada ejercicio.

que contiene conectivos. v. ^. Dichas hipótesis se resumen y se generalizan por medio de lo que se llama una tabla de verdad Se puede conocer el valor de verdad de una proposición. determinando el valor de verdad de cada una de las componentes. que se pueden formar empleando los conectivos lógicos ^.-->.This site is hosted by Netfirms Web Hosting Tablas de Verdad Ahora resumamos lo que se ha visto hasta ahora: A partir de el conjunto original de proposiciones fundamentales hemos formado un nuevo conjunto. ~. El valor de verdad que se asigna a una proposición compuesta suponemos que se asigna de acuerdo con la extensión natural de las hipótesis anteriores. Las tablas de verdad para los conectivos ~. debajo de la proposición p. A una proposición p se le asigna los valores V o F. Podemos tener ahora proposiciones compuestas del tipo (p ^ q)v r. v. <--> se verán a continuación. escritos en este orden. Los elementos del último conjunto se le llaman proposiciones compuestas. . aceptando en él toda combinación de proposiciones del conjunto original.

p V F ~p F V Esta tabla nos hace recordar la definición que vimos anteriormente de la negación. Si el valor de verdad de p es falso. entonces el valor de verdad de ~p es falso. que dice: si el valor de verdad de p es verdadero. p V V F F q V F V F pvq V V V F . Tabla de verdad para p v q. entonces el valor de verdad de ~p es verdadero.Tabla de verdad para ~p.

en otro caso p ^ q es falso. en otro caso p v q es falso. Es decir. entonces p v q es verdadero. la disyunción de dos proposiciones es falsa solamente si cada proposición componente es falsa. entonces p ^ q es verdadero. Es decir. . la conjunción de dos proposiciones es verdadera solamente si cada componente es verdadero.En esta tabla se observa: Si p es verdadero o q es verdadero o si ambos p y q son verdaderos. p V V F F q V F V F p^q V F F F Esta tabla nos hace ver la definición de la conjunción: Si p es verdadero y q es verdadero. Tabla de verdad para p ^ q.

Tabla de verdad para p --> q. Tabla de verdad para p <--> q. p q V V V F F V F F p <--> q V F F V . Es decir una proposición verdadera no puede implicar una falsa. p V V F F q V F V F p --> q V F V V De la tabla anterior se abserva que el condicional p --> q es verdadero a menos que p sea verdadero y q falso.

finalmente aplicamos la definición de la disyunción para ~p v q. podemos escribir la columna dos en la cuarta columna. entonces p <--> q es verdadero. Esto lo verificamos con la siguiente tabla: Tabla de verdad para ~p v q. A las tablas de verdad deducidas a partir de ellas se les llama tablas de verdad deducidas Ilustremos esto con el siguiente ejemplo: Calculemos la tabla de verdad de la proposición ~p v q. . Como se indica en la tabla que veremos a continuación. si p y q tienen valores de verdad opuestos. entonces p <--> q es falso.De la anterior tabla se puede observar que: Si p y q tienen el mismo valor de verdad. para construir dicha tabla. Las tablas de verdad anteriores son las que se necesitan para deducir el valor de verdad de cualquier proposición por complicada que sea. debemos empezar con todas las posibles combinaciones de valores de verdad de p que se deducen de la primera columna.

Esto nos hace recordar los valores de la proposición condicional p <--> q. es decir los valores de verdad de p y q con los valores de verdad de ~p v q. como en todos los casos . Antes de continuar construyendo tablas de verdad mas complejas. es necesario dar una regla para la construcción de dichas tablas: Regla: Si tenemos dos proposiciones. veremos mas tarde la relación que existe entre éstas dos proposiciones.p V V F F q V F V F ~p F F V V q V F V F ~p v q V F V V Nota: De la tabla anterior podemos observar lo siguiente:Si comparamos las columnas primera y segunda con los de la cuarta columna. observamos que ~p v q es falsa solamente cuando p es verdadera y q es falsa.

. V.F. es decir.V y F.V y F. F. se necesitan 16 filas de las cuales en la primera columna se reparten los valores de verdad: 8 V y 8 F. despues cuatro F.V.F. q y r.V. necesitaremos cuatro filas.F. y la segunda columna V. Para cuatro proposiciones.V F.V.F.F. o. La segunda columna empezará con cuatro V.F.V. V. De estas cuatro filas la primera columna tendrá los valores de verdad: V.F.V.. Este el caso para tres proposiciones:p. V.F. para la segunda columna: V. F. de las cuales la primera columna se acomodarán los valores de verdad de la siguiente manera: V. En general: Analizando que para dos proposiciones se necesitan cuatro filas.V. Ilustremos todo esto con un ejemplo.F.hasta la fila número 16..F.V. en donde según vimos anteriormente necesitamos ocho filas.V. Las siguientes columnas tendrán los valores de verdad según la proposición dada.F.o visto de otra manera: se necesitan 22 = 4 filas.F V.F.V.F. Si se tienen tres proposiciones.V. Para cuatro proposiciones necesitaremos 24 = 16 filas.F.F. y F.F..F.F. Para la tercera columna: V. F.V y F.V.V.F. y para la tercera . Y para la tercera columna seran: V. Para la segunda columna se reparten los valores: V.V.F.V.F.V.anteriores que hemos visto. F. F. y así sucesivamente hasta ocupar los 16 lugares.V..V y F. 23 = 8. necesitaremos ocho filas. construyamos la tabla de verdad para la proposición compuesta: [(p v q) ^ r ] --> ~q ^ p.en general para n proposiciones necesitaremos 2n filas.F. En la primera columna irán repartidos los valores: V.V. Para tres proposiciones se necesitan ocho filas.

los valores de esta disyunción las colocaremos en la cuarta columna. y ahora hayamos los valores de la conjunción ~q ^ p.. Para esto encontraremos el valor de verdad de la disyunción p v q . Finalmente encontramos los valores de la implicación [(p v q) ^ r] --> ~q ^ p de donde ahora se pueden deducir con claridad de las columnas quinta y séptima. La tabla de dicha proposición es la siguiente: . a estos valores los colocamos en la columna número seis. donde observamos que esta proposición es una conjunción p ^ q.V. a estos valores los colocamos en la octava y última columna. si q es F entonces ~q es V. Se observa que la proposición compuesta [(p v q) ^ r] --> ~q ^ p a fín de cuentas es una condicional p --> q. estos se deducen de las columnas primera y sexta. Ahora nos hace falta encontrar los valores de verdad de la proposición ~q ^ p. la cual evidentemente se trata de una conjunción. Por tanto lo que nos interesa al final son los valores de verdad de la condicional -->.F. valores que colocamos en la séptima columna.V.. dichos valores los colocamos en la quinta columna.V.etc. (conste que hago estas igualdades para que se te haga mas claro). donde p = p v q y q = r. Ahora encontraremos los valores de verdad de la conjunción [(p v q) ^ r] de la cual los valores los podemos deducir de las columnas tercera y cuarta.donde los valores de ésta se deducen de las columnas primera y segunda.F. donde digamoslo así p = [(p v q ^ r)] y q = ~q ^ p.F.columna: V.F. Debemos encontrar los valores para la proposición [(pvq) ^ r ]. para esto se necesita encontrar los valores de ~q los cuales se deducen de la columna dos aplicando la ley de la negación: si q es V entonces ~q es F.

al igual que en la seccion anterior de ejercicios. p q r p v q p v q ^ r ~q ~q ^ p [(p v q ^ r] --> ~q ^ r VVV VVF VFV VF F FVV FVF F FV F F F V V V V V v F F V F V F V F F F F F V V F F V V F F V V F F F F F V V V F V V V En la siguiente sección veremos algunos ejercicios con respecto a los valores de las tablas de verdad de algunas proposiciones.Tabla de verdad para [(p v q) ^ r] --> ~q ^ p. . cada ejercicio viene con su respuesta.

«««««« Anterior Siguiente »»»»»» .

Tales proposiciones se le llaman: Tautologías. Ahora costruyamos la tabla de verdad para la proposición: p v ~p. independientemente de el valor de las demas proposiciones. Algunas de estas tautologías son muy comunes y útiles y por eso se le llaman leyes. Tabla de verdad para p v ~p. las cuales se caracterizan por tener sólo el valor de verdad V en la última columna de sus tablas de verdad. p V F ~p F V p v ~p V V .This site is hosted by Netfirms Web Hosting Tautología Ahora veamos un caso especial de proposiciones.

Por tanto se trata de una tautología.Se observa que el valor de verdad de esta proposicion p v ~p es V. independientemente de el valor de p. Construyamos la tabla de verdad para la proposición: [(p --> q) ^ (q --> r)] --> (p --> r). Tabla de verdad para: [(p --> q) ^ (q --> r)] --> (p -> r) p q r [(p V V V V V F V F V V F F F V V F V F F F V F F F V V V V F F F F --> q) ^ (q --> V V F F V V V V V V F F V V F F V F F F V F V V V V F F V V F F V F V V V F V V r)] V F V F V F V F --> (p --> r) V V V V V V V V V V V V F F F F V F V F V V V V V F V F V F V F A esta proposición se le conoce con el nombre de La ley del . A dicha tautología se le llama ley del tercio excluído.

q. Es decir nuestra proposición compuesta es de la forma: P(p.q.r.. donde P es la proposición compuesta en sí. la cual es un principío fundamental del razonamiento lógico.r. y p.sus componentes..q y r.).) es una tautología... [(p -->q) ^ (q ->r)] --> (p -->r). podemos llamar a esta proposición compuesta como P.. de componentes p.) es una contradicción y viceversa La siguiente sección se verá el concepto de contradicción. como las que hemos visto desde casi el principio.r).. veamos antes algo sobre notacion: Podemos denotar a una proposición compuesta.. como P(p..r..r.silogismo. Antes de pasar a la siguiente observacion. Por ejemplo: La proposición anterior que vimos. . entonces ~P(q.s.s..q. Observacion: Si P(q..

«««««« Anterior Siguiente »»»»»» .

r. independientemente de el valor de las demás proposiciones: q.r.s..This site is hosted by Netfirms Web Hosting Contradicción La contradicción es una proposición compuesta: P(q.. Veamos la proposición p ^ ~ p y verificaremos que se trata de una contradicción.. independientemente de los valores de p y . p ^ ~p p V F ~p F V p ^ ~p F F La tabla nos muestra que en la última columna aparecen los valores de verdad F.) que se caracteriza por tener sólo el valor de verdad F en la última columna de sus tablas de verdad.s..

~p. ««««« Anterior Siguiente »»»»»» .

q..> Q(p.) y Q(p..q... Se denota a la Equivalencia lógica de las proposiciónes P(q......) Analicemos las siguientes tablas de verdad de las proposiciones: (p --> q) ^ (q --> p) y p <--> q (p --> q) ^ (q --> p) ..q. se dice que son lógicamente equivalentes si sus tablas de verdad son idénticas.)..) < -.r..r.) y Q(r.) por: P(q. es decir...s..This site is hosted by Netfirms Web Hosting Equivalencia lógica Ahora supongamos que se tienen dos proposiciones P(p... si la tabla de verdad de la proposicion P es idéntica a la de Q.

la proposición: .. es decir...) sí... las proposiciones son lógicamente equivalentes Tambien podemos hacer la siguiente observación: P(p.> Q(p.pqp VV VF FV FF --> q q V F V V --> p p --> q ^ q --> p V V F V F F V V p < -. q.> p <--> q.> q p V V F F q V F V F p <--> q V F F V Luego (p --> q) ^ (q --> p) < -.. q. y solamente sí.) < -.

.> ~p v q Para esto construiremos sus tablas de verdad y verificar que son idénticas.q. De la misma manera podemos hacer uso de la observación anterior.q. es decir: p --> q < -.) < -.. verificaremos que la proposición p --> q <-> ~p vq es una tautología....) es una tautología Verifiquemos ahora que las proposiciones p --> q y ~p v q son lógicamente equivalentes.P(p.> Q(p.. p --> q .

p V V F F q V F V F p --> q V F V V p <--> q p V V F F q V F V F ~p F F V V ~p v q V F V V Vemos que las proposiciones son lógicamente equivalentes De la misma manera verificamos que son lógicamente equivalentes comprobando la existencia de la tautología ya antes mencionada. es decir: .

En la siguiente sección se verá lo que es una implicación lógica «««««« Anterior Siguiente »»»»»» .p --> q <--> ~p v q p V V F F q ~p V F F F V V F V p --> q V F V V ~p v q V F V V p --> q <--> ~p v q V V V V Así hemos presentado las dos maneras de verificar la equivalencia de dos proposiciones.

.) implica lógicamente una proposición Q(p..q.. P(p.) es una tautología.) si se verifica una de las siguientes condiciones: q q q ~P(p...q...q.. P(p..q. lo que se escribe: P(p...........) es una contradicción..q.q.) --> Q(p.q.) es una tautología......q..) ^ ~Q(p.This site is hosted by Netfirms Web Hosting Implicación lógica Se dice que una proposición P(p.) --> Q(p..). .q..) v Q(p...q.

la proposición (p --> q) ^ (q --> r) implica lógicamente a la proposición (p -->r). cuya tabla de verdad es la siguiente: (p ^ q) ^ ~(p v q) p V V F F q (p V V F V V F F F ^ V F F F q) V F V F ^ ~ F F F F F F F V (p v q) V V V V V F F V V F F F Se observa de la tabla que la proposición: (p ^ q) ^ ~(p v q) es una contradicción. de acuerdo a la definición anterior. por tanto por la deficnición anterior: .La proposición ya antes vista: [(p --> q) ^ (q --> r)] --> (p --> r) vimos que es una tautología. es decir: [(p --> q) ^ (q -->r)] --> (q -->r) Consideremos ahora la proposición: (p ^ q) ^ ~(p v q).

p^q --> pvq La siguiente sección se verán las leyes del álgebra de proposiciones. «««««« Anterior Siguiente »»»»»» .

> v < -.> v (8a) ~~p < -. son lógicamente equivalentes: (1a) p v p < -.This site is hosted by Netfirms Web Hosting Algebra de proposiciónes A continuación se presentarán las proposiciónes que darán paso a las leyes del álgebra de proposiciones.> p (2b) (p ^ q) ^ r < -.> p (6b) p ^ f < -.> p ^ (q ^ r) (3b) p ^ q < -.> p .> v (7a) p v ~p < -.> f (8b) ~v < -.> p v (q v r) (3a) p v q (1b) p ^ p < -. Las proposiciones mencionadas. ~f < -.> f.> qvp (4a) p v (q ^ r) < -.> p (6a) p v v < -.> (p ^ q) v (p ^ r) (5b) p ^ v < -.> p (2a) (p v q) v r < -.> (p v q) ^ (p v r) (5a) p v f < -.> q ^ p (4b) p ^ (q v r) < -.> f (7b) p ^ ~p < -.

> p p v p < -. Las equivalencias se pueden demostrar construyendo las tablas de verdad y aplicando la definición de la sección anterior. Verificaremos algunas de las proposiciones. aplicando la definición anterior.> p p V F pvp V F p v p < -.> ~p v ~q ~q Podemos observar que v y f denotan variables cuyos valores estarán restringidos respectivamente a proposiciones verdaderos y falsos.> p V V . (1a) p v p < -.> ~p ^ (9b) ~(p ^ q) < -.(9a) ~(p v q) < -.

> p p f V F F F pvf V F p v f < -.> p Para esto debemos recordar que f.> p V V La proposción es una tautología.Se observa que la proposición de la tabla de verdad es una tautología. luego las proposiciones (1a) son lógicamente equivalentes Ahora verifiquemos la proposición: (5a) p v f < -. p v f < -. siempre tendrá el valor de verdad F. luego entonces las proposiciones (5a) son lógicamente equivalentes .

Algunas de las proposiciones a principio de esta sección. las proposiciones ya vistas en esta sección darán paso a las Leyes del álgebra de proposiciones. para esto veremos un teorema importante. «««««« Anterior Siguiente »»»»»» . La sección siguiente veremos. vienen en la sección de ejercicios.

).> Q(p. P2.....) < -. ..This site is hosted by Netfirms Web Hosting Leyes del álgebra de proposiciónes Ahora veamos a continuación el siguiente Teorema: Si P(p. Es decir si se reemplazan las variables por proposiciones equivalentes.. P2..q....) para cualesquiera proposiciones P1. Dichas leyes se ven a continuación...) < -.. si verificamos que las proposiciones de la sección anterior son equivalentes.q. P2.. De lo anterior se puede deducir. entonces las Leyes del álgebra de proposiciones tambien son equivalentes.> Q(P1. entonces P(P1. las proposiciones que resultan son tambien equivalentes..

> ~P ^ ~Q 5b.> P 9a.> F 8b.> V Leyes de De Morgan 9b. P v P < -.PV(Q ^ R)< -. P ^ V < -.(P ^ Q) ^ R < -.> P ^ (Q ^ R) Leyes conmutativas 3b.Leyes del álgebra de proposiciones Leyes de idempotencia 1a.> Q ^ P Leyes distributivas 4a.> P 6a. ~~P < -. P ^ P < -.>(P ^ Q)v(P ^ R) Leyes de identidad 5a. ~(P v Q) < -. en particular los que fueron vistos en la sección anterior. P ^ Q < -. ahora veamos algunos ejercicios. ~(P ^ Q) < -. P ^~P < -. P v F < -. P ^ F < -. ~V < -. P ^ (Q v R)< -. (P v Q) v R < -.> F .> P v (Q v R) 3a.> P 2a.> P Leyes asociativas 2b.> P 6b.> ~P v ~Q Esperando que hayas comprendido bien el estudio de la equivalencia e implicacion lógicas.> F Leyes del complemento 7b. P v V < -.> Q v P 1b.> V 7a. ~F < -. P v Q < -.> V 8a. .>(P v Q)^(P v R) 4b. P v ~P < -.

«««««« Anterior Siguiente »»»»»» .

la conclusión es verdadera. Una conclusión verdadera no es condición necesaria ni suficiente para la validez de un razonamiento. Un razonamiento es válido si. la conjunción de las premisas implica la conclusión. Una observación muy importante que hay que resaltar. es que la verdad de la conclusión es independiente de la manera de demostrar la validez de un razonamiento. cuando las premisas son todas verdaderas.This site is hosted by Netfirms Web Hosting Razonamientos válidos. y solamente sí. . El objetivo fundamental de esta sección es ver si determinados razonamientos son verdaderos o falsos Por razonamiento se debe entender la afirmación de que determinada proposición (la conclusión) sea consecuencia de las otras proposiciones (las premisas). es decir.

........... entonces sus ciudadanos tienen el derecho de votar... .. Por tanto................ pero el razonamiento es correcto......... el primer ministro es el jefe ejecutivo.........Ahora veamos algunos ejemplos que muestran este hecho y la forma que se establece un razonamiento... los Estados Unidos es una democracia.. porque la conclusión es consecuencia de las ....... Se observa que la conclusión es verdadera....... ..... Si los Estados Unidos es una democracia.......................... Sus ciudadanos tienen el derecho de votar.. Inglaterra no es una democracia.... pero el razonamiento no es válido........................ esto se entenderá de manera mejor cuando se analicen la tabla de verdad de dicho razonamiento............... En Inglaterra........ En este caso la conclusión es falsa........... El primer ministro británico no es elegido directamente.. Ahora veamos otro ejemplo: En una democracia al presidente lo elige el pueblo....................................... Por tanto....... porque la conclusión no es consecuencia de sus premisas........

................. la conclusión puede ser verdadera o falsa... Cada uno de estos ejemplos hace resaltar el hecho de que ni el valor de verdad ni el contenido de cualesquiera de las proposiciones que intervienen en el razonamiento determina la validez del argumento.. entonces la conjunción de todas las premisas implica la conclusión............... todos los perros son carnívoros... Si un razonamiento es correcto..... como lo muestra el siguiente ejemplo: Todos los perro tienen dos patas......... si una o mas de las premisas es falsa.. por tanto... la conclusión es verdadera. Todas las premisas pueden ser falsas... Todos los animales de dos patas son carnívoros... la conclusión verdadera y el razonamiento verdadero.................. la conjunción de todas las premisas es falsa......... el razonamiento es verdadero y la conclusión verdadera... Sin embargo.. Ahora veamos las estructuras correctas del razonamiento: . En este caso... ... pero las dos premisas falsas............ Por tanto.premisas.... Si las premisas son verdaderas.

Dicho caso se presenta en la primera columna de la tabla. p es V y q es V. donde observamos que la condicional p --> q es V.> q ~q ______ ~p Analicemos sus tablas de verdad de cada uno de ellos: p V V F F q V F V F p -. Por tanto el .> q p ______ p 2) p -.1) p -.> q V F V V p V V F F q V F V F La tabla de verdad nos dice que para el primer razonamiento existe únicamente un caso en que ambas premisas son verdaderas. y la conclusión verdadera.

> q V F V V ~q F V F V ~p F F V V La tabla de verdad del segundo razonamiento observamos que existe en la última columna. . pues la condicional p --> q es V la premisa ~q es V y la segunda premisa ~p es V. Ahora veamos los siguientes razonamientos que son falacias y observemos sus tablas de verdad. Un razonamiento que no es verdadero se llama falacia.razonamiento es verdadero Analicemos el segundo razonamiento: p V V F F q V F V F p -. luego entonces el segundo razonamiento es válido.

3) p --> q q _______ p 4) p --> q ~p _______ ~q La tabla de verdad para el 3) razonamiento es la siguiente: p V V F F q V F V F p --> q V F V V q V F V F p V V F F .

en la tabla de verdad observamos que en la cuarta columna premisas y conclusión son verdaderas. por lo tanto. pero en la tercera columna. en la tercera columna nuevamente las dos premisas son verdaderas.Si observamos con cuidado la tabla anterior. pero. luego entonces el razonamiento es falso. . las premisas son verdaderas pero la conclusión es falsa. el razonamiento es falso. nos damos cuenta que el razonamiento es válido en la primera columna pues ambas premisas como la conclusion son verdaderas. La tabla de verdad del razonamiento 4) es la siguiente: p V V F F q V F V F p --> q V F V V ~p F F V V ~q F V F V En este caso. pero la conclusión es falsa.

Las tablas de verdad muestran que si ambas premisas son verdaderas. Como otro ejemplo mas. estudiemos la tabla de verdad del siguiente razonamiento: p --> q q --> r ______ p --> r . como en el caso 3) y 4). Además muestran que es posible escoger ambas premisas verdaderas sin que la conclusión sea verdadera.Con todo la anterior se puede decir que un razonamiento depende únicamente de su forma y es independiente del valor de verdad de sus componentes. entonces las conclusones de los razonamientos 1) y 2) son verdaderas.

Con todo lo anterior podemos ahora introducirnos al estudio de . Como en cada uno de estos casos la conclusión es verdadera.La tabla de dicho razonamiento es la siguiente: p V V V V F F F F q V V F F V V F F r p -.> r V F V F V V V V De la tabla se puede observar claramente que las dos premisas son verdaderas en las columnas 1. 5. el razonamiento es correcto.> q V V F V V F F F V V F V V V V F q -. 7 y 8.> r V F V V V F V V p -.

la demostración matemática «««««« Anterior Siguiente »»»»»» .

. Como veremos a continuación.. ¿ qué significa que un teorema es consecuencia lógica de las hipótesis y teoremas ya demostrados?. son precisamente las tautologías las que determinan esto.This site is hosted by Netfirms Web Hosting Demostración matemática. Pero. es decir. se demuestra que una proposición S es verdadera.. El proceso de inferir una proposición t de las proposiciones s1. La demostración de un teorema consiste en mostrar una argumentación convincente de que el teorema en consecuencia lógica de la hipótesis y teoremas ya demostrados..s2. Una demostración matemática consiste en que a partir de una proposición verdadera R y empleando las tautologías anteriores.. las tautologías determinan las reglas de inferencia que se emplean para deducir un teorema a partir de proposiciones conocidas.sn se llama razonamiento y la podemos representar de la siguiente manera: s1 s2 .

consideremos el siguiente razonamiento: p: Luis se levanta a las siete. p1 --> q: Si Luis va a clase. entonces se graduará. Para ver claro esto.... ______________________________________________ q: Luis se graduará La tabla de verdad de este razonamiento es la siguiente: . que lo representamos simbólicamente . Se dice que tal razonamiento es válido si. como las proposiciones s1.s2.s3 .sn se les llama premisas del razonamiento y t conclusión.. t es verdadera.sn son verdaderas. A las proposiciones s1. y solamente sí.. .. . por lo tanto.... p --> p1: Si Luis se levanta a las siete va a clase.. ^ sn) .s2. la proposición (s1 ^ s2 ^ . sn ____ t Con esto se quiere decir que.> t es una tautología..

El razonamiento anterior lo podemos ver de una forma general. en otras palabras. . es decir: p p --> p1 p1 --> p2 . la proposición [p ^ (p --> p1) ^ (p1 --> q)] --> q es una tautología.p p1 q p --> p1 p1 --> q V V V V F F F F V V F F V V F F V F V F V F V F V V F F V V V V V F V V V F V V p ^ (p --> p1) ^ (p1 --> q) V F F F F F F F p ^ (p --> p1) ^ (p1 --> q) --> q V V V V V V V V De la tabla anterior nos indica que el razonamiento es válido porque la proposición formada por la conjunción de las premisas implica la conclusión.

Pero eso también quiere decir que q debe ser verdadera para que la proposición [p ^ (p --> p1) ^ .. ^ (pn --> q) es verdadera.. pn --> q ________ q Al demostrar un teorema de la forma «si p entonces q» (p --> q)..pn --> q... Y resulta que.(pn --> q)] --> q es una tautología. Tan pronto se llega en esta cadena a la proposición pn --> q.. comúnmente se empieza suponiendo que p es dado. cada una de las cuales es una hipótesis dada de antemano o un teorema ya demostrado. Para ver esto recuerda que en la sección de condicional o implicación. porque es una conjunción de proposiciones verdaderas.. de ello se concluye q. p1 -> p2. . p ^ (p --> p1) ^ (p1 --> p2) ^ . p -> p1. Este razonamiento es válido. [p ^ (p --> p1) ^ (p1 --> p2) ^ . es decir. cada una de las proposiciones p.. . Esto es precisamente lo que el razonamiento anterior determina.. vimos que precisamente que una implicación p --> q es falsa solamente cuando p es verdadera y q es falsa.. entonces todo lo que necesitamos para mostrar que p --> q es verdadera es el caso en que p sea verdadera. Así. . . después se construye una cadena de proposiciones de la forma p --> p1. porque siendo un razonamiento válido la proposición formada por la conjunción de las premisas implica la conclusión. puesto que es una hipótesis dada o un teorema demostrado. p1 --> p2. como en la demostración de un teorema de la forma p --> q... ^ (pn --> q)] --> q sea verdadera. y q necesariamente deberá ser verdadera. como se establece la verdad de la implicación p --> q ?. si p es verdadera. pero ¿ cómo se demuestra el teorema.. pn --> q es verdadera.

Entonces. Teorema: «Si a y b son números pares. y después se construye una "cadena" de proposiciones conocidas (hipótesis o definiciones dadas anteriormente. Se supone la hipótesis p. Veamos ahora un ejemplo de una demostración matemática muy sencilla.» En otras palabras: «La suma de dos número pares. el resultado es un número par. pero nos ayudará a entender cada paso de lo ya expuesto hasta el momento.Un razonamiento del tipo anterior se puede emplear para demostrar un teorema de la forma «si p entoces q» (p --> q). o teoremas demostrados y aplicaciones de éstos) que nos conducen de p hasta q. y de lo cual podemos concluir q. p p -- . entonces a + b es un número par.» (p --> q) La estructura de la demostración es la siguiente: Supongamos que a y b son números pares. sabemos por definición de número par que 2 | a y 2 | b (un número par es divisible siempre por 2).

según la definición de número par. entonces 2 | (a + b). (la suma de dos números enteros. por la propiedad distributiva. --> p2 Pero. si a = 2 * m y b = 2 * n. q Como te puedes dar cuenta. esto quiere decir que es par. es entero). p4 Si a + b es divisible por 2. entonces a + b = 2 * m + 2 * n = 2(m + n).> p1 Esto significa que a = 2 * m y b = 2 * n para dos enteros m y n. a + b es un número par. p2 --> p3 Como a + b = 2(m + n) y m + n es un número entero. viene dada por una serie de pasos de p hasta q. la estructura de la demostración. p4 --> q ______ p1 p3 --> Por lo tanto. pasos de los cuales son . según la definición de lo que significa un número entero divide a otro.

.... entonces se remplaza p en el argumento anterior por una proposición apropiada p1 que se conoce y despues se construye una cadena de proposiciones que van de p1 a q: p1 p1 --> p2 p2 --> p3 .. definiciones. Un análisis de la demostración muestra que el razonamiento es válido. So el teorema que se va a demostrar no es de la forma p --> q. Lo estudiado anteriormente describe el método de demostración . Establece el teorema.. q Este razonamiento establece la verdad de p1 --> q Ahora veamos los métodos mas usados para la demostración matemática: 1. si no una proposición q. p2 --> p3.teoremas.. p1 --> p2. porque cada una de sus proposiciones p --> p1... Demostración directa o por implicación..etc.. p3 --> p4 y p4 --> q es un resultado que ha sido enunciado o demostrado anteriormente.

Como su nombre lo indica. entonces a < b. El primer tipo de demostración indirecta se llama demostración por contraposición. Veamos un ejemplo para ilustrar este método de demostración: Teorema. Si a + c < b + c. Demostación indirecta. Sean a. si la proposición p es verdadera y la implicación (p --> q) es verdadera. demuestra su contrarrecíproco (~q) --> (~p). en vez de p a q.directa. Esta implicación es verdadera puesto que es fácil verificar que : (~q) --> (~p) es equivalente a p --> q. b y c números enteros positivos. entonces q es verdadera. Es decir. 2. consiste en que para demostrar un teorema de la forma «si p entonces q». En este caso se construye una cadena de proposiciones que conducen de (~q) a (~p). .

observamos que para cualquiera de los dos casos se cumple que a +c b + c. entonces a + c b + c. que es un número par. Supongamos que x y y no son impares. Demostración. uno de ellos.Demostración. x = 2z. entonces por propiedad tricotómica. es decir. se tiene lo . b. Por tanto. xy = 2yz. si sumamos c a ambos lados de la igualdad se tendría que a + c = b + c. es decir. digamos x. De esta demostración al escribirla en forma explícita. que es lo que queriamos demostrar. si a Supongamos que a b. entonces x y y son impares. si x y y son enteros positivos y xy un número impar. entonces. y en el segundo caso si sumamos de nuevo c a ambos lados de la desigualdad se tendría que. Por tanto. a = b ó b < a. entonces a + c b + c. b + c < a + c. A continuación se va a demostrar el contrarrecíproco o contrapositiva. si a b. es un número par. En el primer caso. Veamos otro ejemplo: Teorema.

siguiente: Dado: Demostrar: Supongamos: Entonces: xy número impar x y y son impares x y y no son impares xy es par p q ~q ~p (~q --> ~p) (p --> q) Observación: Las siguientes tautologías muestran que en el método indirecto de demostración se puede hacer uso de la hipótesis original y la negación de q.> [((p ^ ~q) --> ~p)] (p --> q) < .. que es la demostración por contradicción o reducción al absurdo. ~q.. La tercera muestra que la doble hipótesis p y ~q puede conducir a una contradicción de la forma r ^ ~r.> [((p ^ ~q) --> ~q)] (p --> q) < .> [((p ^ ~q) --> (r ^ ~r)] . (p --> q) < .. es decir.

El segundo método de demostración indirecta de un teorema t consiste en establecer la verdad de t, estableciendo la falsedad de su negación de la siguiente manera: se muestra que la negación de t, ~t, lleva a una contradicción de la forma r ^ ~r. Este método se llama demostración por contradicción o por reducción al absurdo. Si se muestra que ~t implica tal contradicción, es decir, si se establece la verdad de la proposición (~t) --> (r ^ ~r) para alguna proposición r, entonces en virtud de que r ^ ~r es falsa, se concluye que ~t también es falsa (porque los únicos casos en que la implicación es verdadera son V --> V, F --> V, F --> F),y por tanto, t es verdadera. El siguiente ejemplo ilustrará este método:

Teorema. Si S es el conjunto de todos los números primos, entonces S es un conjunto infinito. ( p --> q ).

Demostración. Supongamos que no; es decir, que S, es el conjunto de todos los números primos y que S no es infinito. ( p ^ ~q ), que es la negación de (p --> q). Entonces S es un conjunto finito, digamos S = {p1,p2,...,pk}. Como S es finito, el producto p1,p2,....pk de todos los primos en S se puede hacer, y además formar el número b = (p1.p2....pk) + 1. Entonces existe un número primo p' tal que
p' divide a b. (r) Como p' es primo y S contiene todos los números primos, se debe tener que p'E S. Sin embargo, ningún primo en S divide a b; por tanto, p' no divide a b. (~r) Así hemos llegado a una contradicción (r ^ ~r). Puesto que la

hipótesis de que el conjunto S no es infinito conduce a la contradicción. (p ^ ~q) --> (r ^ ~r) que es falsa. Por tanto, si S es el conjunto de los números primos, entonces S es un conjunto infinito.

Nota Cualquier proposición t es equivalente a la proposición (~t) --> (r ^ ~r), independientemente de lo que pueda ser r. Porque si t es V, ~t es F, y como r ^ ~r es F, (~t) --> (r ^ ~r) es V; y si t es falsa, ~t es V, y así (~t) -> (r ^ ~r) es F; entonces t y (~t) --> (r ^ ~r) tiene los mismos valores de verdad y, por tanto son equivalentes. Esto quiere decir que para probar un teorema t por reducción al absurdo se establece la verdad de la proposición (~t) --> (r ^ ~r), para alguna proposición r, y como son equivalentes, queda demostrado el teorema t.

Todo número natural primo mayor que 2 es un número impar. Demostración. Este teorema lo podemos expresar en forma de cuantificadores, es decir
s: x E N, p(x) --> q(x) donde p(x) es la frase abierta «x es un número primo mayor que 2» y q(x) la frase abierta «x es un número impar». Observamos que su negación es: (~s): x E N, p(x) ^ ~q(x) Supongamos que existe un número natural x que es primo y mayor que 2, y que no es impar. (~s). Vamos a ver que esta hipótesis conduce a una contradicción:

Como x no es impar, x debe de ser par, y, por tanto, 2 | x. ( r ). Pero como x es primo, sus únicos divisores son 1 y x; y como x es mayor que dos, 2 no es un divisor; es decir; 2 x ( ~r ). Esto nos condujo a la contradicción ~s --> r ^ ~r y por tanto, es falsa. Por lo que concluimos que: Todo número natural primo mayor que 2 es un número impar.

Los dos ejemplos anteriores muestran que para demostrar que una proposición p es verdadera en una teoría T, se construye una teoría T', obtenida uniendo a T el axioma «~p». Se halla en T' una proposición contradictoria. Si en una teoría una proposición es contradictoria, entonces toda proposición de la teoría es contradictoria, ~p es contradictoria. Por la ley del tercio excluído la teoría no se acepta y, por tanto, p es verdadera en T.

Demostración por disyunción de casos

Si las implicaciones p --> q y ~p --> q son verdaderas, entonces q es verdadera por la tautología
[(p --> q) ^ (~p --> q)] --> q En efecto, p v ~p es verdadera por la ley del tercio excluído, y por la tautología [(p v q) ^ (p --> r) ^ (q --> r)] --> r; q es verdadera.

Veamos un ejemplo para ilustrar este método: Teorema. Si x es un número racional y y es un número irracional, entonces x + y es irracional. (p --> q).

y es racional. es decir. lógicamente. q: y es irracional. . pues 12 es divisible por 6 y 4. es decir. Como cb . se deduce de la definición de números racionales que. Como x y x + y son racionales. supongamos que ~[(p ^ q) --> r] o bien. siendo p: x es racional. Es decir. (x + y) . r: x + y es irracional. suponemos que x es racional. Vamos hacer la demostración por contradicción.b. Sea p: «n es un entero divisible por 6 y por 4» Sea q: «n es divisible por 24» ¿Es verdad que p --> q? No. por ejemplo: 12 hace que p y ~q sean simultáneamente verdaderas. porque. (p ^ q) ^ ~r.Demostración. Así pues hemos encontrado la contradicción q ^ ~q. Por consiguiente.da y db son números enteros. Entonces (x + y) .c y d números enteros.x es un número racional. Entonces p q.da)/db. y es irracional y x + y no es racional.a/b = (cb . Pero (x + y) . pero no por 24. hemos demostrado que (p ^ q) --> r es verdadero. y es racional. tienen la forma x = a/b y x + y = c/d (a. Es decir.x = c/d . La proposición es de la forma (p ^ q) --> r.x = y. ~q: es falso que y sea irracional. un ejemplo en el cual p y ~q son simultáneamente verdaderas. por definición de número racional). Demostración por contraejemplo Para demostrar la negación de una implicación se debe dar un contraejemplo.

una proposición en la cual intervenga n es verdadera. Supongamos que p(k) es verdadera: 2k <= 2k + 1. la proposición de inducción es la siguiente: p(1) ^ k[p(k) --> p(k + 1)] --> np(n) Si se puede demostrar que el antecedente p(1) ^ k[p(k) --> p(k + np(n) es verdadera. 2. por tanto: 21 <= 21 + 1 2. entonces se deduce que Hay dos pasos en la demostración por inducción: 1. 1)] es verdadera. Paso fundamental: Probar que p(1) es verdadera. entonces es verdera para el siguiente de n (n + 1) Simbólicamente. Paso inductivo: Probar que k[p(k) --> p(k + 1)]. Veamos el siguiente ejemplo: Demostración: 1.(hipótesis) Demostrar: p(k + 1): 2k + 1 <= 2k + 2. Paso inductivo: Probar que k[p(k) --> p(k + 1)].Demostración por recurrencia o inducción El razonamiento por recurrencia para demostrar que. cualquiera que sea el entero natural n. Paso fundamental: Probar que p(1) es verdadera: 21<= 21 + 1donde. Para eso es suficiente establecer que la afirmación es verdadera para el entero 1 y que si es verdadera para n. 2n <= 2n + 1 . 21 = 2 y 21 + 1 = 4. Mostrar que n.

2k + 1 <= 2k + 2.A nuestra hipótesis la podemos multiplicar 2 en ambos lados.2 <= 2k + 1. es decir. es decir 2k. p(k + 1) es verdadera. o bien. Próximamente agregaré una lista de ejercicios de demostración Matemática.2. «««««« Anterior .

You're Reading a Free Preview

Descarga
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->