Semana01[1/1]

Lgica

5 de marzo de 2007

Lgica

Lgica

Semana01[2/1]

Introduccin

La lgica le proporciona a las matemticas un lenguaje claro y un mtodo preciso para demostrar teoremas a partir de axiomas. Por ejemplo: axiomas de Euclides, deniciones, nociones primarias de geometra clsica + lgica = teoremas de la geometra euclidiana Un ejemplo de nocin primaria es la de punto. Un ejemplo de axioma es el que dice que por un punto ubicado fuera de una recta L pasa una y slo una recta paralela a L. Sin la lgica los axiomas seran un montn de verdades aceptadas, pero nada ms. La lgica, sin embargo, les da sentido y permite concluir nueva verdades (teoremas) que antes no conocamos. Un ejemplo de teorema: la suma de los ngulos interiores de cualquier tringulo siempre es de 180 . Al ser la lgica el punto de partida de las matemticas, en ella se deben introducir nociones primarias tales como proposicin, valor de verdad, conectivo lgico.

Lgica

Lgica

Semana01[3/1]

Introduccin

La lgica le proporciona a las matemticas un lenguaje claro y un mtodo preciso para demostrar teoremas a partir de axiomas. Por ejemplo: axiomas de Euclides, deniciones, nociones primarias de geometra clsica + lgica = teoremas de la geometra euclidiana Un ejemplo de nocin primaria es la de punto. Un ejemplo de axioma es el que dice que por un punto ubicado fuera de una recta L pasa una y slo una recta paralela a L. Sin la lgica los axiomas seran un montn de verdades aceptadas, pero nada ms. La lgica, sin embargo, les da sentido y permite concluir nueva verdades (teoremas) que antes no conocamos. Un ejemplo de teorema: la suma de los ngulos interiores de cualquier tringulo siempre es de 180 . Al ser la lgica el punto de partida de las matemticas, en ella se deben introducir nociones primarias tales como proposicin, valor de verdad, conectivo lgico.

Lgica

Lgica

Semana01[4/1]

Introduccin

La lgica le proporciona a las matemticas un lenguaje claro y un mtodo preciso para demostrar teoremas a partir de axiomas. Por ejemplo: axiomas de Euclides, deniciones, nociones primarias de geometra clsica + lgica = teoremas de la geometra euclidiana Un ejemplo de nocin primaria es la de punto. Un ejemplo de axioma es el que dice que por un punto ubicado fuera de una recta L pasa una y slo una recta paralela a L. Sin la lgica los axiomas seran un montn de verdades aceptadas, pero nada ms. La lgica, sin embargo, les da sentido y permite concluir nueva verdades (teoremas) que antes no conocamos. Un ejemplo de teorema: la suma de los ngulos interiores de cualquier tringulo siempre es de 180 . Al ser la lgica el punto de partida de las matemticas, en ella se deben introducir nociones primarias tales como proposicin, valor de verdad, conectivo lgico.

Lgica

Lgica

Semana01[5/1]

Introduccin

La lgica le proporciona a las matemticas un lenguaje claro y un mtodo preciso para demostrar teoremas a partir de axiomas. Por ejemplo: axiomas de Euclides, deniciones, nociones primarias de geometra clsica + lgica = teoremas de la geometra euclidiana Un ejemplo de nocin primaria es la de punto. Un ejemplo de axioma es el que dice que por un punto ubicado fuera de una recta L pasa una y slo una recta paralela a L. Sin la lgica los axiomas seran un montn de verdades aceptadas, pero nada ms. La lgica, sin embargo, les da sentido y permite concluir nueva verdades (teoremas) que antes no conocamos. Un ejemplo de teorema: la suma de los ngulos interiores de cualquier tringulo siempre es de 180 . Al ser la lgica el punto de partida de las matemticas, en ella se deben introducir nociones primarias tales como proposicin, valor de verdad, conectivo lgico.

Lgica

Lgica

Semana01[6/1]

Proposiciones y valor de verdad

Proposicin lgica
Una proposicin debe interpretarse como un enunciado que siempre toma uno de los valores de verdad posibles: verdadero (V ) o falso (F ). Por ejemplo, en el contexto de la aritmtica, 2+1=5 corresponde efectivamente a una proposicin. Ms an, su valor de verdad es F . Tpicamente notaremos a las proposiciones con letras minsculas: p q r , etc.

Algunos ejemplos: Estoy estudiando ingeniera.

0.

Est lloviendo en Valdivia.

Lgica

Lgica

Semana01[7/1]

Proposiciones y valor de verdad

Proposicin lgica
Una proposicin debe interpretarse como un enunciado que siempre toma uno de los valores de verdad posibles: verdadero (V ) o falso (F ). Por ejemplo, en el contexto de la aritmtica, 2+1=5 corresponde efectivamente a una proposicin. Ms an, su valor de verdad es F . Tpicamente notaremos a las proposiciones con letras minsculas: p q r , etc.

Algunos ejemplos: Estoy estudiando ingeniera.

0.

Est lloviendo en Valdivia.

Lgica

Lgica

Semana01[8/1]

Proposiciones y valor de verdad

Proposicin lgica
Una proposicin debe interpretarse como un enunciado que siempre toma uno de los valores de verdad posibles: verdadero (V ) o falso (F ). Por ejemplo, en el contexto de la aritmtica, 2+1=5 corresponde efectivamente a una proposicin. Ms an, su valor de verdad es F . Tpicamente notaremos a las proposiciones con letras minsculas: p q r , etc.

Algunos ejemplos: Estoy estudiando ingeniera.

0.

Est lloviendo en Valdivia.

Lgica

Lgica

Semana01[9/1]

Proposiciones y valor de verdad

Proposicin lgica
Una proposicin debe interpretarse como un enunciado que siempre toma uno de los valores de verdad posibles: verdadero (V ) o falso (F ). Por ejemplo, en el contexto de la aritmtica, 2+1=5 corresponde efectivamente a una proposicin. Ms an, su valor de verdad es F . Tpicamente notaremos a las proposiciones con letras minsculas: p q r , etc.

Algunos ejemplos: Estoy estudiando ingeniera.

0.

Est lloviendo en Valdivia.

Lgica

Lgica

Semana01[10/1]

Conectivos lgicos
Los conectivos lgicos sirven para construir nuevas proposiciones a partir de proposiciones ya conocidas. El valor de verdad de la nueva proposicin depender del valor de verdad de las proposiciones que la forman. Esta dependencia se explicita a travs de una tabla de verdad.

Negacin
La proposicin p se lee no p y es aquella cuyo valor de verdad es siempre distinto al de p. Por ejemplo, la negacin de mi hermano ya cumpli quince aos es mi hermano an no cumple quince aos. Esto se explicita a travs de la siguiente tabla de verdad. p V F p F V

O lgico o disyuncin.
La proposicin p q se lee p o q. Decimos que p q es verdad, o que se tiene p q, cuando al menos una de las dos proposiciones, o bien p o bien q, es verdadera. Por ejemplo, la proposicin maana llover o maana no llover es verdadera. En otras palabras, tal como se aprecia en la siguiente tabla de verdad, si alguien arma que se tiene p q lo que nos est diciendo es que nunca son simultneamente falsas.

p V V F F

q V F V F

V V V F

Lgica

Lgica

Semana01[11/1]

Conectivos lgicos
Los conectivos lgicos sirven para construir nuevas proposiciones a partir de proposiciones ya conocidas. El valor de verdad de la nueva proposicin depender del valor de verdad de las proposiciones que la forman. Esta dependencia se explicita a travs de una tabla de verdad.

Negacin
La proposicin p se lee no p y es aquella cuyo valor de verdad es siempre distinto al de p. Por ejemplo, la negacin de mi hermano ya cumpli quince aos es mi hermano an no cumple quince aos. Esto se explicita a travs de la siguiente tabla de verdad. p V F p F V

O lgico o disyuncin.
La proposicin p q se lee p o q. Decimos que p q es verdad, o que se tiene p q, cuando al menos una de las dos proposiciones, o bien p o bien q, es verdadera. Por ejemplo, la proposicin maana llover o maana no llover es verdadera. En otras palabras, tal como se aprecia en la siguiente tabla de verdad, si alguien arma que se tiene p q lo que nos est diciendo es que nunca son simultneamente falsas.

p V V F F

q V F V F

V V V F

Lgica

Lgica

Semana01[12/1]

Conectivos lgicos
Los conectivos lgicos sirven para construir nuevas proposiciones a partir de proposiciones ya conocidas. El valor de verdad de la nueva proposicin depender del valor de verdad de las proposiciones que la forman. Esta dependencia se explicita a travs de una tabla de verdad.

Negacin
La proposicin p se lee no p y es aquella cuyo valor de verdad es siempre distinto al de p. Por ejemplo, la negacin de mi hermano ya cumpli quince aos es mi hermano an no cumple quince aos. Esto se explicita a travs de la siguiente tabla de verdad. p V F p F V

O lgico o disyuncin.
La proposicin p q se lee p o q. Decimos que p q es verdad, o que se tiene p q, cuando al menos una de las dos proposiciones, o bien p o bien q, es verdadera. Por ejemplo, la proposicin maana llover o maana no llover es verdadera. En otras palabras, tal como se aprecia en la siguiente tabla de verdad, si alguien arma que se tiene p q lo que nos est diciendo es que nunca son simultneamente falsas.

p V V F F

q V F V F

V V V F

Lgica

Lgica

Semana01[13/1]

Conectivos lgicos
Y lgico o conjuncin.
La proposicin p q se lee p y q. Tal como se aprecia en la siguiente tabla de verdad, si alguien arma que se tiene p q, lo que nos est diciendo es que ambas proposiciones son verdaderas.

p V V F F

q V F V F

V F F F

Implicancia.
Todos estaremos de acuerdo en considerar verdadera la proposicin si el seor K est en California entonces el seor K est en Estados Unidos. Por qu? Porque a uno no le importa dnde est el seor K: podra estar en Texas o en China. Lo nico importante es que, si efectivamente est en Californa, entonces podemos concluir, con esa sola informacin, que est en Estados Unidos. La proposicin p q se lee p implica q o si p entonces q. Para estudiar su valor de verdad nos debemos concentrar en el caso de que la hiptesis p sea verdadera. Ah tenemos que determinar si basta con esa informacin para concluir que q es verdadera. En resumen: si alguien arma que se tiene p q, debemos concluir que si p es verdad entonces necesariamente q ser verdad. Todo esto se explicita a travs de la siguiente tabla.

p V V F F

q V F V F

q V F V V

Lgica

Lgica

Semana01[14/1]

Conectivos lgicos
Y lgico o conjuncin.
La proposicin p q se lee p y q. Tal como se aprecia en la siguiente tabla de verdad, si alguien arma que se tiene p q, lo que nos est diciendo es que ambas proposiciones son verdaderas.

p V V F F

q V F V F

V F F F

Implicancia.
Todos estaremos de acuerdo en considerar verdadera la proposicin si el seor K est en California entonces el seor K est en Estados Unidos. Por qu? Porque a uno no le importa dnde est el seor K: podra estar en Texas o en China. Lo nico importante es que, si efectivamente est en Californa, entonces podemos concluir, con esa sola informacin, que est en Estados Unidos. La proposicin p q se lee p implica q o si p entonces q. Para estudiar su valor de verdad nos debemos concentrar en el caso de que la hiptesis p sea verdadera. Ah tenemos que determinar si basta con esa informacin para concluir que q es verdadera. En resumen: si alguien arma que se tiene p q, debemos concluir que si p es verdad entonces necesariamente q ser verdad. Todo esto se explicita a travs de la siguiente tabla.

p V V F F

q V F V F

q V F V V

Lgica

Lgica

Semana01[15/1]

Conectivos lgicos
Y lgico o conjuncin.
La proposicin p q se lee p y q. Tal como se aprecia en la siguiente tabla de verdad, si alguien arma que se tiene p q, lo que nos est diciendo es que ambas proposiciones son verdaderas.

p V V F F

q V F V F

V F F F

Implicancia.
Todos estaremos de acuerdo en considerar verdadera la proposicin si el seor K est en California entonces el seor K est en Estados Unidos. Por qu? Porque a uno no le importa dnde est el seor K: podra estar en Texas o en China. Lo nico importante es que, si efectivamente est en Californa, entonces podemos concluir, con esa sola informacin, que est en Estados Unidos. La proposicin p q se lee p implica q o si p entonces q. Para estudiar su valor de verdad nos debemos concentrar en el caso de que la hiptesis p sea verdadera. Ah tenemos que determinar si basta con esa informacin para concluir que q es verdadera. En resumen: si alguien arma que se tiene p q, debemos concluir que si p es verdad entonces necesariamente q ser verdad. Todo esto se explicita a travs de la siguiente tabla.

p V V F F

q V F V F

q V F V V

Lgica

Lgica

Semana01[16/1]

Conectivos lgicos
Y lgico o conjuncin.
La proposicin p q se lee p y q. Tal como se aprecia en la siguiente tabla de verdad, si alguien arma que se tiene p q, lo que nos est diciendo es que ambas proposiciones son verdaderas.

p V V F F

q V F V F

V F F F

Implicancia.
Todos estaremos de acuerdo en considerar verdadera la proposicin si el seor K est en California entonces el seor K est en Estados Unidos. Por qu? Porque a uno no le importa dnde est el seor K: podra estar en Texas o en China. Lo nico importante es que, si efectivamente est en Californa, entonces podemos concluir, con esa sola informacin, que est en Estados Unidos. La proposicin p q se lee p implica q o si p entonces q. Para estudiar su valor de verdad nos debemos concentrar en el caso de que la hiptesis p sea verdadera. Ah tenemos que determinar si basta con esa informacin para concluir que q es verdadera. En resumen: si alguien arma que se tiene p q, debemos concluir que si p es verdad entonces necesariamente q ser verdad. Todo esto se explicita a travs de la siguiente tabla.

p V V F F

q V F V F

q V F V V

Lgica

Lgica

Semana01[17/1]

Conectivos lgicos
Y lgico o conjuncin.
La proposicin p q se lee p y q. Tal como se aprecia en la siguiente tabla de verdad, si alguien arma que se tiene p q, lo que nos est diciendo es que ambas proposiciones son verdaderas.

p V V F F

q V F V F

V F F F

Implicancia.
Todos estaremos de acuerdo en considerar verdadera la proposicin si el seor K est en California entonces el seor K est en Estados Unidos. Por qu? Porque a uno no le importa dnde est el seor K: podra estar en Texas o en China. Lo nico importante es que, si efectivamente est en Californa, entonces podemos concluir, con esa sola informacin, que est en Estados Unidos. La proposicin p q se lee p implica q o si p entonces q. Para estudiar su valor de verdad nos debemos concentrar en el caso de que la hiptesis p sea verdadera. Ah tenemos que determinar si basta con esa informacin para concluir que q es verdadera. En resumen: si alguien arma que se tiene p q, debemos concluir que si p es verdad entonces necesariamente q ser verdad. Todo esto se explicita a travs de la siguiente tabla.

p V V F F

q V F V F

q V F V V

Lgica

Lgica

Semana01[18/1]

Conectivos lgicos

Equivalencia
Decimos que la proposicin p es equivalente con la proposicin q (o que p si y slo si q), y escribimos p q, cuando basta con conocer el valor de verdad de una para saber el valor de verdad de la otra ya que ste siempre es el mismo. Por ejemplo el paralelgramo dibujado en la pared tiene todos sus ngulos iguales es equivalente con la proposicin las diagonales del paralelgramo dibujado en la pared miden lo mismo. O bien ambas son verdaderas o bien ambas son falsas. V F F V

p V V F F

q V F V F

Lgica

Lgica

Semana01[19/1]

Conectivos lgicos

Equivalencia
Decimos que la proposicin p es equivalente con la proposicin q (o que p si y slo si q), y escribimos p q, cuando basta con conocer el valor de verdad de una para saber el valor de verdad de la otra ya que ste siempre es el mismo. Por ejemplo el paralelgramo dibujado en la pared tiene todos sus ngulos iguales es equivalente con la proposicin las diagonales del paralelgramo dibujado en la pared miden lo mismo. O bien ambas son verdaderas o bien ambas son falsas. V F F V

p V V F F

q V F V F

Lgica

Lgica

Semana01[20/1]

Conectivos lgicos

Equivalencia
Decimos que la proposicin p es equivalente con la proposicin q (o que p si y slo si q), y escribimos p q, cuando basta con conocer el valor de verdad de una para saber el valor de verdad de la otra ya que ste siempre es el mismo. Por ejemplo el paralelgramo dibujado en la pared tiene todos sus ngulos iguales es equivalente con la proposicin las diagonales del paralelgramo dibujado en la pared miden lo mismo. O bien ambas son verdaderas o bien ambas son falsas. V F F V

p V V F F

q V F V F

Lgica

Lgica

Semana01[21/1]

Tautologas
Tautologa
Una tautologa es una proposicin que, sin importar el valor de verdad de las proposiciones que las constituyen, es siempre verdadera. Tres ejemplos bastante razonables:

Ejemplo
p

Demostraremos, desarrollando una tabla de verdad, que la primera proposicin es tautologa.

p V F

p F V

V V

Todas las tautologas son equivalentes entre s y se pueden reemplazar por la proposicin V . Por ejemplo p p V . Esto es anlogo a lo que hacemos cuando reemplazamos el trmino x x por el smbolo 0.

Contradiccin
As como existen las tautologas existen las contradicciones. Son proposiciones siempre falsas.

Por ejemplo, p

p. Son todas equivalentes a la proposicin F .

Lgica

p q

p p q q p

Lgica

Semana01[22/1]

Tautologas
Tautologa
Una tautologa es una proposicin que, sin importar el valor de verdad de las proposiciones que las constituyen, es siempre verdadera. Tres ejemplos bastante razonables:

Ejemplo
p

Demostraremos, desarrollando una tabla de verdad, que la primera proposicin es tautologa.

p V F

p F V

V V

Todas las tautologas son equivalentes entre s y se pueden reemplazar por la proposicin V . Por ejemplo p p V . Esto es anlogo a lo que hacemos cuando reemplazamos el trmino x x por el smbolo 0.

Contradiccin
As como existen las tautologas existen las contradicciones. Son proposiciones siempre falsas.

Por ejemplo, p

p. Son todas equivalentes a la proposicin F .

Lgica

p q

p p q q p

Lgica

Semana01[23/1]

Tautologas
Tautologa
Una tautologa es una proposicin que, sin importar el valor de verdad de las proposiciones que las constituyen, es siempre verdadera. Tres ejemplos bastante razonables:

Ejemplo
p

Demostraremos, desarrollando una tabla de verdad, que la primera proposicin es tautologa.

p V F

p F V

V V

Todas las tautologas son equivalentes entre s y se pueden reemplazar por la proposicin V . Por ejemplo p p V . Esto es anlogo a lo que hacemos cuando reemplazamos el trmino x x por el smbolo 0.

Contradiccin
As como existen las tautologas existen las contradicciones. Son proposiciones siempre falsas.

Por ejemplo, p

p. Son todas equivalentes a la proposicin F .

Lgica

p q

p p q q p

Lgica

Semana01[24/1]

Tautologas
Tautologa
Una tautologa es una proposicin que, sin importar el valor de verdad de las proposiciones que las constituyen, es siempre verdadera. Tres ejemplos bastante razonables:

Ejemplo
p

Demostraremos, desarrollando una tabla de verdad, que la primera proposicin es tautologa.

p V F

p F V

V V

Todas las tautologas son equivalentes entre s y se pueden reemplazar por la proposicin V . Por ejemplo p p V . Esto es anlogo a lo que hacemos cuando reemplazamos el trmino x x por el smbolo 0.

Contradiccin
As como existen las tautologas existen las contradicciones. Son proposiciones siempre falsas.

Por ejemplo, p

p. Son todas equivalentes a la proposicin F .

Lgica

p q

p p q q p

Lgica

Semana01[25/1]

Tautologas
Tautologa
Una tautologa es una proposicin que, sin importar el valor de verdad de las proposiciones que las constituyen, es siempre verdadera. Tres ejemplos bastante razonables:

Ejemplo
p

Demostraremos, desarrollando una tabla de verdad, que la primera proposicin es tautologa.

p V F

p F V

V V

Todas las tautologas son equivalentes entre s y se pueden reemplazar por la proposicin V . Por ejemplo p p V . Esto es anlogo a lo que hacemos cuando reemplazamos el trmino x x por el smbolo 0.

Contradiccin
As como existen las tautologas existen las contradicciones. Son proposiciones siempre falsas.

Por ejemplo, p

p. Son todas equivalentes a la proposicin F .

Lgica

p q

p p q q p

Lgica

Semana01[26/1]

Tautologas
Tautologa
Una tautologa es una proposicin que, sin importar el valor de verdad de las proposiciones que las constituyen, es siempre verdadera. Tres ejemplos bastante razonables:

Ejemplo
p

Demostraremos, desarrollando una tabla de verdad, que la primera proposicin es tautologa.

p V F

p F V

V V

Todas las tautologas son equivalentes entre s y se pueden reemplazar por la proposicin V . Por ejemplo p p V . Esto es anlogo a lo que hacemos cuando reemplazamos el trmino x x por el smbolo 0.

Contradiccin
As como existen las tautologas existen las contradicciones. Son proposiciones siempre falsas.

Por ejemplo, p

p. Son todas equivalentes a la proposicin F .

Lgica

p q

p p q q p

Lgica

Semana01[27/1]

Tautologas
Tautologa
Una tautologa es una proposicin que, sin importar el valor de verdad de las proposiciones que las constituyen, es siempre verdadera. Tres ejemplos bastante razonables:

Ejemplo
p

Demostraremos, desarrollando una tabla de verdad, que la primera proposicin es tautologa.

p V F

p F V

V V

Todas las tautologas son equivalentes entre s y se pueden reemplazar por la proposicin V . Por ejemplo p p V . Esto es anlogo a lo que hacemos cuando reemplazamos el trmino x x por el smbolo 0.

Contradiccin
As como existen las tautologas existen las contradicciones. Son proposiciones siempre falsas.

Por ejemplo, p

p. Son todas equivalentes a la proposicin F .

Lgica

p q

p p q q p

Lgica

Semana01[28/1]

Tautologas
Vamos a listar una serie de tautologas de la forma A B. El uso que se les dar es el siguiente. Cada vez que en una cierta proposicin aparezca la expresin A, puede reemplazarse por B. Y viceversa. El lector debe demostrar la condicin de tautologa de algunas de ellas usando tablas de verdad, como ejercicio.

Tautologas importantes

1 2 3

Asociatividad.
6.1. p 6.2. p q q q q r r

Distributividad.

   

   

 

7.1. p 7.2. p 7.3. q 7.4. q

   

5.1. p 5.2. p

q q

q q

r r

r r p p

Doble negacin. p Conmutatividad.

3.1. p 3.2. p

q q

p p

q q

p p

p p p p q q

q q

r r

q q p p

p p r r

r r p p

Lgica

p p F p V p p F p p V p V V p F Caracterizacin de la implicancia. p q Leyes de De Morgan.

F p p q

Lgica

Semana01[29/1]

Tautologas
Vamos a listar una serie de tautologas de la forma A B. El uso que se les dar es el siguiente. Cada vez que en una cierta proposicin aparezca la expresin A, puede reemplazarse por B. Y viceversa. El lector debe demostrar la condicin de tautologa de algunas de ellas usando tablas de verdad, como ejercicio.

Tautologas importantes

1 2 3

Asociatividad.
6.1. p 6.2. p q q q q r r

Distributividad.

   

   

 

7.1. p 7.2. p 7.3. q 7.4. q

   

5.1. p 5.2. p

q q

q q

r r

r r p p

Doble negacin. p Conmutatividad.

3.1. p 3.2. p

q q

p p

q q

p p

p p p p q q

q q

r r

q q p p

p p r r

r r p p

Lgica

p p F p V p p F p p V p V V p F Caracterizacin de la implicancia. p q Leyes de De Morgan.

F p p q

Lgica

Semana01[30/1]

Tautologas: Cuatro muy importantes

Estas cuatro tautologas se prueban usando tablas de verdad. Son particularmente tiles para demostrar teoremas. Cada una de ellas da lugar a una tcnica de demostracin: equivalencia dividida en dos partes, transitividad, contrarrecproca, reduccin al absurdo. En las partes que siguen ilustraremos el uso de estas tcnicas. Vers este smbolo cada vez que lo hagamos.

Tautologas
2 3 4

Reduccin al absurdo. p

Contrarrecproca. p

Transitividad.

Lgica

Equivalencia dividida en dos partes. p

Lgica

Semana01[31/1]

Tautologas: Cuatro muy importantes

Estas cuatro tautologas se prueban usando tablas de verdad. Son particularmente tiles para demostrar teoremas. Cada una de ellas da lugar a una tcnica de demostracin: equivalencia dividida en dos partes, transitividad, contrarrecproca, reduccin al absurdo. En las partes que siguen ilustraremos el uso de estas tcnicas. Vers este smbolo cada vez que lo hagamos.

Tautologas
2 3 4

Reduccin al absurdo. p

Contrarrecproca. p

Transitividad.

Lgica

Equivalencia dividida en dos partes. p

Lgica

Semana01[32/1]

Tautologas: Cuatro muy importantes

Estas cuatro tautologas se prueban usando tablas de verdad. Son particularmente tiles para demostrar teoremas. Cada una de ellas da lugar a una tcnica de demostracin: equivalencia dividida en dos partes, transitividad, contrarrecproca, reduccin al absurdo. En las partes que siguen ilustraremos el uso de estas tcnicas. Vers este smbolo cada vez que lo hagamos.

Tautologas
2 3 4

Reduccin al absurdo. p

Contrarrecproca. p

Transitividad.

Lgica

Equivalencia dividida en dos partes. p

Lgica

Semana01[33/1]

Tautologas: Vericacin simblica y exploratoria

Cuando queremos vericar de manera simblica que cierta proposicin es tautologa evitaremos usar tablas de verdad y slo nos permitiremos usar (como conocidas) las tautologas bsicas que aparecen en las secciones anteriores. Demostremos de manera simblica entonces que:

p En efecto: p

En las demostraciones exploratorias se acepta explorar la tabla de verdad deshechando los casos "fciles". Demostremos, exploratoriamente, que la siguiente proposicin es tautologa.

Vamos a asumir que tanto (p q) como (r q) son verdaderas. Es decir, nos ocupamos slo del caso en que la hiptesis es verdadera. Lo que debemos hacer es concluir que (p r ) es verdadera. Caso 1. p es falsa. Este caso es fcil: obviamente se tiene que (p r ) es verdadera. Caso 2. p es verdadera. Como asumimos que (p q) es verdadera, se tiene que tener q falsa. Como (r q) se asume verdadera y como q es falsa, r tiene que ser falsa. Por lo tanto, como r es falsa, se tiene que (p r ) es verdadera.

Lgica

p q p q p q p q p q p q

q p q p q p q q F F p q

p p p q p

Lgica

Semana01[34/1]

Tautologas: Vericacin simblica y exploratoria

Cuando queremos vericar de manera simblica que cierta proposicin es tautologa evitaremos usar tablas de verdad y slo nos permitiremos usar (como conocidas) las tautologas bsicas que aparecen en las secciones anteriores. Demostremos de manera simblica entonces que:

p En efecto: p

En las demostraciones exploratorias se acepta explorar la tabla de verdad deshechando los casos "fciles". Demostremos, exploratoriamente, que la siguiente proposicin es tautologa.

Vamos a asumir que tanto (p q) como (r q) son verdaderas. Es decir, nos ocupamos slo del caso en que la hiptesis es verdadera. Lo que debemos hacer es concluir que (p r ) es verdadera. Caso 1. p es falsa. Este caso es fcil: obviamente se tiene que (p r ) es verdadera. Caso 2. p es verdadera. Como asumimos que (p q) es verdadera, se tiene que tener q falsa. Como (r q) se asume verdadera y como q es falsa, r tiene que ser falsa. Por lo tanto, como r es falsa, se tiene que (p r ) es verdadera.

Lgica

p q p q p q p q p q p q

q p q p q p q q F F p q

p p p q p

Lgica

Semana01[35/1]

Tautologas: Vericacin simblica y exploratoria

Cuando queremos vericar de manera simblica que cierta proposicin es tautologa evitaremos usar tablas de verdad y slo nos permitiremos usar (como conocidas) las tautologas bsicas que aparecen en las secciones anteriores. Demostremos de manera simblica entonces que:

p En efecto: p

En las demostraciones exploratorias se acepta explorar la tabla de verdad deshechando los casos "fciles". Demostremos, exploratoriamente, que la siguiente proposicin es tautologa.

Vamos a asumir que tanto (p q) como (r q) son verdaderas. Es decir, nos ocupamos slo del caso en que la hiptesis es verdadera. Lo que debemos hacer es concluir que (p r ) es verdadera. Caso 1. p es falsa. Este caso es fcil: obviamente se tiene que (p r ) es verdadera. Caso 2. p es verdadera. Como asumimos que (p q) es verdadera, se tiene que tener q falsa. Como (r q) se asume verdadera y como q es falsa, r tiene que ser falsa. Por lo tanto, como r es falsa, se tiene que (p r ) es verdadera.

Lgica

p q p q p q p q p q p q

q p q p q p q q F F p q

p p p q p

Lgica

Semana01[36/1]

Tautologas: Vericacin simblica y exploratoria

Cuando queremos vericar de manera simblica que cierta proposicin es tautologa evitaremos usar tablas de verdad y slo nos permitiremos usar (como conocidas) las tautologas bsicas que aparecen en las secciones anteriores. Demostremos de manera simblica entonces que:

p En efecto: p

En las demostraciones exploratorias se acepta explorar la tabla de verdad deshechando los casos "fciles". Demostremos, exploratoriamente, que la siguiente proposicin es tautologa.

Vamos a asumir que tanto (p q) como (r q) son verdaderas. Es decir, nos ocupamos slo del caso en que la hiptesis es verdadera. Lo que debemos hacer es concluir que (p r ) es verdadera. Caso 1. p es falsa. Este caso es fcil: obviamente se tiene que (p r ) es verdadera. Caso 2. p es verdadera. Como asumimos que (p q) es verdadera, se tiene que tener q falsa. Como (r q) se asume verdadera y como q es falsa, r tiene que ser falsa. Por lo tanto, como r es falsa, se tiene que (p r ) es verdadera.

Lgica

p q p q p q p q p q p q

q p q p q p q q F F p q

p p p q p

Lgica

Semana01[37/1]

Tautologas: Vericacin simblica y exploratoria

Cuando queremos vericar de manera simblica que cierta proposicin es tautologa evitaremos usar tablas de verdad y slo nos permitiremos usar (como conocidas) las tautologas bsicas que aparecen en las secciones anteriores. Demostremos de manera simblica entonces que:

p En efecto: p

En las demostraciones exploratorias se acepta explorar la tabla de verdad deshechando los casos "fciles". Demostremos, exploratoriamente, que la siguiente proposicin es tautologa.

Vamos a asumir que tanto (p q) como (r q) son verdaderas. Es decir, nos ocupamos slo del caso en que la hiptesis es verdadera. Lo que debemos hacer es concluir que (p r ) es verdadera. Caso 1. p es falsa. Este caso es fcil: obviamente se tiene que (p r ) es verdadera. Caso 2. p es verdadera. Como asumimos que (p q) es verdadera, se tiene que tener q falsa. Como (r q) se asume verdadera y como q es falsa, r tiene que ser falsa. Por lo tanto, como r es falsa, se tiene que (p r ) es verdadera.

Lgica

p q p q p q p q p q p q

q p q p q p q q F F p q

p p p q p

Lgica

Semana01[38/1]

Tautologas: Vericacin simblica y exploratoria

Cuando queremos vericar de manera simblica que cierta proposicin es tautologa evitaremos usar tablas de verdad y slo nos permitiremos usar (como conocidas) las tautologas bsicas que aparecen en las secciones anteriores. Demostremos de manera simblica entonces que:

p En efecto: p

En las demostraciones exploratorias se acepta explorar la tabla de verdad deshechando los casos "fciles". Demostremos, exploratoriamente, que la siguiente proposicin es tautologa.

Vamos a asumir que tanto (p q) como (r q) son verdaderas. Es decir, nos ocupamos slo del caso en que la hiptesis es verdadera. Lo que debemos hacer es concluir que (p r ) es verdadera. Caso 1. p es falsa. Este caso es fcil: obviamente se tiene que (p r ) es verdadera. Caso 2. p es verdadera. Como asumimos que (p q) es verdadera, se tiene que tener q falsa. Como (r q) se asume verdadera y como q es falsa, r tiene que ser falsa. Por lo tanto, como r es falsa, se tiene que (p r ) es verdadera.

Lgica

p q p q p q p q p q p q

q p q p q p q q F F p q

p p p q p

Lgica

Semana01[39/1]

Tautologas: Vericacin simblica y exploratoria

Cuando queremos vericar de manera simblica que cierta proposicin es tautologa evitaremos usar tablas de verdad y slo nos permitiremos usar (como conocidas) las tautologas bsicas que aparecen en las secciones anteriores. Demostremos de manera simblica entonces que:

p En efecto: p

En las demostraciones exploratorias se acepta explorar la tabla de verdad deshechando los casos "fciles". Demostremos, exploratoriamente, que la siguiente proposicin es tautologa.

Vamos a asumir que tanto (p q) como (r q) son verdaderas. Es decir, nos ocupamos slo del caso en que la hiptesis es verdadera. Lo que debemos hacer es concluir que (p r ) es verdadera. Caso 1. p es falsa. Este caso es fcil: obviamente se tiene que (p r ) es verdadera. Caso 2. p es verdadera. Como asumimos que (p q) es verdadera, se tiene que tener q falsa. Como (r q) se asume verdadera y como q es falsa, r tiene que ser falsa. Por lo tanto, como r es falsa, se tiene que (p r ) es verdadera.

Lgica

p q p q p q p q p q p q

q p q p q p q q F F p q

p p p q p

Lgica

Semana01[40/1]

Tautologas: Vericacin simblica y exploratoria

Cuando queremos vericar de manera simblica que cierta proposicin es tautologa evitaremos usar tablas de verdad y slo nos permitiremos usar (como conocidas) las tautologas bsicas que aparecen en las secciones anteriores. Demostremos de manera simblica entonces que:

p En efecto: p

En las demostraciones exploratorias se acepta explorar la tabla de verdad deshechando los casos "fciles". Demostremos, exploratoriamente, que la siguiente proposicin es tautologa.

Vamos a asumir que tanto (p q) como (r q) son verdaderas. Es decir, nos ocupamos slo del caso en que la hiptesis es verdadera. Lo que debemos hacer es concluir que (p r ) es verdadera. Caso 1. p es falsa. Este caso es fcil: obviamente se tiene que (p r ) es verdadera. Caso 2. p es verdadera. Como asumimos que (p q) es verdadera, se tiene que tener q falsa. Como (r q) se asume verdadera y como q es falsa, r tiene que ser falsa. Por lo tanto, como r es falsa, se tiene que (p r ) es verdadera.

Lgica

p q p q p q p q p q p q

q p q p q p q q F F p q

p p p q p

Lgica

Semana01[41/1]

Tautologas: Vericacin simblica y exploratoria

Cuando queremos vericar de manera simblica que cierta proposicin es tautologa evitaremos usar tablas de verdad y slo nos permitiremos usar (como conocidas) las tautologas bsicas que aparecen en las secciones anteriores. Demostremos de manera simblica entonces que:

p En efecto: p

En las demostraciones exploratorias se acepta explorar la tabla de verdad deshechando los casos "fciles". Demostremos, exploratoriamente, que la siguiente proposicin es tautologa.

Vamos a asumir que tanto (p q) como (r q) son verdaderas. Es decir, nos ocupamos slo del caso en que la hiptesis es verdadera. Lo que debemos hacer es concluir que (p r ) es verdadera. Caso 1. p es falsa. Este caso es fcil: obviamente se tiene que (p r ) es verdadera. Caso 2. p es verdadera. Como asumimos que (p q) es verdadera, se tiene que tener q falsa. Como (r q) se asume verdadera y como q es falsa, r tiene que ser falsa. Por lo tanto, como r es falsa, se tiene que (p r ) es verdadera.

Lgica

p q p q p q p q p q p q

q p q p q p q q F F p q

p p p q p

Lgica

Semana01[42/1]

Tautologas: Vericacin simblica y exploratoria

Cuando queremos vericar de manera simblica que cierta proposicin es tautologa evitaremos usar tablas de verdad y slo nos permitiremos usar (como conocidas) las tautologas bsicas que aparecen en las secciones anteriores. Demostremos de manera simblica entonces que:

p En efecto: p

En las demostraciones exploratorias se acepta explorar la tabla de verdad deshechando los casos "fciles". Demostremos, exploratoriamente, que la siguiente proposicin es tautologa.

Vamos a asumir que tanto (p q) como (r q) son verdaderas. Es decir, nos ocupamos slo del caso en que la hiptesis es verdadera. Lo que debemos hacer es concluir que (p r ) es verdadera. Caso 1. p es falsa. Este caso es fcil: obviamente se tiene que (p r ) es verdadera. Caso 2. p es verdadera. Como asumimos que (p q) es verdadera, se tiene que tener q falsa. Como (r q) se asume verdadera y como q es falsa, r tiene que ser falsa. Por lo tanto, como r es falsa, se tiene que (p r ) es verdadera.

Lgica

p q p q p q p q p q p q

q p q p q p q q F F p q

p p p q p

Lgica

Semana01[43/1]

Tautologas: Vericacin simblica y exploratoria

Cuando queremos vericar de manera simblica que cierta proposicin es tautologa evitaremos usar tablas de verdad y slo nos permitiremos usar (como conocidas) las tautologas bsicas que aparecen en las secciones anteriores. Demostremos de manera simblica entonces que:

p En efecto: p

En las demostraciones exploratorias se acepta explorar la tabla de verdad deshechando los casos "fciles". Demostremos, exploratoriamente, que la siguiente proposicin es tautologa.

Vamos a asumir que tanto (p q) como (r q) son verdaderas. Es decir, nos ocupamos slo del caso en que la hiptesis es verdadera. Lo que debemos hacer es concluir que (p r ) es verdadera. Caso 1. p es falsa. Este caso es fcil: obviamente se tiene que (p r ) es verdadera. Caso 2. p es verdadera. Como asumimos que (p q) es verdadera, se tiene que tener q falsa. Como (r q) se asume verdadera y como q es falsa, r tiene que ser falsa. Por lo tanto, como r es falsa, se tiene que (p r ) es verdadera.

Lgica

p q p q p q p q p q p q

q p q p q p q q F F p q

p p p q p

Lgica

Semana01[44/1]

Tautologas: Vericacin simblica y exploratoria

Cuando queremos vericar de manera simblica que cierta proposicin es tautologa evitaremos usar tablas de verdad y slo nos permitiremos usar (como conocidas) las tautologas bsicas que aparecen en las secciones anteriores. Demostremos de manera simblica entonces que:

p En efecto: p

En las demostraciones exploratorias se acepta explorar la tabla de verdad deshechando los casos "fciles". Demostremos, exploratoriamente, que la siguiente proposicin es tautologa.

Vamos a asumir que tanto (p q) como (r q) son verdaderas. Es decir, nos ocupamos slo del caso en que la hiptesis es verdadera. Lo que debemos hacer es concluir que (p r ) es verdadera. Caso 1. p es falsa. Este caso es fcil: obviamente se tiene que (p r ) es verdadera. Caso 2. p es verdadera. Como asumimos que (p q) es verdadera, se tiene que tener q falsa. Como (r q) se asume verdadera y como q es falsa, r tiene que ser falsa. Por lo tanto, como r es falsa, se tiene que (p r ) es verdadera.

Lgica

p q p q p q p q p q p q

q p q p q p q q F F p q

p p p q p

Lgica

Semana01[45/1]

Tautologas: Vericacin simblica y exploratoria

Cuando queremos vericar de manera simblica que cierta proposicin es tautologa evitaremos usar tablas de verdad y slo nos permitiremos usar (como conocidas) las tautologas bsicas que aparecen en las secciones anteriores. Demostremos de manera simblica entonces que:

p En efecto: p

En las demostraciones exploratorias se acepta explorar la tabla de verdad deshechando los casos "fciles". Demostremos, exploratoriamente, que la siguiente proposicin es tautologa.

Vamos a asumir que tanto (p q) como (r q) son verdaderas. Es decir, nos ocupamos slo del caso en que la hiptesis es verdadera. Lo que debemos hacer es concluir que (p r ) es verdadera. Caso 1. p es falsa. Este caso es fcil: obviamente se tiene que (p r ) es verdadera. Caso 2. p es verdadera. Como asumimos que (p q) es verdadera, se tiene que tener q falsa. Como (r q) se asume verdadera y como q es falsa, r tiene que ser falsa. Por lo tanto, como r es falsa, se tiene que (p r ) es verdadera.

Lgica

p q p q p q p q p q p q

q p q p q p q q F F p q

p p p q p

Lgica

Semana01[46/1]

Tautologas: Vericacin simblica y exploratoria

Cuando queremos vericar de manera simblica que cierta proposicin es tautologa evitaremos usar tablas de verdad y slo nos permitiremos usar (como conocidas) las tautologas bsicas que aparecen en las secciones anteriores. Demostremos de manera simblica entonces que:

p En efecto: p

En las demostraciones exploratorias se acepta explorar la tabla de verdad deshechando los casos "fciles". Demostremos, exploratoriamente, que la siguiente proposicin es tautologa.

Vamos a asumir que tanto (p q) como (r q) son verdaderas. Es decir, nos ocupamos slo del caso en que la hiptesis es verdadera. Lo que debemos hacer es concluir que (p r ) es verdadera. Caso 1. p es falsa. Este caso es fcil: obviamente se tiene que (p r ) es verdadera. Caso 2. p es verdadera. Como asumimos que (p q) es verdadera, se tiene que tener q falsa. Como (r q) se asume verdadera y como q es falsa, r tiene que ser falsa. Por lo tanto, como r es falsa, se tiene que (p r ) es verdadera.

Lgica

p q p q p q p q p q p q

q p q p q p q q F F p q

p p p q p

Lgica

Semana01[47/1]

Funcin proposicional y cuanticadores

Funcin proposicional
Una funcin proposicional p es una expresin descrita en funcin de algn parmetro x que satisface lo siguiente: cada vez que x se reemplaza por una cadena de smbolos, p x se transforma en una proposicin.

Ejemplos
p x = x es un jugador de ftbol es una funcin proposicional. Notar que p(Marcelo Salas) es verdadera mientras que p(@r!!et) es falsa.

q x = x

0, tambin es una funcin proposicional. q 2 es verdadera, pero q 6 es falsa.

Observacin
En adelante, usaremos p x de dos formas distintas: Para referirnos a la funcin proposicional misma y mostrar que x es la variable que reemplazamos por cadenas de smbolos para obtener proposiciones lgicas. Para referirnos, cuando x es algo en particular, a la proposicin que se forma de haber hecho el reemplazo en la funcin proposicional.

Lgica

Lgica

Semana01[48/1]

Funcin proposicional y cuanticadores

Funcin proposicional
Una funcin proposicional p es una expresin descrita en funcin de algn parmetro x que satisface lo siguiente: cada vez que x se reemplaza por una cadena de smbolos, p x se transforma en una proposicin.

Ejemplos
p x = x es un jugador de ftbol es una funcin proposicional. Notar que p(Marcelo Salas) es verdadera mientras que p(@r!!et) es falsa.

q x = x

0, tambin es una funcin proposicional. q 2 es verdadera, pero q 6 es falsa.

Observacin
En adelante, usaremos p x de dos formas distintas: Para referirnos a la funcin proposicional misma y mostrar que x es la variable que reemplazamos por cadenas de smbolos para obtener proposiciones lgicas. Para referirnos, cuando x es algo en particular, a la proposicin que se forma de haber hecho el reemplazo en la funcin proposicional.

Lgica

Lgica

Semana01[49/1]

Funcin proposicional y cuanticadores

Funcin proposicional
Una funcin proposicional p es una expresin descrita en funcin de algn parmetro x que satisface lo siguiente: cada vez que x se reemplaza por una cadena de smbolos, p x se transforma en una proposicin.

Ejemplos
p x = x es un jugador de ftbol es una funcin proposicional. Notar que p(Marcelo Salas) es verdadera mientras que p(@r!!et) es falsa.

q x = x

0, tambin es una funcin proposicional. q 2 es verdadera, pero q 6 es falsa.

Observacin
En adelante, usaremos p x de dos formas distintas: Para referirnos a la funcin proposicional misma y mostrar que x es la variable que reemplazamos por cadenas de smbolos para obtener proposiciones lgicas. Para referirnos, cuando x es algo en particular, a la proposicin que se forma de haber hecho el reemplazo en la funcin proposicional.

Lgica

Lgica

Semana01[50/1]

Funcin proposicional y cuanticadores

Funcin proposicional
Una funcin proposicional p es una expresin descrita en funcin de algn parmetro x que satisface lo siguiente: cada vez que x se reemplaza por una cadena de smbolos, p x se transforma en una proposicin.

Ejemplos
p x = x es un jugador de ftbol es una funcin proposicional. Notar que p(Marcelo Salas) es verdadera mientras que p(@r!!et) es falsa.

q x = x

0, tambin es una funcin proposicional. q 2 es verdadera, pero q 6 es falsa.

Observacin
En adelante, usaremos p x de dos formas distintas: Para referirnos a la funcin proposicional misma y mostrar que x es la variable que reemplazamos por cadenas de smbolos para obtener proposiciones lgicas. Para referirnos, cuando x es algo en particular, a la proposicin que se forma de haber hecho el reemplazo en la funcin proposicional.

Lgica

Lgica

Semana01[51/1]

Funcin proposicional y cuanticadores

Funcin proposicional
Una funcin proposicional p es una expresin descrita en funcin de algn parmetro x que satisface lo siguiente: cada vez que x se reemplaza por una cadena de smbolos, p x se transforma en una proposicin.

Ejemplos
p x = x es un jugador de ftbol es una funcin proposicional. Notar que p(Marcelo Salas) es verdadera mientras que p(@r!!et) es falsa.

q x = x

0, tambin es una funcin proposicional. q 2 es verdadera, pero q 6 es falsa.

Observacin
En adelante, usaremos p x de dos formas distintas: Para referirnos a la funcin proposicional misma y mostrar que x es la variable que reemplazamos por cadenas de smbolos para obtener proposiciones lgicas. Para referirnos, cuando x es algo en particular, a la proposicin que se forma de haber hecho el reemplazo en la funcin proposicional.

Lgica

Lgica

Semana01[52/1]

Funcin proposicional y cuanticadores: Cuanticador universal

Cuanticador universal
La proposicin x p x , que se lee para todo x p x ", es verdadera siempre y cuando p x sea verdadera para cualquier cadena de smbolos que se reemplace en x. Veamos un ejemplo:

Ejemplo
Claramente, como vimos que p(@r!!et) es falsa, no es cierto que al reemplazar x por cualquier cadena de smbolos lo resultante sea una proposicin verdadera. Luego x p x es falsa.

Usando el ejemplo anterior, p x = x es un jugador de ftbol, ser verdadera

x p x .

Lgica

Lgica

Semana01[53/1]

Funcin proposicional y cuanticadores: Cuanticador universal

Cuanticador universal
La proposicin x p x , que se lee para todo x p x ", es verdadera siempre y cuando p x sea verdadera para cualquier cadena de smbolos que se reemplace en x. Veamos un ejemplo:

Ejemplo
Claramente, como vimos que p(@r!!et) es falsa, no es cierto que al reemplazar x por cualquier cadena de smbolos lo resultante sea una proposicin verdadera. Luego x p x es falsa.

Usando el ejemplo anterior, p x = x es un jugador de ftbol, ser verdadera

x p x .

Lgica

Lgica

Semana01[54/1]

Funcin proposicional y cuanticadores: Cuanticador universal

Cuanticador universal
La proposicin x p x , que se lee para todo x p x ", es verdadera siempre y cuando p x sea verdadera para cualquier cadena de smbolos que se reemplace en x. Veamos un ejemplo:

Ejemplo
Claramente, como vimos que p(@r!!et) es falsa, no es cierto que al reemplazar x por cualquier cadena de smbolos lo resultante sea una proposicin verdadera. Luego x p x es falsa.

Usando el ejemplo anterior, p x = x es un jugador de ftbol, ser verdadera

x p x .

Lgica

Lgica

Semana01[55/1]

Funcin proposicional y cuanticadores: Cuanticador universal

Cuanticador universal
La proposicin x p x , que se lee para todo x p x ", es verdadera siempre y cuando p x sea verdadera para cualquier cadena de smbolos que se reemplace en x. Veamos un ejemplo:

Ejemplo
Claramente, como vimos que p(@r!!et) es falsa, no es cierto que al reemplazar x por cualquier cadena de smbolos lo resultante sea una proposicin verdadera. Luego x p x es falsa.

Usando el ejemplo anterior, p x = x es un jugador de ftbol, ser verdadera

x p x .

Lgica

Lgica

Semana01[56/1]

Funcin proposicional y cuanticadores: Cuanticador universal

A continuacin veamos ejemplos de proposiciones construidas usando el cuanticador universal y cmo se verica la veracidad de dichas proposiciones.

Ejemplos
x p x p x es verdadera. Veriquemos que es verdadera, por pasos. Sea x arbitrario (este es el modo en que se considera el x). p.d.q (por demostrar que): p x p x es verdadera. En efecto: Caso 1. p x es verdadera. Como V p x es verdadera, se concluye. Caso 2. p x es falsa. En este caso p x es verdadera. Como F V V , se concluye. x p x p x q x es verdadera. Demostrmoslo. Sea x arbitrario Hiptesis: p x es verdadera. p.d.q: p x q x es verdadera. En efecto: como p x es verdadera, usamos que V q x es verdadera para concluir. x p x x q x x p x q x es verdadera. x q x es verdadera Hiptesis: x p x p.d.q: x p x q x es verdadera En efecto: sea x arbitrario. Caso 1. p x es verdadera. En este caso p x q x es verdadera. Caso 2. p x es falsa. En este caso, por hiptesis, q x tiene que ser verdadera. Se deduce que p x q x es verdadera.

Lgica

Lgica

Semana01[57/1]

Funcin proposicional y cuanticadores: Cuanticador universal

A continuacin veamos ejemplos de proposiciones construidas usando el cuanticador universal y cmo se verica la veracidad de dichas proposiciones.

Ejemplos
x p x p x es verdadera. Veriquemos que es verdadera, por pasos. Sea x arbitrario (este es el modo en que se considera el x). p.d.q (por demostrar que): p x p x es verdadera. En efecto: Caso 1. p x es verdadera. Como V p x es verdadera, se concluye. Caso 2. p x es falsa. En este caso p x es verdadera. Como F V V , se concluye. x p x p x q x es verdadera. Demostrmoslo. Sea x arbitrario Hiptesis: p x es verdadera. p.d.q: p x q x es verdadera. En efecto: como p x es verdadera, usamos que V q x es verdadera para concluir. x p x x q x x p x q x es verdadera. x q x es verdadera Hiptesis: x p x p.d.q: x p x q x es verdadera En efecto: sea x arbitrario. Caso 1. p x es verdadera. En este caso p x q x es verdadera. Caso 2. p x es falsa. En este caso, por hiptesis, q x tiene que ser verdadera. Se deduce que p x q x es verdadera.

Lgica

Lgica

Semana01[58/1]

Funcin proposicional y cuanticadores: Cuanticador universal

A continuacin veamos ejemplos de proposiciones construidas usando el cuanticador universal y cmo se verica la veracidad de dichas proposiciones.

Ejemplos
x p x p x es verdadera. Veriquemos que es verdadera, por pasos. Sea x arbitrario (este es el modo en que se considera el x). p.d.q (por demostrar que): p x p x es verdadera. En efecto: Caso 1. p x es verdadera. Como V p x es verdadera, se concluye. Caso 2. p x es falsa. En este caso p x es verdadera. Como F V V , se concluye. x p x p x q x es verdadera. Demostrmoslo. Sea x arbitrario Hiptesis: p x es verdadera. p.d.q: p x q x es verdadera. En efecto: como p x es verdadera, usamos que V q x es verdadera para concluir. x p x x q x x p x q x es verdadera. x q x es verdadera Hiptesis: x p x p.d.q: x p x q x es verdadera En efecto: sea x arbitrario. Caso 1. p x es verdadera. En este caso p x q x es verdadera. Caso 2. p x es falsa. En este caso, por hiptesis, q x tiene que ser verdadera. Se deduce que p x q x es verdadera.

Lgica

Lgica

Semana01[59/1]

Funcin proposicional y cuanticadores: Cuanticador universal

A continuacin veamos ejemplos de proposiciones construidas usando el cuanticador universal y cmo se verica la veracidad de dichas proposiciones.

Ejemplos
x p x p x es verdadera. Veriquemos que es verdadera, por pasos. Sea x arbitrario (este es el modo en que se considera el x). p.d.q (por demostrar que): p x p x es verdadera. En efecto: Caso 1. p x es verdadera. Como V p x es verdadera, se concluye. Caso 2. p x es falsa. En este caso p x es verdadera. Como F V V , se concluye. x p x p x q x es verdadera. Demostrmoslo. Sea x arbitrario Hiptesis: p x es verdadera. p.d.q: p x q x es verdadera. En efecto: como p x es verdadera, usamos que V q x es verdadera para concluir. x p x x q x x p x q x es verdadera. x q x es verdadera Hiptesis: x p x p.d.q: x p x q x es verdadera En efecto: sea x arbitrario. Caso 1. p x es verdadera. En este caso p x q x es verdadera. Caso 2. p x es falsa. En este caso, por hiptesis, q x tiene que ser verdadera. Se deduce que p x q x es verdadera.

Lgica

Lgica

Semana01[60/1]

Funcin proposicional y cuanticadores: Cuanticador universal

A continuacin veamos ejemplos de proposiciones construidas usando el cuanticador universal y cmo se verica la veracidad de dichas proposiciones.

Ejemplos
x p x p x es verdadera. Veriquemos que es verdadera, por pasos. Sea x arbitrario (este es el modo en que se considera el x). p.d.q (por demostrar que): p x p x es verdadera. En efecto: Caso 1. p x es verdadera. Como V p x es verdadera, se concluye. Caso 2. p x es falsa. En este caso p x es verdadera. Como F V V , se concluye. x p x p x q x es verdadera. Demostrmoslo. Sea x arbitrario Hiptesis: p x es verdadera. p.d.q: p x q x es verdadera. En efecto: como p x es verdadera, usamos que V q x es verdadera para concluir. x p x x q x x p x q x es verdadera. x q x es verdadera Hiptesis: x p x p.d.q: x p x q x es verdadera En efecto: sea x arbitrario. Caso 1. p x es verdadera. En este caso p x q x es verdadera. Caso 2. p x es falsa. En este caso, por hiptesis, q x tiene que ser verdadera. Se deduce que p x q x es verdadera.

Lgica

Lgica

Semana01[61/1]

Funcin proposicional y cuanticadores: Cuanticador universal

A continuacin veamos ejemplos de proposiciones construidas usando el cuanticador universal y cmo se verica la veracidad de dichas proposiciones.

Ejemplos
x p x p x es verdadera. Veriquemos que es verdadera, por pasos. Sea x arbitrario (este es el modo en que se considera el x). p.d.q (por demostrar que): p x p x es verdadera. En efecto: Caso 1. p x es verdadera. Como V p x es verdadera, se concluye. Caso 2. p x es falsa. En este caso p x es verdadera. Como F V V , se concluye. x p x p x q x es verdadera. Demostrmoslo. Sea x arbitrario Hiptesis: p x es verdadera. p.d.q: p x q x es verdadera. En efecto: como p x es verdadera, usamos que V q x es verdadera para concluir. x p x x q x x p x q x es verdadera. Hiptesis: x p x x q x es verdadera p.d.q: x p x q x es verdadera En efecto: sea x arbitrario. Caso 1. p x es verdadera. En este caso p x q x es verdadera. Caso 2. p x es falsa. En este caso, por hiptesis, q x tiene que ser verdadera. Se deduce que p x q x es verdadera.

Lgica

Lgica

Semana01[62/1]

Funcin proposicional y cuanticadores: Cuanticador universal

A continuacin veamos ejemplos de proposiciones construidas usando el cuanticador universal y cmo se verica la veracidad de dichas proposiciones.

Ejemplos
x p x p x es verdadera. Veriquemos que es verdadera, por pasos. Sea x arbitrario (este es el modo en que se considera el x). p.d.q (por demostrar que): p x p x es verdadera. En efecto: Caso 1. p x es verdadera. Como V p x es verdadera, se concluye. Caso 2. p x es falsa. En este caso p x es verdadera. Como F V V , se concluye. x p x p x q x es verdadera. Demostrmoslo. Sea x arbitrario Hiptesis: p x es verdadera. p.d.q: p x q x es verdadera. En efecto: como p x es verdadera, usamos que V q x es verdadera para concluir. x p x x q x x p x q x es verdadera. x q x es verdadera Hiptesis: x p x p.d.q: x p x q x es verdadera En efecto: sea x arbitrario. Caso 1. p x es verdadera. En este caso p x q x es verdadera. Caso 2. p x es falsa. En este caso, por hiptesis, q x tiene que ser verdadera. Se deduce que p x q x es verdadera.

Lgica

Lgica

Semana01[63/1]

Funcin proposicional y cuanticadores: Cuanticador universal

A continuacin veamos ejemplos de proposiciones construidas usando el cuanticador universal y cmo se verica la veracidad de dichas proposiciones.

Ejemplos
x p x p x es verdadera. Veriquemos que es verdadera, por pasos. Sea x arbitrario (este es el modo en que se considera el x). p.d.q (por demostrar que): p x p x es verdadera. En efecto: Caso 1. p x es verdadera. Como V p x es verdadera, se concluye. Caso 2. p x es falsa. En este caso p x es verdadera. Como F V V , se concluye. x p x p x q x es verdadera. Demostrmoslo. Sea x arbitrario Hiptesis: p x es verdadera. p.d.q: p x q x es verdadera. En efecto: como p x es verdadera, usamos que V q x es verdadera para concluir. x p x x q x x p x q x es verdadera. Hiptesis: x p x x q x es verdadera p.d.q: x p x q x es verdadera En efecto: sea x arbitrario. Caso 1. p x es verdadera. En este caso p x q x es verdadera. Caso 2. p x es falsa. En este caso, por hiptesis, q x tiene que ser verdadera. Se deduce que p x q x es verdadera.

Lgica

Lgica

Semana01[64/1]

Funcin proposicional y cuanticadores: Cuanticador universal

A continuacin veamos ejemplos de proposiciones construidas usando el cuanticador universal y cmo se verica la veracidad de dichas proposiciones.

Ejemplos
x p x p x es verdadera. Veriquemos que es verdadera, por pasos. Sea x arbitrario (este es el modo en que se considera el x). p.d.q (por demostrar que): p x p x es verdadera. En efecto: Caso 1. p x es verdadera. Como V p x es verdadera, se concluye. Caso 2. p x es falsa. En este caso p x es verdadera. Como F V V , se concluye. x p x p x q x es verdadera. Demostrmoslo. Sea x arbitrario Hiptesis: p x es verdadera. p.d.q: p x q x es verdadera. En efecto: como p x es verdadera, usamos que V q x es verdadera para concluir. x p x x q x x p x q x es verdadera. x q x es verdadera Hiptesis: x p x p.d.q: x p x q x es verdadera En efecto: sea x arbitrario. Caso 1. p x es verdadera. En este caso p x q x es verdadera. Caso 2. p x es falsa. En este caso, por hiptesis, q x tiene que ser verdadera. Se deduce que p x q x es verdadera.

Lgica

Lgica

Semana01[65/1]

Funcin proposicional y cuanticadores: Cuanticador universal

A continuacin veamos ejemplos de proposiciones construidas usando el cuanticador universal y cmo se verica la veracidad de dichas proposiciones.

Ejemplos
x p x p x es verdadera. Veriquemos que es verdadera, por pasos. Sea x arbitrario (este es el modo en que se considera el x). p.d.q (por demostrar que): p x p x es verdadera. En efecto: Caso 1. p x es verdadera. Como V p x es verdadera, se concluye. Caso 2. p x es falsa. En este caso p x es verdadera. Como F V V , se concluye. x p x p x q x es verdadera. Demostrmoslo. Sea x arbitrario Hiptesis: p x es verdadera. p.d.q: p x q x es verdadera. En efecto: como p x es verdadera, usamos que V q x es verdadera para concluir. x p x x q x x p x q x es verdadera. x q x es verdadera Hiptesis: x p x p.d.q: x p x q x es verdadera En efecto: sea x arbitrario. Caso 1. p x es verdadera. En este caso p x q x es verdadera. Caso 2. p x es falsa. En este caso, por hiptesis, q x tiene que ser verdadera. Se deduce que p x q x es verdadera.

Lgica

Lgica

Semana01[66/1]

Funcin proposicional y cuanticadores: Cuanticador universal

A continuacin veamos ejemplos de proposiciones construidas usando el cuanticador universal y cmo se verica la veracidad de dichas proposiciones.

Ejemplos
x p x p x es verdadera. Veriquemos que es verdadera, por pasos. Sea x arbitrario (este es el modo en que se considera el x). p.d.q (por demostrar que): p x p x es verdadera. En efecto: Caso 1. p x es verdadera. Como V p x es verdadera, se concluye. Caso 2. p x es falsa. En este caso p x es verdadera. Como F V V , se concluye. x p x p x q x es verdadera. Demostrmoslo. Sea x arbitrario Hiptesis: p x es verdadera. p.d.q: p x q x es verdadera. En efecto: como p x es verdadera, usamos que V q x es verdadera para concluir. x p x x q x x p x q x es verdadera. x q x es verdadera Hiptesis: x p x p.d.q: x p x q x es verdadera En efecto: sea x arbitrario. Caso 1. p x es verdadera. En este caso p x q x es verdadera. Caso 2. p x es falsa. En este caso, por hiptesis, q x tiene que ser verdadera. Se deduce que p x q x es verdadera.

Lgica

Lgica

Semana01[67/1]

Funcin proposicional y cuanticadores: Cuanticador existencial

Cuanticador existencial
La proposicin x p x , que se lee existe x, tal que p x ", es verdadera cuando se puede encontrar por lo menos una cadena de smbolos que hace p x verdadero.

Ejemplo
Tenemos que hay al menos un x que hace a p x verdadera, por ejemplo x = Matas Fernndez cumple claramente que p(Matas Fernndez) es verdadera.

Retomando el ejemplo anterior, con p x = x es un jugador de ftbol. Se tendr que

x p x ?.

As,

x p x es verdadera.

Lgica

Lgica

Semana01[68/1]

Funcin proposicional y cuanticadores: Cuanticador existencial

Cuanticador existencial
La proposicin x p x , que se lee existe x, tal que p x ", es verdadera cuando se puede encontrar por lo menos una cadena de smbolos que hace p x verdadero.

Ejemplo
Tenemos que hay al menos un x que hace a p x verdadera, por ejemplo x = Matas Fernndez cumple claramente que p(Matas Fernndez) es verdadera.

Retomando el ejemplo anterior, con p x = x es un jugador de ftbol. Se tendr que

x p x ?.

As,

x p x es verdadera.

Lgica

Lgica

Semana01[69/1]

Funcin proposicional y cuanticadores: Cuanticador existencial

Cuanticador existencial
La proposicin x p x , que se lee existe x, tal que p x ", es verdadera cuando se puede encontrar por lo menos una cadena de smbolos que hace p x verdadero.

Ejemplo
Tenemos que hay al menos un x que hace a p x verdadera, por ejemplo x = Matas Fernndez cumple claramente que p(Matas Fernndez) es verdadera.

Retomando el ejemplo anterior, con p x = x es un jugador de ftbol. Se tendr que

x p x ?.

As,

x p x es verdadera.

Lgica

Lgica

Semana01[70/1]

Funcin proposicional y cuanticadores: Cuanticador existencial

Cuanticador existencial
La proposicin x p x , que se lee existe x, tal que p x ", es verdadera cuando se puede encontrar por lo menos una cadena de smbolos que hace p x verdadero.

Ejemplo
Tenemos que hay al menos un x que hace a p x verdadera, por ejemplo x = Matas Fernndez cumple claramente que p(Matas Fernndez) es verdadera.

Retomando el ejemplo anterior, con p x = x es un jugador de ftbol. Se tendr que

x p x ?.

As,

x p x es verdadera.

Lgica

Lgica

Semana01[71/1]

Funcin proposicional y cuanticadores: Relacin entre cuanticadores

A continuacin veremos la relacin que existe entre los dos cuanticadores antes denidos. Dicha relacin se debe a la negacin. Resulta que x p x es falsa si y slo si p x no es verdadera para ninguna cadena de smbolos x, es decir, si y slo si x p x es verdadera. As, hemos hallado la

Negacin del cuanticador existencial

La siguiente proposicin es una tautologa

x p x

x p x

Lgica

Lgica

Semana01[72/1]

Funcin proposicional y cuanticadores: Relacin entre cuanticadores

A continuacin veremos la relacin que existe entre los dos cuanticadores antes denidos. Dicha relacin se debe a la negacin. Resulta que x p x es falsa si y slo si p x no es verdadera para ninguna cadena de smbolos x, es decir, si y slo si x p x es verdadera. As, hemos hallado la

Negacin del cuanticador existencial

La siguiente proposicin es una tautologa

x p x

x p x

Lgica

Lgica

Semana01[73/1]

Funcin proposicional y cuanticadores: Relacin entre cuanticadores

A continuacin veremos la relacin que existe entre los dos cuanticadores antes denidos. Dicha relacin se debe a la negacin. Resulta que x p x es falsa si y slo si p x no es verdadera para ninguna cadena de smbolos x, es decir, si y slo si x p x es verdadera. As, hemos hallado la

Negacin del cuanticador existencial

La siguiente proposicin es una tautologa

x p x

x p x

Lgica

Lgica

Semana01[74/1]

Funcin proposicional y cuanticadores: Existencia y unicidad

Hay un cuanticador ms que se utiliza con frecuencia:

Existencia y unicidad
La proposicin x p x , que se lee existe un nico x tal que p x ", es verdadera cuando hay exactamente una cadena de smbolos hace verdadero p x . Un ejemplo:

Ejemplo
Nuevamente, considerando nuestra funcin proposicional p x = x es un jugador de ftbol. Cul ser el x p x ? valor de verdad de Podemos notar que tanto x1 = Marcelo Salas y x2 = Matas Fernndez hacen que p x sea verdadera. Es decir, si bien existe un x que hace a p x verdadera, no es nico. As, x p x es falsa.

Notemos que no es un cuanticador nuevo, en el sentido de que puede ser denido en funcin de los dos cuanticadores anteriores. Es decir la siguiente proposicin es verdadera.

Existencia

Unicidad

Lgica

x p x

x p x

p x

p y

Observacin

Lgica

Semana01[75/1]

Funcin proposicional y cuanticadores: Existencia y unicidad

Hay un cuanticador ms que se utiliza con frecuencia:

Existencia y unicidad
La proposicin x p x , que se lee existe un nico x tal que p x ", es verdadera cuando hay exactamente una cadena de smbolos hace verdadero p x . Un ejemplo:

Ejemplo
Nuevamente, considerando nuestra funcin proposicional p x = x es un jugador de ftbol. Cul ser el x p x ? valor de verdad de Podemos notar que tanto x1 = Marcelo Salas y x2 = Matas Fernndez hacen que p x sea verdadera. Es decir, si bien existe un x que hace a p x verdadera, no es nico. As, x p x es falsa.

Notemos que no es un cuanticador nuevo, en el sentido de que puede ser denido en funcin de los dos cuanticadores anteriores. Es decir la siguiente proposicin es verdadera.

Existencia

Unicidad

Lgica

x p x

x p x

p x

p y

Observacin

Lgica

Semana01[76/1]

Funcin proposicional y cuanticadores: Existencia y unicidad

Hay un cuanticador ms que se utiliza con frecuencia:

Existencia y unicidad
La proposicin x p x , que se lee existe un nico x tal que p x ", es verdadera cuando hay exactamente una cadena de smbolos hace verdadero p x . Un ejemplo:

Ejemplo
Nuevamente, considerando nuestra funcin proposicional p x = x es un jugador de ftbol. Cul ser el x p x ? valor de verdad de Podemos notar que tanto x1 = Marcelo Salas y x2 = Matas Fernndez hacen que p x sea verdadera. Es decir, si bien existe un x que hace a p x verdadera, no es nico. As, x p x es falsa.

Notemos que no es un cuanticador nuevo, en el sentido de que puede ser denido en funcin de los dos cuanticadores anteriores. Es decir la siguiente proposicin es verdadera.

Existencia

Unicidad

Lgica

x p x

x p x

p x

p y

Observacin

Lgica

Semana01[77/1]

Funcin proposicional y cuanticadores: Existencia y unicidad

Hay un cuanticador ms que se utiliza con frecuencia:

Existencia y unicidad
La proposicin x p x , que se lee existe un nico x tal que p x ", es verdadera cuando hay exactamente una cadena de smbolos hace verdadero p x . Un ejemplo:

Ejemplo
Nuevamente, considerando nuestra funcin proposicional p x = x es un jugador de ftbol. Cul ser el x p x ? valor de verdad de Podemos notar que tanto x1 = Marcelo Salas y x2 = Matas Fernndez hacen que p x sea verdadera. Es decir, si bien existe un x que hace a p x verdadera, no es nico. As, x p x es falsa.

Notemos que no es un cuanticador nuevo, en el sentido de que puede ser denido en funcin de los dos cuanticadores anteriores. Es decir la siguiente proposicin es verdadera.

Existencia

Unicidad

Lgica

x p x

x p x

p x

p y

Observacin

Lgica

Semana01[78/1]

Funcin proposicional y cuanticadores: Existencia y unicidad

Hay un cuanticador ms que se utiliza con frecuencia:

Existencia y unicidad
La proposicin x p x , que se lee existe un nico x tal que p x ", es verdadera cuando hay exactamente una cadena de smbolos hace verdadero p x . Un ejemplo:

Ejemplo
Nuevamente, considerando nuestra funcin proposicional p x = x es un jugador de ftbol. Cul ser el x p x ? valor de verdad de Podemos notar que tanto x1 = Marcelo Salas y x2 = Matas Fernndez hacen que p x sea verdadera. Es decir, si bien existe un x que hace a p x verdadera, no es nico. As, x p x es falsa.

Notemos que no es un cuanticador nuevo, en el sentido de que puede ser denido en funcin de los dos cuanticadores anteriores. Es decir la siguiente proposicin es verdadera.

Existencia

Unicidad

Lgica

x p x

x p x

p x

p y

Observacin

Lgica

Semana01[79/1]

Funcin proposicional y cuanticadores: Existencia y unicidad

Hay un cuanticador ms que se utiliza con frecuencia:

Existencia y unicidad
La proposicin x p x , que se lee existe un nico x tal que p x ", es verdadera cuando hay exactamente una cadena de smbolos hace verdadero p x . Un ejemplo:

Ejemplo
Nuevamente, considerando nuestra funcin proposicional p x = x es un jugador de ftbol. Cul ser el x p x ? valor de verdad de Podemos notar que tanto x1 = Marcelo Salas y x2 = Matas Fernndez hacen que p x sea verdadera. Es decir, si bien existe un x que hace a p x verdadera, no es nico. As, x p x es falsa.

Notemos que no es un cuanticador nuevo, en el sentido de que puede ser denido en funcin de los dos cuanticadores anteriores. Es decir la siguiente proposicin es verdadera.

Existencia

Unicidad

Lgica

x p x

x p x

p x

p y

Observacin

Lgica

Semana01[80/1]

Funcin proposicional y cuanticadores: Existencia y unicidad

Hay un cuanticador ms que se utiliza con frecuencia:

Existencia y unicidad
La proposicin x p x , que se lee existe un nico x tal que p x ", es verdadera cuando hay exactamente una cadena de smbolos hace verdadero p x . Un ejemplo:

Ejemplo
Nuevamente, considerando nuestra funcin proposicional p x = x es un jugador de ftbol. Cul ser el x p x ? valor de verdad de Podemos notar que tanto x1 = Marcelo Salas y x2 = Matas Fernndez hacen que p x sea verdadera. Es decir, si bien existe un x que hace a p x verdadera, no es nico. As, x p x es falsa.

Notemos que no es un cuanticador nuevo, en el sentido de que puede ser denido en funcin de los dos cuanticadores anteriores. Es decir la siguiente proposicin es verdadera.

Existencia

Unicidad

Lgica

x p x

x p x

p x

p y

Observacin

Lgica

Semana01[81/1]

Funcin proposicional y cuanticadores: Existencia y unicidad

Hay un cuanticador ms que se utiliza con frecuencia:

Existencia y unicidad
La proposicin x p x , que se lee existe un nico x tal que p x ", es verdadera cuando hay exactamente una cadena de smbolos hace verdadero p x . Un ejemplo:

Ejemplo
Nuevamente, considerando nuestra funcin proposicional p x = x es un jugador de ftbol. Cul ser el x p x ? valor de verdad de Podemos notar que tanto x1 = Marcelo Salas y x2 = Matas Fernndez hacen que p x sea verdadera. Es decir, si bien existe un x que hace a p x verdadera, no es nico. As, x p x es falsa.

Notemos que no es un cuanticador nuevo, en el sentido de que puede ser denido en funcin de los dos cuanticadores anteriores. Es decir la siguiente proposicin es verdadera.

Existencia

Unicidad

Lgica

x p x

x p x

p x

p y

Observacin

Lgica

Semana01[82/1]

Ejemplo importante: Equivalencia dividida en dos partes

Veremos ahora una tcnica de demostracin que se basa en una de las tautologas importantes que vimos antes. Supongamos que queremos demostrar que

es verdadera. Lo que haremos es usar la Tautologa 1,

En donde el rol de p y q est descrito arriba. sta nos permite dividir la demostracin en dos partes, ya que en q es verdadera, podemos vericar que p q q p es verdadera. lugar de vericar que p Esto, a su vez lo hacemos vericando que p q es verdadera y luego que q p tambin lo es. ) Hiptesis: x p x q x es verdadera. p.d.q: x p x x q x es verdadera. En efecto: Sea x arbitrario. Por hiptesis se tiene tanto p x como q x son verdaderas. En particular p x lo es. Es decir, probamos que x p x es verdadera. Anlogamente se tiene que tambin x q x es verdadera. ) Hiptesis: x p x x q x es verdadera. p.d.q: x p x q x es verdadera. En efecto: Sea x0 arbitrario. Como por hiptesis x p x es verdadera se tiene que p x0 es verdadera. Como por hiptesis x q x es verdadera se tiene q x0 tambin lo es.
Lgica

x p x

q x

x p x

x q x

Lgica

Semana01[83/1]

Ejemplo importante: Equivalencia dividida en dos partes

Veremos ahora una tcnica de demostracin que se basa en una de las tautologas importantes que vimos antes. Supongamos que queremos demostrar que

es verdadera. Lo que haremos es usar la Tautologa 1,

En donde el rol de p y q est descrito arriba. sta nos permite dividir la demostracin en dos partes, ya que en q es verdadera, podemos vericar que p q q p es verdadera. lugar de vericar que p Esto, a su vez lo hacemos vericando que p q es verdadera y luego que q p tambin lo es. ) Hiptesis: x p x q x es verdadera. p.d.q: x p x x q x es verdadera. En efecto: Sea x arbitrario. Por hiptesis se tiene tanto p x como q x son verdaderas. En particular p x lo es. Es decir, probamos que x p x es verdadera. Anlogamente se tiene que tambin x q x es verdadera. ) Hiptesis: x p x x q x es verdadera. p.d.q: x p x q x es verdadera. En efecto: Sea x0 arbitrario. Como por hiptesis x p x es verdadera se tiene que p x0 es verdadera. Como por hiptesis x q x es verdadera se tiene q x0 tambin lo es.
Lgica

x p x

q x

x p x

x q x

Lgica

Semana01[84/1]

Ejemplo importante: Equivalencia dividida en dos partes

Veremos ahora una tcnica de demostracin que se basa en una de las tautologas importantes que vimos antes. Supongamos que queremos demostrar que

es verdadera. Lo que haremos es usar la Tautologa 1,

En donde el rol de p y q est descrito arriba. sta nos permite dividir la demostracin en dos partes, ya que en q es verdadera, podemos vericar que p q q p es verdadera. lugar de vericar que p Esto, a su vez lo hacemos vericando que p q es verdadera y luego que q p tambin lo es. ) Hiptesis: x p x q x es verdadera. p.d.q: x p x x q x es verdadera. En efecto: Sea x arbitrario. Por hiptesis se tiene tanto p x como q x son verdaderas. En particular p x lo es. Es decir, probamos que x p x es verdadera. Anlogamente se tiene que tambin x q x es verdadera. ) Hiptesis: x p x x q x es verdadera. p.d.q: x p x q x es verdadera. En efecto: Sea x0 arbitrario. Como por hiptesis x p x es verdadera se tiene que p x0 es verdadera. Como por hiptesis x q x es verdadera se tiene q x0 tambin lo es.
Lgica

x p x

q x

x p x

x q x

Lgica

Semana01[85/1]

Ejemplo importante: Equivalencia dividida en dos partes

Veremos ahora una tcnica de demostracin que se basa en una de las tautologas importantes que vimos antes. Supongamos que queremos demostrar que

es verdadera. Lo que haremos es usar la Tautologa 1,

En donde el rol de p y q est descrito arriba. sta nos permite dividir la demostracin en dos partes, ya que en q es verdadera, podemos vericar que p q q p es verdadera. lugar de vericar que p Esto, a su vez lo hacemos vericando que p q es verdadera y luego que q p tambin lo es. ) Hiptesis: x p x q x es verdadera. p.d.q: x p x x q x es verdadera. En efecto: Sea x arbitrario. Por hiptesis se tiene tanto p x como q x son verdaderas. En particular p x lo es. Es decir, probamos que x p x es verdadera. Anlogamente se tiene que tambin x q x es verdadera. ) Hiptesis: x p x x q x es verdadera. p.d.q: x p x q x es verdadera. En efecto: Sea x0 arbitrario. Como por hiptesis x p x es verdadera se tiene que p x0 es verdadera. Como por hiptesis x q x es verdadera se tiene q x0 tambin lo es.
Lgica

x p x

q x

x p x

x q x

Lgica

Semana01[86/1]

Ejemplo importante: Equivalencia dividida en dos partes

Veremos ahora una tcnica de demostracin que se basa en una de las tautologas importantes que vimos antes. Supongamos que queremos demostrar que

es verdadera. Lo que haremos es usar la Tautologa 1,

En donde el rol de p y q est descrito arriba. sta nos permite dividir la demostracin en dos partes, ya que en q es verdadera, podemos vericar que p q q p es verdadera. lugar de vericar que p Esto, a su vez lo hacemos vericando que p q es verdadera y luego que q p tambin lo es. ) Hiptesis: x p x q x es verdadera. p.d.q: x p x x q x es verdadera. En efecto: Sea x arbitrario. Por hiptesis se tiene tanto p x como q x son verdaderas. En particular p x lo es. Es decir, probamos que x p x es verdadera. Anlogamente se tiene que tambin x q x es verdadera. ) Hiptesis: x p x x q x es verdadera. p.d.q: x p x q x es verdadera. En efecto: Sea x0 arbitrario. Como por hiptesis x p x es verdadera se tiene que p x0 es verdadera. Como por hiptesis x q x es verdadera se tiene q x0 tambin lo es.
Lgica

x p x

q x

x p x

x q x

Lgica

Semana01[87/1]

Ejemplo importante: Equivalencia dividida en dos partes

Veremos ahora una tcnica de demostracin que se basa en una de las tautologas importantes que vimos antes. Supongamos que queremos demostrar que

es verdadera. Lo que haremos es usar la Tautologa 1,

En donde el rol de p y q est descrito arriba. sta nos permite dividir la demostracin en dos partes, ya que en q es verdadera, podemos vericar que p q q p es verdadera. lugar de vericar que p Esto, a su vez lo hacemos vericando que p q es verdadera y luego que q p tambin lo es. ) Hiptesis: x p x q x es verdadera. p.d.q: x p x x q x es verdadera. En efecto: Sea x arbitrario. Por hiptesis se tiene tanto p x como q x son verdaderas. En particular p x lo es. Es decir, probamos que x p x es verdadera. Anlogamente se tiene que tambin x q x es verdadera. ) Hiptesis: x p x x q x es verdadera. p.d.q: x p x q x es verdadera. En efecto: Sea x0 arbitrario. Como por hiptesis x p x es verdadera se tiene que p x0 es verdadera. Como por hiptesis x q x es verdadera se tiene q x0 tambin lo es.
Lgica

x p x

q x

x p x

x q x

Lgica

Semana01[88/1]

Ejemplo importante: Equivalencia dividida en dos partes

Veremos ahora una tcnica de demostracin que se basa en una de las tautologas importantes que vimos antes. Supongamos que queremos demostrar que

es verdadera. Lo que haremos es usar la Tautologa 1,

En donde el rol de p y q est descrito arriba. sta nos permite dividir la demostracin en dos partes, ya que en q es verdadera, podemos vericar que p q q p es verdadera. lugar de vericar que p Esto, a su vez lo hacemos vericando que p q es verdadera y luego que q p tambin lo es. ) Hiptesis: x p x q x es verdadera. p.d.q: x p x x q x es verdadera. En efecto: Sea x arbitrario. Por hiptesis se tiene tanto p x como q x son verdaderas. En particular p x lo es. Es decir, probamos que x p x es verdadera. Anlogamente se tiene que tambin x q x es verdadera. ) Hiptesis: x p x x q x es verdadera. p.d.q: x p x q x es verdadera. En efecto: Sea x0 arbitrario. Como por hiptesis x p x es verdadera se tiene que p x0 es verdadera. Como por hiptesis x q x es verdadera se tiene q x0 tambin lo es.
Lgica

x p x

q x

x p x

x q x

Lgica

Semana01[89/1]

Ejemplo importante: Equivalencia dividida en dos partes

Veremos ahora una tcnica de demostracin que se basa en una de las tautologas importantes que vimos antes. Supongamos que queremos demostrar que

es verdadera. Lo que haremos es usar la Tautologa 1,

En donde el rol de p y q est descrito arriba. sta nos permite dividir la demostracin en dos partes, ya que en q es verdadera, podemos vericar que p q q p es verdadera. lugar de vericar que p Esto, a su vez lo hacemos vericando que p q es verdadera y luego que q p tambin lo es. ) Hiptesis: x p x q x es verdadera. p.d.q: x p x x q x es verdadera. En efecto: Sea x arbitrario. Por hiptesis se tiene tanto p x como q x son verdaderas. En particular p x lo es. Es decir, probamos que x p x es verdadera. Anlogamente se tiene que tambin x q x es verdadera. ) Hiptesis: x p x x q x es verdadera. p.d.q: x p x q x es verdadera. En efecto: Sea x0 arbitrario. Como por hiptesis x p x es verdadera se tiene que p x0 es verdadera. Como por hiptesis x q x es verdadera se tiene q x0 tambin lo es.
Lgica

x p x

q x

x p x

x q x

Lgica

Semana01[90/1]

Convenciones en el desarrollo de un argumento

En la demostracin anterior la expresin ... es verdadera ... aparece una gran cantidad de veces. Por ejemplo en Hiptesis: x p x q x es verdadera. p.d.q: x p x x q x es verdadera. Esto no siempre es necesario pues se subentiende que al decir que la hiptesis es p estamos asumiendo que p es verdadera. Del mismo modo, si declaramos que queremos demostrar q se subentiende que deseamos demostrar que q es verdadera. Tambin es posible que despus de un razonamiento lleguemos a la conclusin que r es verdadera. Esto suele indicarse con expresiones del tipo se tiene r o y entonces r . Tomando estas convenciones la ltima parte del desarrollo anterior queda como sigue. Hiptesis: x p x x q x p.d.q: x p x q x En efecto: Sea x0 arbitrario. Como por hiptesis tiene q x0 .

Lgica

x p x , se tiene p x0 . Como por hiptesis

x q x , se

Lgica

Semana01[91/1]

Convenciones en el desarrollo de un argumento

En la demostracin anterior la expresin ... es verdadera ... aparece una gran cantidad de veces. Por ejemplo en Hiptesis: x p x q x es verdadera. p.d.q: x p x x q x es verdadera. Esto no siempre es necesario pues se subentiende que al decir que la hiptesis es p estamos asumiendo que p es verdadera. Del mismo modo, si declaramos que queremos demostrar q se subentiende que deseamos demostrar que q es verdadera. Tambin es posible que despus de un razonamiento lleguemos a la conclusin que r es verdadera. Esto suele indicarse con expresiones del tipo se tiene r o y entonces r . Tomando estas convenciones la ltima parte del desarrollo anterior queda como sigue. Hiptesis: x p x x q x p.d.q: x p x q x En efecto: Sea x0 arbitrario. Como por hiptesis tiene q x0 .

Lgica

x p x , se tiene p x0 . Como por hiptesis

x q x , se

Lgica

Semana01[92/1]

Convenciones en el desarrollo de un argumento

En la demostracin anterior la expresin ... es verdadera ... aparece una gran cantidad de veces. Por ejemplo en Hiptesis: x p x q x es verdadera. p.d.q: x p x x q x es verdadera. Esto no siempre es necesario pues se subentiende que al decir que la hiptesis es p estamos asumiendo que p es verdadera. Del mismo modo, si declaramos que queremos demostrar q se subentiende que deseamos demostrar que q es verdadera. Tambin es posible que despus de un razonamiento lleguemos a la conclusin que r es verdadera. Esto suele indicarse con expresiones del tipo se tiene r o y entonces r . Tomando estas convenciones la ltima parte del desarrollo anterior queda como sigue. Hiptesis: x p x x q x p.d.q: x p x q x En efecto: Sea x0 arbitrario. Como por hiptesis tiene q x0 .

Lgica

x p x , se tiene p x0 . Como por hiptesis

x q x , se

Lgica

Semana01[93/1]

Convenciones en el desarrollo de un argumento

En la demostracin anterior la expresin ... es verdadera ... aparece una gran cantidad de veces. Por ejemplo en Hiptesis: x p x q x es verdadera. p.d.q: x p x x q x es verdadera. Esto no siempre es necesario pues se subentiende que al decir que la hiptesis es p estamos asumiendo que p es verdadera. Del mismo modo, si declaramos que queremos demostrar q se subentiende que deseamos demostrar que q es verdadera. Tambin es posible que despus de un razonamiento lleguemos a la conclusin que r es verdadera. Esto suele indicarse con expresiones del tipo se tiene r o y entonces r . Tomando estas convenciones la ltima parte del desarrollo anterior queda como sigue. Hiptesis: x p x x q x p.d.q: x p x q x En efecto: Sea x0 arbitrario. Como por hiptesis tiene q x0 .

Lgica

x p x , se tiene p x0 . Como por hiptesis

x q x , se

Lgica

Semana01[94/1]

Convenciones en el desarrollo de un argumento

En la demostracin anterior la expresin ... es verdadera ... aparece una gran cantidad de veces. Por ejemplo en Hiptesis: x p x q x es verdadera. p.d.q: x p x x q x es verdadera. Esto no siempre es necesario pues se subentiende que al decir que la hiptesis es p estamos asumiendo que p es verdadera. Del mismo modo, si declaramos que queremos demostrar q se subentiende que deseamos demostrar que q es verdadera. Tambin es posible que despus de un razonamiento lleguemos a la conclusin que r es verdadera. Esto suele indicarse con expresiones del tipo se tiene r o y entonces r . Tomando estas convenciones la ltima parte del desarrollo anterior queda como sigue. Hiptesis: x p x x q x p.d.q: x p x q x En efecto: Sea x0 arbitrario. Como por hiptesis tiene q x0 .

Lgica

x p x , se tiene p x0 . Como por hiptesis

x q x , se

Lgica

Semana01[95/1]

Convenciones en el desarrollo de un argumento

En la demostracin anterior la expresin ... es verdadera ... aparece una gran cantidad de veces. Por ejemplo en Hiptesis: x p x q x es verdadera. p.d.q: x p x x q x es verdadera. Esto no siempre es necesario pues se subentiende que al decir que la hiptesis es p estamos asumiendo que p es verdadera. Del mismo modo, si declaramos que queremos demostrar q se subentiende que deseamos demostrar que q es verdadera. Tambin es posible que despus de un razonamiento lleguemos a la conclusin que r es verdadera. Esto suele indicarse con expresiones del tipo se tiene r o y entonces r . Tomando estas convenciones la ltima parte del desarrollo anterior queda como sigue. Hiptesis: x p x x q x p.d.q: x p x q x En efecto: Sea x0 arbitrario. Como por hiptesis tiene q x0 .

Lgica

x p x , se tiene p x0 . Como por hiptesis

x q x , se