Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un...
Transcript of Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un...
![Page 1: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/1.jpg)
Semana01[1/1]
Lógica
5 de marzo de 2007
Lógica
![Page 2: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/2.jpg)
Lógica Semana01[2/1]
Introducción
La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas apartir de axiomas. Por ejemplo:
axiomas de Euclides, definiciones, nociones primarias de geometría clásica+
lógica=
teoremas de la geometría euclidiana
Un ejemplo de noción primaria es la de punto. Un ejemplo de axioma es el que dice que por un punto ubicadofuera de una recta L pasa una y sólo una recta paralela a L.
Sin la lógica los axiomas serían un montón de verdades aceptadas, pero nada más. La lógica, sin embargo,les da sentido y permite concluir nueva verdades (teoremas) que antes no conocíamos. Un ejemplo deteorema: la suma de los ángulos interiores de cualquier triángulo siempre es de 180
�
.
Al ser la lógica el punto de partida de las matemáticas, en ella se deben introducir nociones primarias talescomo proposición, valor de verdad, conectivo lógico.
Lógica
![Page 3: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/3.jpg)
Lógica Semana01[3/1]
Introducción
La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas apartir de axiomas. Por ejemplo:
axiomas de Euclides, definiciones, nociones primarias de geometría clásica+
lógica=
teoremas de la geometría euclidiana
Un ejemplo de noción primaria es la de punto. Un ejemplo de axioma es el que dice que por un punto ubicadofuera de una recta L pasa una y sólo una recta paralela a L.
Sin la lógica los axiomas serían un montón de verdades aceptadas, pero nada más. La lógica, sin embargo,les da sentido y permite concluir nueva verdades (teoremas) que antes no conocíamos. Un ejemplo deteorema: la suma de los ángulos interiores de cualquier triángulo siempre es de 180
�
.
Al ser la lógica el punto de partida de las matemáticas, en ella se deben introducir nociones primarias talescomo proposición, valor de verdad, conectivo lógico.
Lógica
![Page 4: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/4.jpg)
Lógica Semana01[4/1]
Introducción
La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas apartir de axiomas. Por ejemplo:
axiomas de Euclides, definiciones, nociones primarias de geometría clásica+
lógica=
teoremas de la geometría euclidiana
Un ejemplo de noción primaria es la de punto. Un ejemplo de axioma es el que dice que por un punto ubicadofuera de una recta L pasa una y sólo una recta paralela a L.
Sin la lógica los axiomas serían un montón de verdades aceptadas, pero nada más. La lógica, sin embargo,les da sentido y permite concluir nueva verdades (teoremas) que antes no conocíamos. Un ejemplo deteorema: la suma de los ángulos interiores de cualquier triángulo siempre es de 180
�
.
Al ser la lógica el punto de partida de las matemáticas, en ella se deben introducir nociones primarias talescomo proposición, valor de verdad, conectivo lógico.
Lógica
![Page 5: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/5.jpg)
Lógica Semana01[5/1]
Introducción
La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas apartir de axiomas. Por ejemplo:
axiomas de Euclides, definiciones, nociones primarias de geometría clásica+
lógica=
teoremas de la geometría euclidiana
Un ejemplo de noción primaria es la de punto. Un ejemplo de axioma es el que dice que por un punto ubicadofuera de una recta L pasa una y sólo una recta paralela a L.
Sin la lógica los axiomas serían un montón de verdades aceptadas, pero nada más. La lógica, sin embargo,les da sentido y permite concluir nueva verdades (teoremas) que antes no conocíamos. Un ejemplo deteorema: la suma de los ángulos interiores de cualquier triángulo siempre es de 180
�
.
Al ser la lógica el punto de partida de las matemáticas, en ella se deben introducir nociones primarias talescomo proposición, valor de verdad, conectivo lógico.
Lógica
![Page 6: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/6.jpg)
Lógica Semana01[6/1]
Proposiciones y valor de verdad
Proposición lógicaUna proposición debe interpretarse como un enunciado que siempre toma uno de los valores de verdadposibles: verdadero (V ) o falso (F ).
Por ejemplo, en el contexto de la aritmética, “2+1=5” corresponde efectivamente a una proposición. Más aún,su valor de verdad es F .
Típicamente notaremos a las proposiciones con letras minúsculas: p � q � r , etc.
Algunos ejemplos:
“Estoy estudiando ingeniería”.
“1�
0”.
“Está lloviendo en Valdivia”.
Lógica
![Page 7: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/7.jpg)
Lógica Semana01[7/1]
Proposiciones y valor de verdad
Proposición lógicaUna proposición debe interpretarse como un enunciado que siempre toma uno de los valores de verdadposibles: verdadero (V ) o falso (F ).
Por ejemplo, en el contexto de la aritmética, “2+1=5” corresponde efectivamente a una proposición. Más aún,su valor de verdad es F .
Típicamente notaremos a las proposiciones con letras minúsculas: p � q � r , etc.
Algunos ejemplos:
“Estoy estudiando ingeniería”.
“1�
0”.
“Está lloviendo en Valdivia”.
Lógica
![Page 8: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/8.jpg)
Lógica Semana01[8/1]
Proposiciones y valor de verdad
Proposición lógicaUna proposición debe interpretarse como un enunciado que siempre toma uno de los valores de verdadposibles: verdadero (V ) o falso (F ).
Por ejemplo, en el contexto de la aritmética, “2+1=5” corresponde efectivamente a una proposición. Más aún,su valor de verdad es F .
Típicamente notaremos a las proposiciones con letras minúsculas: p � q � r , etc.
Algunos ejemplos:
“Estoy estudiando ingeniería”.
“1�
0”.
“Está lloviendo en Valdivia”.
Lógica
![Page 9: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/9.jpg)
Lógica Semana01[9/1]
Proposiciones y valor de verdad
Proposición lógicaUna proposición debe interpretarse como un enunciado que siempre toma uno de los valores de verdadposibles: verdadero (V ) o falso (F ).
Por ejemplo, en el contexto de la aritmética, “2+1=5” corresponde efectivamente a una proposición. Más aún,su valor de verdad es F .
Típicamente notaremos a las proposiciones con letras minúsculas: p � q � r , etc.
Algunos ejemplos:
“Estoy estudiando ingeniería”.
“1�
0”.
“Está lloviendo en Valdivia”.
Lógica
![Page 10: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/10.jpg)
Lógica Semana01[10/1]
Conectivos lógicos
Los conectivos lógicos sirven para construir nuevas proposiciones a partir de proposiciones ya conocidas. Elvalor de verdad de la nueva proposición dependerá del valor de verdad de las proposiciones que la forman.Esta dependencia se explicita a través de una tabla de verdad.
NegaciónLa proposición p se lee “no p” y es aquella cuyo valor de verdad es siempre distinto al de p. Por ejemplo, lanegación de “mi hermano ya cumplió quince años” es “mi hermano aún no cumple quince años”. Esto seexplicita a través de la siguiente tabla de verdad.
p pV FF V
O lógico o disyunción.La proposición p � q se lee “p o q”. Decimos que p � q es verdad, o que “se tiene p � q”, cuando al menos unade las dos proposiciones, o bien p o bien q, es verdadera. Por ejemplo, la proposición “mañana lloverá omañana no lloverá” es verdadera. En otras palabras, tal como se aprecia en la siguiente tabla de verdad, sialguien afirma que se tiene p � q lo que nos está diciendo es que nunca son simultáneamente falsas.
p q p � qV V VV F VF V VF F F
Lógica
![Page 11: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/11.jpg)
Lógica Semana01[11/1]
Conectivos lógicos
Los conectivos lógicos sirven para construir nuevas proposiciones a partir de proposiciones ya conocidas. Elvalor de verdad de la nueva proposición dependerá del valor de verdad de las proposiciones que la forman.Esta dependencia se explicita a través de una tabla de verdad.
NegaciónLa proposición p se lee “no p” y es aquella cuyo valor de verdad es siempre distinto al de p. Por ejemplo, lanegación de “mi hermano ya cumplió quince años” es “mi hermano aún no cumple quince años”. Esto seexplicita a través de la siguiente tabla de verdad.
p pV FF V
O lógico o disyunción.La proposición p � q se lee “p o q”. Decimos que p � q es verdad, o que “se tiene p � q”, cuando al menos unade las dos proposiciones, o bien p o bien q, es verdadera. Por ejemplo, la proposición “mañana lloverá omañana no lloverá” es verdadera. En otras palabras, tal como se aprecia en la siguiente tabla de verdad, sialguien afirma que se tiene p � q lo que nos está diciendo es que nunca son simultáneamente falsas.
p q p � qV V VV F VF V VF F F
Lógica
![Page 12: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/12.jpg)
Lógica Semana01[12/1]
Conectivos lógicos
Los conectivos lógicos sirven para construir nuevas proposiciones a partir de proposiciones ya conocidas. Elvalor de verdad de la nueva proposición dependerá del valor de verdad de las proposiciones que la forman.Esta dependencia se explicita a través de una tabla de verdad.
NegaciónLa proposición p se lee “no p” y es aquella cuyo valor de verdad es siempre distinto al de p. Por ejemplo, lanegación de “mi hermano ya cumplió quince años” es “mi hermano aún no cumple quince años”. Esto seexplicita a través de la siguiente tabla de verdad.
p pV FF V
O lógico o disyunción.La proposición p � q se lee “p o q”. Decimos que p � q es verdad, o que “se tiene p � q”, cuando al menos unade las dos proposiciones, o bien p o bien q, es verdadera. Por ejemplo, la proposición “mañana lloverá omañana no lloverá” es verdadera. En otras palabras, tal como se aprecia en la siguiente tabla de verdad, sialguien afirma que se tiene p � q lo que nos está diciendo es que nunca son simultáneamente falsas.
p q p � qV V VV F VF V VF F F
Lógica
![Page 13: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/13.jpg)
Lógica Semana01[13/1]
Conectivos lógicos
Y lógico o conjunción.La proposición p � q se lee “p y q”. Tal como se aprecia en la siguiente tabla de verdad, si alguien afirma quese tiene p � q, lo que nos está diciendo es que ambas proposiciones son verdaderas.
p q p � qV V VV F FF V FF F F
Implicancia.Todos estaremos de acuerdo en considerar verdadera la proposición “si el señor K está en California entoncesel señor K está en Estados Unidos”. ¿Por qué?Porque a uno no le importa dónde está el señor K: podría estar en Texas o en China. Lo único importante esque, si efectivamente “está en Californa”, entonces podemos concluir, con esa sola información, que “está enEstados Unidos”.La proposición p � q se lee “p implica q” o “si p entonces q”. Para estudiar su valor de verdad nos debemosconcentrar en el caso de que la hipótesis p sea verdadera. Ahí tenemos que determinar si basta con esainformación para concluir que q es verdadera. En resumen: si alguien afirma que se tiene p � q, debemosconcluir que si p es verdad entonces necesariamente q será verdad. Todo esto se explicita a través de lasiguiente tabla.
p q p � qV V VV F FF V VF F V
Lógica
![Page 14: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/14.jpg)
Lógica Semana01[14/1]
Conectivos lógicos
Y lógico o conjunción.La proposición p � q se lee “p y q”. Tal como se aprecia en la siguiente tabla de verdad, si alguien afirma quese tiene p � q, lo que nos está diciendo es que ambas proposiciones son verdaderas.
p q p � qV V VV F FF V FF F F
Implicancia.Todos estaremos de acuerdo en considerar verdadera la proposición “si el señor K está en California entoncesel señor K está en Estados Unidos”. ¿Por qué?Porque a uno no le importa dónde está el señor K: podría estar en Texas o en China. Lo único importante esque, si efectivamente “está en Californa”, entonces podemos concluir, con esa sola información, que “está enEstados Unidos”.La proposición p � q se lee “p implica q” o “si p entonces q”. Para estudiar su valor de verdad nos debemosconcentrar en el caso de que la hipótesis p sea verdadera. Ahí tenemos que determinar si basta con esainformación para concluir que q es verdadera. En resumen: si alguien afirma que se tiene p � q, debemosconcluir que si p es verdad entonces necesariamente q será verdad. Todo esto se explicita a través de lasiguiente tabla.
p q p � qV V VV F FF V VF F V
Lógica
![Page 15: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/15.jpg)
Lógica Semana01[15/1]
Conectivos lógicos
Y lógico o conjunción.La proposición p � q se lee “p y q”. Tal como se aprecia en la siguiente tabla de verdad, si alguien afirma quese tiene p � q, lo que nos está diciendo es que ambas proposiciones son verdaderas.
p q p � qV V VV F FF V FF F F
Implicancia.Todos estaremos de acuerdo en considerar verdadera la proposición “si el señor K está en California entoncesel señor K está en Estados Unidos”. ¿Por qué?Porque a uno no le importa dónde está el señor K: podría estar en Texas o en China. Lo único importante esque, si efectivamente “está en Californa”, entonces podemos concluir, con esa sola información, que “está enEstados Unidos”.La proposición p � q se lee “p implica q” o “si p entonces q”. Para estudiar su valor de verdad nos debemosconcentrar en el caso de que la hipótesis p sea verdadera. Ahí tenemos que determinar si basta con esainformación para concluir que q es verdadera. En resumen: si alguien afirma que se tiene p � q, debemosconcluir que si p es verdad entonces necesariamente q será verdad. Todo esto se explicita a través de lasiguiente tabla.
p q p � qV V VV F FF V VF F V
Lógica
![Page 16: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/16.jpg)
Lógica Semana01[16/1]
Conectivos lógicos
Y lógico o conjunción.La proposición p � q se lee “p y q”. Tal como se aprecia en la siguiente tabla de verdad, si alguien afirma quese tiene p � q, lo que nos está diciendo es que ambas proposiciones son verdaderas.
p q p � qV V VV F FF V FF F F
Implicancia.Todos estaremos de acuerdo en considerar verdadera la proposición “si el señor K está en California entoncesel señor K está en Estados Unidos”. ¿Por qué?Porque a uno no le importa dónde está el señor K: podría estar en Texas o en China. Lo único importante esque, si efectivamente “está en Californa”, entonces podemos concluir, con esa sola información, que “está enEstados Unidos”.La proposición p � q se lee “p implica q” o “si p entonces q”. Para estudiar su valor de verdad nos debemosconcentrar en el caso de que la hipótesis p sea verdadera. Ahí tenemos que determinar si basta con esainformación para concluir que q es verdadera. En resumen: si alguien afirma que se tiene p � q, debemosconcluir que si p es verdad entonces necesariamente q será verdad. Todo esto se explicita a través de lasiguiente tabla.
p q p � qV V VV F FF V VF F V
Lógica
![Page 17: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/17.jpg)
Lógica Semana01[17/1]
Conectivos lógicos
Y lógico o conjunción.La proposición p � q se lee “p y q”. Tal como se aprecia en la siguiente tabla de verdad, si alguien afirma quese tiene p � q, lo que nos está diciendo es que ambas proposiciones son verdaderas.
p q p � qV V VV F FF V FF F F
Implicancia.Todos estaremos de acuerdo en considerar verdadera la proposición “si el señor K está en California entoncesel señor K está en Estados Unidos”. ¿Por qué?Porque a uno no le importa dónde está el señor K: podría estar en Texas o en China. Lo único importante esque, si efectivamente “está en Californa”, entonces podemos concluir, con esa sola información, que “está enEstados Unidos”.La proposición p � q se lee “p implica q” o “si p entonces q”. Para estudiar su valor de verdad nos debemosconcentrar en el caso de que la hipótesis p sea verdadera. Ahí tenemos que determinar si basta con esainformación para concluir que q es verdadera. En resumen: si alguien afirma que se tiene p � q, debemosconcluir que si p es verdad entonces necesariamente q será verdad. Todo esto se explicita a través de lasiguiente tabla.
p q p � qV V VV F FF V VF F V
Lógica
![Page 18: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/18.jpg)
Lógica Semana01[18/1]
Conectivos lógicos
EquivalenciaDecimos que la proposición p es equivalente con la proposición q (o que “p si y sólo si q”), y escribimosp � � 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 paralelógramo dibujado en la pared tiene todos sus ángulos iguales” es equivalente con laproposición “las diagonales del paralelógramo dibujado en la pared miden lo mismo”. O bien ambas sonverdaderas o bien ambas son falsas.
p q p � � qV V VV F FF V FF F V
Lógica
![Page 19: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/19.jpg)
Lógica Semana01[19/1]
Conectivos lógicos
EquivalenciaDecimos que la proposición p es equivalente con la proposición q (o que “p si y sólo si q”), y escribimosp � � 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 paralelógramo dibujado en la pared tiene todos sus ángulos iguales” es equivalente con laproposición “las diagonales del paralelógramo dibujado en la pared miden lo mismo”. O bien ambas sonverdaderas o bien ambas son falsas.
p q p � � qV V VV F FF V FF F V
Lógica
![Page 20: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/20.jpg)
Lógica Semana01[20/1]
Conectivos lógicos
EquivalenciaDecimos que la proposición p es equivalente con la proposición q (o que “p si y sólo si q”), y escribimosp � � 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 paralelógramo dibujado en la pared tiene todos sus ángulos iguales” es equivalente con laproposición “las diagonales del paralelógramo dibujado en la pared miden lo mismo”. O bien ambas sonverdaderas o bien ambas son falsas.
p q p � � qV V VV F FF V FF F V
Lógica
![Page 21: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/21.jpg)
Lógica Semana01[21/1]
Tautologías
TautologíaUna tautología es una proposición que, sin importar el valor de verdad de las proposiciones que lasconstituyen, es siempre verdadera.
Tres ejemplos bastante razonables:
Ejemplop � p
p � p � q�p � � q � � �
�q � � p �
Demostraremos, desarrollando una tabla de verdad, que la primera proposición es tautología.
p p p � pV F VF V V
Todas las tautologías son equivalentes entre sí y se pueden reemplazar por la proposición V . Por ejemplo�p � p � � � V . Esto es análogo a lo que hacemos cuando reemplazamos el término
�x � x � por el símbolo 0.
ContradicciónAsí como existen las tautologías existen las contradicciones. Son proposiciones siempre falsas.
Por ejemplo, p � p. Son todas equivalentes a la proposición F .
Lógica
![Page 22: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/22.jpg)
Lógica Semana01[22/1]
Tautologías
TautologíaUna tautología es una proposición que, sin importar el valor de verdad de las proposiciones que lasconstituyen, es siempre verdadera.
Tres ejemplos bastante razonables:
Ejemplop � p
p � p � q�p � � q � � �
�q � � p �
Demostraremos, desarrollando una tabla de verdad, que la primera proposición es tautología.
p p p � pV F VF V V
Todas las tautologías son equivalentes entre sí y se pueden reemplazar por la proposición V . Por ejemplo�p � p � � � V . Esto es análogo a lo que hacemos cuando reemplazamos el término
�x � x � por el símbolo 0.
ContradicciónAsí como existen las tautologías existen las contradicciones. Son proposiciones siempre falsas.
Por ejemplo, p � p. Son todas equivalentes a la proposición F .
Lógica
![Page 23: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/23.jpg)
Lógica Semana01[23/1]
Tautologías
TautologíaUna tautología es una proposición que, sin importar el valor de verdad de las proposiciones que lasconstituyen, es siempre verdadera.
Tres ejemplos bastante razonables:
Ejemplop � p
p � p � q�p � � q � � �
�q � � p �
Demostraremos, desarrollando una tabla de verdad, que la primera proposición es tautología.
p p p � pV F VF V V
Todas las tautologías son equivalentes entre sí y se pueden reemplazar por la proposición V . Por ejemplo�p � p � � � V . Esto es análogo a lo que hacemos cuando reemplazamos el término
�x � x � por el símbolo 0.
ContradicciónAsí como existen las tautologías existen las contradicciones. Son proposiciones siempre falsas.
Por ejemplo, p � p. Son todas equivalentes a la proposición F .
Lógica
![Page 24: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/24.jpg)
Lógica Semana01[24/1]
Tautologías
TautologíaUna tautología es una proposición que, sin importar el valor de verdad de las proposiciones que lasconstituyen, es siempre verdadera.
Tres ejemplos bastante razonables:
Ejemplop � p
p � p � q�p � � q � � �
�q � � p �
Demostraremos, desarrollando una tabla de verdad, que la primera proposición es tautología.
p p p � pV F VF V V
Todas las tautologías son equivalentes entre sí y se pueden reemplazar por la proposición V . Por ejemplo�p � p � � � V . Esto es análogo a lo que hacemos cuando reemplazamos el término
�x � x � por el símbolo 0.
ContradicciónAsí como existen las tautologías existen las contradicciones. Son proposiciones siempre falsas.
Por ejemplo, p � p. Son todas equivalentes a la proposición F .
Lógica
![Page 25: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/25.jpg)
Lógica Semana01[25/1]
Tautologías
TautologíaUna tautología es una proposición que, sin importar el valor de verdad de las proposiciones que lasconstituyen, es siempre verdadera.
Tres ejemplos bastante razonables:
Ejemplop � p
p � p � q�p � � q � � �
�q � � p �
Demostraremos, desarrollando una tabla de verdad, que la primera proposición es tautología.
p p p � pV F VF V V
Todas las tautologías son equivalentes entre sí y se pueden reemplazar por la proposición V . Por ejemplo�p � p � � � V . Esto es análogo a lo que hacemos cuando reemplazamos el término
�x � x � por el símbolo 0.
ContradicciónAsí como existen las tautologías existen las contradicciones. Son proposiciones siempre falsas.
Por ejemplo, p � p. Son todas equivalentes a la proposición F .
Lógica
![Page 26: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/26.jpg)
Lógica Semana01[26/1]
Tautologías
TautologíaUna tautología es una proposición que, sin importar el valor de verdad de las proposiciones que lasconstituyen, es siempre verdadera.
Tres ejemplos bastante razonables:
Ejemplop � p
p � p � q�p � � q � � �
�q � � p �
Demostraremos, desarrollando una tabla de verdad, que la primera proposición es tautología.
p p p � pV F VF V V
Todas las tautologías son equivalentes entre sí y se pueden reemplazar por la proposición V . Por ejemplo�p � p � � � V . Esto es análogo a lo que hacemos cuando reemplazamos el término
�x � x � por el símbolo 0.
ContradicciónAsí como existen las tautologías existen las contradicciones. Son proposiciones siempre falsas.
Por ejemplo, p � p. Son todas equivalentes a la proposición F .
Lógica
![Page 27: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/27.jpg)
Lógica Semana01[27/1]
Tautologías
TautologíaUna tautología es una proposición que, sin importar el valor de verdad de las proposiciones que lasconstituyen, es siempre verdadera.
Tres ejemplos bastante razonables:
Ejemplop � p
p � p � q�p � � q � � �
�q � � p �
Demostraremos, desarrollando una tabla de verdad, que la primera proposición es tautología.
p p p � pV F VF V V
Todas las tautologías son equivalentes entre sí y se pueden reemplazar por la proposición V . Por ejemplo�p � p � � � V . Esto es análogo a lo que hacemos cuando reemplazamos el término
�x � x � por el símbolo 0.
ContradicciónAsí como existen las tautologías existen las contradicciones. Son proposiciones siempre falsas.
Por ejemplo, p � p. Son todas equivalentes a la proposición F .
Lógica
![Page 28: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/28.jpg)
Lógica Semana01[28/1]
Tautologías
Vamos a listar una serie de tautologías de la forma A � � B. El uso que se les dará es el siguiente. Cada vezque en una cierta proposición aparezca la expresión A, puede reemplazarse por B. Y viceversa. El lector debedemostrar la condición de tautología de algunas de ellas usando tablas de verdad, como ejercicio.
Tautologías importantes
1
�p � p � � � F
�p � V � � � p
�p � F � � � F�
p � p � � � V�p � V � � � V
�p � F � � � p
2 Caracterización de la implicancia.�p � q � � �
�p � q �
3 Leyes de De Morgan.3.1. � p � q ����� � p � q �3.2. � p � q ����� � p � q �
4 Doble negación. p � � p5 Conmutatividad.
5.1. � p � q ����� � q � p �5.2. � p � q ����� � q � p �
6 Asociatividad.6.1. � p ��� q � r ����� �� p � q ��� r �6.2. � p ��� q � r ����� �� p � q ��� r �
7 Distributividad.7.1. � p ��� q � r ����� �� p � q ����� p � r ��7.2. � p ��� q � r ����� �� p � q ����� p � r ��7.3. �� q � r ��� p � ��� �� q � p ����� r � p ��7.4. �� q � r ��� p � ��� �� q � p ����� r � p ��
Lógica
![Page 29: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/29.jpg)
Lógica Semana01[29/1]
Tautologías
Vamos a listar una serie de tautologías de la forma A � � B. El uso que se les dará es el siguiente. Cada vezque en una cierta proposición aparezca la expresión A, puede reemplazarse por B. Y viceversa. El lector debedemostrar la condición de tautología de algunas de ellas usando tablas de verdad, como ejercicio.
Tautologías importantes
1
�p � p � � � F
�p � V � � � p
�p � F � � � F�
p � p � � � V�p � V � � � V
�p � F � � � p
2 Caracterización de la implicancia.�p � q � � �
�p � q �
3 Leyes de De Morgan.3.1. � p � q ����� � p � q �3.2. � p � q ����� � p � q �
4 Doble negación. p � � p5 Conmutatividad.
5.1. � p � q ����� � q � p �5.2. � p � q ����� � q � p �
6 Asociatividad.6.1. � p ��� q � r ����� �� p � q ��� r �6.2. � p ��� q � r ����� �� p � q ��� r �
7 Distributividad.7.1. � p ��� q � r ����� �� p � q ����� p � r ��7.2. � p ��� q � r ����� �� p � q ����� p � r ��7.3. �� q � r ��� p � ��� �� q � p ����� r � p ��7.4. �� q � r ��� p � ��� �� q � p ����� r � p ��
Lógica
![Page 30: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/30.jpg)
Lógica Semana01[30/1]
Tautologías: Cuatro muy importantes
Estas cuatro tautologías se prueban usando tablas de verdad. Son particularmente útiles para demostrarteoremas.
Cada una de ellas da lugar a una técnica de demostración: equivalencia dividida en dos partes, transitividad,contrarrecíproca, reducción al absurdo. En las partes que siguen ilustraremos el uso de estas técnicas. Veráseste símbolo � cada vez que lo hagamos.
Tautologías1 Equivalencia dividida en dos partes.
�p � � q � � �
�p � q � q � p �
2 Transitividad.� �
p � q � ��q � r � � �
�p � r �
3 Contrarrecíproca.�p � q � � �
�q � p �
4 Reducción al absurdo.�p � q � � �
�p � q �
Lógica
![Page 31: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/31.jpg)
Lógica Semana01[31/1]
Tautologías: Cuatro muy importantes
Estas cuatro tautologías se prueban usando tablas de verdad. Son particularmente útiles para demostrarteoremas.
Cada una de ellas da lugar a una técnica de demostración: equivalencia dividida en dos partes, transitividad,contrarrecíproca, reducción al absurdo. En las partes que siguen ilustraremos el uso de estas técnicas. Veráseste símbolo � cada vez que lo hagamos.
Tautologías1 Equivalencia dividida en dos partes.
�p � � q � � �
�p � q � q � p �
2 Transitividad.� �
p � q � ��q � r � � �
�p � r �
3 Contrarrecíproca.�p � q � � �
�q � p �
4 Reducción al absurdo.�p � q � � �
�p � q �
Lógica
![Page 32: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/32.jpg)
Lógica Semana01[32/1]
Tautologías: Cuatro muy importantes
Estas cuatro tautologías se prueban usando tablas de verdad. Son particularmente útiles para demostrarteoremas.
Cada una de ellas da lugar a una técnica de demostración: equivalencia dividida en dos partes, transitividad,contrarrecíproca, reducción al absurdo. En las partes que siguen ilustraremos el uso de estas técnicas. Veráseste símbolo � cada vez que lo hagamos.
Tautologías1 Equivalencia dividida en dos partes.
�p � � q � � �
�p � q � q � p �
2 Transitividad.� �
p � q � ��q � r � � �
�p � r �
3 Contrarrecíproca.�p � q � � �
�q � p �
4 Reducción al absurdo.�p � q � � �
�p � q �
Lógica
![Page 33: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/33.jpg)
Lógica Semana01[33/1]
Tautologías: Verificación simbólica y exploratoria
Cuando queremos verificar de manera simbólica que cierta proposición es tautología evitaremos usar tablasde verdad y sólo nos permitiremos usar (como conocidas) las tautologías básicas que aparecen en lassecciones anteriores. Demostremos de manera simbólica entonces que:
�p � � q � � �
�p � q � �
�p � q �
En efecto: �p � � q � � �
�p � q � �
�q � p �
� ��p � q � �
�q � p �
� � � �p � q � � q � ��� �
p � q � � p �� � � �
p � q � ��q � q ��� ��� �
p � p � ��q � p ���
� � � �p � q � � F � ��� F �
�q � p ���
� ��p � q � �
�p � q �
En las demostraciones exploratorias se acepta “explorar” la tabla de verdad deshechando los casos "fáciles".Demostremos, exploratoriamente, que la siguiente proposición es tautología.
� �p � q � �
�r � q ��� �
�p � r �
Vamos a asumir que tanto (p � q) como (r � q) son verdaderas. Es decir, nos ocupamos sólo del caso enque la hipótesis es verdadera. Lo que debemos hacer es concluir que (p � r ) es verdadera.
Caso 1. p es falsa. Este caso es fácil: 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, setiene que (p � r ) es verdadera.
Lógica
![Page 34: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/34.jpg)
Lógica Semana01[34/1]
Tautologías: Verificación simbólica y exploratoria
Cuando queremos verificar de manera simbólica que cierta proposición es tautología evitaremos usar tablasde verdad y sólo nos permitiremos usar (como conocidas) las tautologías básicas que aparecen en lassecciones anteriores. Demostremos de manera simbólica entonces que:
�p � � q � � �
�p � q � �
�p � q �
En efecto: �p � � q � � �
�p � q � �
�q � p �
� ��p � q � �
�q � p �
� � � �p � q � � q � ��� �
p � q � � p �� � � �
p � q � ��q � q ��� ��� �
p � p � ��q � p ���
� � � �p � q � � F � ��� F �
�q � p ���
� ��p � q � �
�p � q �
En las demostraciones exploratorias se acepta “explorar” la tabla de verdad deshechando los casos "fáciles".Demostremos, exploratoriamente, que la siguiente proposición es tautología.
� �p � q � �
�r � q ��� �
�p � r �
Vamos a asumir que tanto (p � q) como (r � q) son verdaderas. Es decir, nos ocupamos sólo del caso enque la hipótesis es verdadera. Lo que debemos hacer es concluir que (p � r ) es verdadera.
Caso 1. p es falsa. Este caso es fácil: 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, setiene que (p � r ) es verdadera.
Lógica
![Page 35: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/35.jpg)
Lógica Semana01[35/1]
Tautologías: Verificación simbólica y exploratoria
Cuando queremos verificar de manera simbólica que cierta proposición es tautología evitaremos usar tablasde verdad y sólo nos permitiremos usar (como conocidas) las tautologías básicas que aparecen en lassecciones anteriores. Demostremos de manera simbólica entonces que:
�p � � q � � �
�p � q � �
�p � q �
En efecto: �p � � q � � �
�p � q � �
�q � p �
� ��p � q � �
�q � p �
� � � �p � q � � q � ��� �
p � q � � p �� � � �
p � q � ��q � q ��� ��� �
p � p � ��q � p ���
� � � �p � q � � F � ��� F �
�q � p ���
� ��p � q � �
�p � q �
En las demostraciones exploratorias se acepta “explorar” la tabla de verdad deshechando los casos "fáciles".Demostremos, exploratoriamente, que la siguiente proposición es tautología.
� �p � q � �
�r � q ��� �
�p � r �
Vamos a asumir que tanto (p � q) como (r � q) son verdaderas. Es decir, nos ocupamos sólo del caso enque la hipótesis es verdadera. Lo que debemos hacer es concluir que (p � r ) es verdadera.
Caso 1. p es falsa. Este caso es fácil: 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, setiene que (p � r ) es verdadera.
Lógica
![Page 36: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/36.jpg)
Lógica Semana01[36/1]
Tautologías: Verificación simbólica y exploratoria
Cuando queremos verificar de manera simbólica que cierta proposición es tautología evitaremos usar tablasde verdad y sólo nos permitiremos usar (como conocidas) las tautologías básicas que aparecen en lassecciones anteriores. Demostremos de manera simbólica entonces que:
�p � � q � � �
�p � q � �
�p � q �
En efecto: �p � � q � � �
�p � q � �
�q � p �
� ��p � q � �
�q � p �
� � � �p � q � � q � ��� �
p � q � � p �� � � �
p � q � ��q � q ��� ��� �
p � p � ��q � p ���
� � � �p � q � � F � ��� F �
�q � p ���
� ��p � q � �
�p � q �
En las demostraciones exploratorias se acepta “explorar” la tabla de verdad deshechando los casos "fáciles".Demostremos, exploratoriamente, que la siguiente proposición es tautología.
� �p � q � �
�r � q ��� �
�p � r �
Vamos a asumir que tanto (p � q) como (r � q) son verdaderas. Es decir, nos ocupamos sólo del caso enque la hipótesis es verdadera. Lo que debemos hacer es concluir que (p � r ) es verdadera.
Caso 1. p es falsa. Este caso es fácil: 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, setiene que (p � r ) es verdadera.
Lógica
![Page 37: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/37.jpg)
Lógica Semana01[37/1]
Tautologías: Verificación simbólica y exploratoria
Cuando queremos verificar de manera simbólica que cierta proposición es tautología evitaremos usar tablasde verdad y sólo nos permitiremos usar (como conocidas) las tautologías básicas que aparecen en lassecciones anteriores. Demostremos de manera simbólica entonces que:
�p � � q � � �
�p � q � �
�p � q �
En efecto: �p � � q � � �
�p � q � �
�q � p �
� ��p � q � �
�q � p �
� � � �p � q � � q � ��� �
p � q � � p �� � � �
p � q � ��q � q ��� ��� �
p � p � ��q � p ���
� � � �p � q � � F � ��� F �
�q � p ���
� ��p � q � �
�p � q �
En las demostraciones exploratorias se acepta “explorar” la tabla de verdad deshechando los casos "fáciles".Demostremos, exploratoriamente, que la siguiente proposición es tautología.
� �p � q � �
�r � q ��� �
�p � r �
Vamos a asumir que tanto (p � q) como (r � q) son verdaderas. Es decir, nos ocupamos sólo del caso enque la hipótesis es verdadera. Lo que debemos hacer es concluir que (p � r ) es verdadera.
Caso 1. p es falsa. Este caso es fácil: 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, setiene que (p � r ) es verdadera.
Lógica
![Page 38: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/38.jpg)
Lógica Semana01[38/1]
Tautologías: Verificación simbólica y exploratoria
Cuando queremos verificar de manera simbólica que cierta proposición es tautología evitaremos usar tablasde verdad y sólo nos permitiremos usar (como conocidas) las tautologías básicas que aparecen en lassecciones anteriores. Demostremos de manera simbólica entonces que:
�p � � q � � �
�p � q � �
�p � q �
En efecto: �p � � q � � �
�p � q � �
�q � p �
� ��p � q � �
�q � p �
� � � �p � q � � q � ��� �
p � q � � p �� � � �
p � q � ��q � q ��� ��� �
p � p � ��q � p ���
� � � �p � q � � F � ��� F �
�q � p ���
� ��p � q � �
�p � q �
En las demostraciones exploratorias se acepta “explorar” la tabla de verdad deshechando los casos "fáciles".Demostremos, exploratoriamente, que la siguiente proposición es tautología.
� �p � q � �
�r � q ��� �
�p � r �
Vamos a asumir que tanto (p � q) como (r � q) son verdaderas. Es decir, nos ocupamos sólo del caso enque la hipótesis es verdadera. Lo que debemos hacer es concluir que (p � r ) es verdadera.
Caso 1. p es falsa. Este caso es fácil: 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, setiene que (p � r ) es verdadera.
Lógica
![Page 39: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/39.jpg)
Lógica Semana01[39/1]
Tautologías: Verificación simbólica y exploratoria
Cuando queremos verificar de manera simbólica que cierta proposición es tautología evitaremos usar tablasde verdad y sólo nos permitiremos usar (como conocidas) las tautologías básicas que aparecen en lassecciones anteriores. Demostremos de manera simbólica entonces que:
�p � � q � � �
�p � q � �
�p � q �
En efecto: �p � � q � � �
�p � q � �
�q � p �
� ��p � q � �
�q � p �
� � � �p � q � � q � ��� �
p � q � � p �� � � �
p � q � ��q � q ��� ��� �
p � p � ��q � p ���
� � � �p � q � � F � ��� F �
�q � p ���
� ��p � q � �
�p � q �
En las demostraciones exploratorias se acepta “explorar” la tabla de verdad deshechando los casos "fáciles".Demostremos, exploratoriamente, que la siguiente proposición es tautología.
� �p � q � �
�r � q ��� �
�p � r �
Vamos a asumir que tanto (p � q) como (r � q) son verdaderas. Es decir, nos ocupamos sólo del caso enque la hipótesis es verdadera. Lo que debemos hacer es concluir que (p � r ) es verdadera.
Caso 1. p es falsa. Este caso es fácil: 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, setiene que (p � r ) es verdadera.
Lógica
![Page 40: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/40.jpg)
Lógica Semana01[40/1]
Tautologías: Verificación simbólica y exploratoria
Cuando queremos verificar de manera simbólica que cierta proposición es tautología evitaremos usar tablasde verdad y sólo nos permitiremos usar (como conocidas) las tautologías básicas que aparecen en lassecciones anteriores. Demostremos de manera simbólica entonces que:
�p � � q � � �
�p � q � �
�p � q �
En efecto: �p � � q � � �
�p � q � �
�q � p �
� ��p � q � �
�q � p �
� � � �p � q � � q � ��� �
p � q � � p �� � � �
p � q � ��q � q ��� ��� �
p � p � ��q � p ���
� � � �p � q � � F � ��� F �
�q � p ���
� ��p � q � �
�p � q �
En las demostraciones exploratorias se acepta “explorar” la tabla de verdad deshechando los casos "fáciles".Demostremos, exploratoriamente, que la siguiente proposición es tautología.
� �p � q � �
�r � q ��� �
�p � r �
Vamos a asumir que tanto (p � q) como (r � q) son verdaderas. Es decir, nos ocupamos sólo del caso enque la hipótesis es verdadera. Lo que debemos hacer es concluir que (p � r ) es verdadera.
Caso 1. p es falsa. Este caso es fácil: 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, setiene que (p � r ) es verdadera.
Lógica
![Page 41: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/41.jpg)
Lógica Semana01[41/1]
Tautologías: Verificación simbólica y exploratoria
Cuando queremos verificar de manera simbólica que cierta proposición es tautología evitaremos usar tablasde verdad y sólo nos permitiremos usar (como conocidas) las tautologías básicas que aparecen en lassecciones anteriores. Demostremos de manera simbólica entonces que:
�p � � q � � �
�p � q � �
�p � q �
En efecto: �p � � q � � �
�p � q � �
�q � p �
� ��p � q � �
�q � p �
� � � �p � q � � q � ��� �
p � q � � p �� � � �
p � q � ��q � q ��� ��� �
p � p � ��q � p ���
� � � �p � q � � F � ��� F �
�q � p ���
� ��p � q � �
�p � q �
En las demostraciones exploratorias se acepta “explorar” la tabla de verdad deshechando los casos "fáciles".Demostremos, exploratoriamente, que la siguiente proposición es tautología.
� �p � q � �
�r � q ��� �
�p � r �
Vamos a asumir que tanto (p � q) como (r � q) son verdaderas. Es decir, nos ocupamos sólo del caso enque la hipótesis es verdadera. Lo que debemos hacer es concluir que (p � r ) es verdadera.
Caso 1. p es falsa. Este caso es fácil: 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, setiene que (p � r ) es verdadera.
Lógica
![Page 42: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/42.jpg)
Lógica Semana01[42/1]
Tautologías: Verificación simbólica y exploratoria
Cuando queremos verificar de manera simbólica que cierta proposición es tautología evitaremos usar tablasde verdad y sólo nos permitiremos usar (como conocidas) las tautologías básicas que aparecen en lassecciones anteriores. Demostremos de manera simbólica entonces que:
�p � � q � � �
�p � q � �
�p � q �
En efecto: �p � � q � � �
�p � q � �
�q � p �
� ��p � q � �
�q � p �
� � � �p � q � � q � ��� �
p � q � � p �� � � �
p � q � ��q � q ��� ��� �
p � p � ��q � p ���
� � � �p � q � � F � ��� F �
�q � p ���
� ��p � q � �
�p � q �
En las demostraciones exploratorias se acepta “explorar” la tabla de verdad deshechando los casos "fáciles".Demostremos, exploratoriamente, que la siguiente proposición es tautología.
� �p � q � �
�r � q ��� �
�p � r �
Vamos a asumir que tanto (p � q) como (r � q) son verdaderas. Es decir, nos ocupamos sólo del caso enque la hipótesis es verdadera. Lo que debemos hacer es concluir que (p � r ) es verdadera.
Caso 1. p es falsa. Este caso es fácil: 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, setiene que (p � r ) es verdadera.
Lógica
![Page 43: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/43.jpg)
Lógica Semana01[43/1]
Tautologías: Verificación simbólica y exploratoria
Cuando queremos verificar de manera simbólica que cierta proposición es tautología evitaremos usar tablasde verdad y sólo nos permitiremos usar (como conocidas) las tautologías básicas que aparecen en lassecciones anteriores. Demostremos de manera simbólica entonces que:
�p � � q � � �
�p � q � �
�p � q �
En efecto: �p � � q � � �
�p � q � �
�q � p �
� ��p � q � �
�q � p �
� � � �p � q � � q � ��� �
p � q � � p �� � � �
p � q � ��q � q ��� ��� �
p � p � ��q � p ���
� � � �p � q � � F � ��� F �
�q � p ���
� ��p � q � �
�p � q �
En las demostraciones exploratorias se acepta “explorar” la tabla de verdad deshechando los casos "fáciles".Demostremos, exploratoriamente, que la siguiente proposición es tautología.
� �p � q � �
�r � q ��� �
�p � r �
Vamos a asumir que tanto (p � q) como (r � q) son verdaderas. Es decir, nos ocupamos sólo del caso enque la hipótesis es verdadera. Lo que debemos hacer es concluir que (p � r ) es verdadera.
Caso 1. p es falsa. Este caso es fácil: 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, setiene que (p � r ) es verdadera.
Lógica
![Page 44: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/44.jpg)
Lógica Semana01[44/1]
Tautologías: Verificación simbólica y exploratoria
Cuando queremos verificar de manera simbólica que cierta proposición es tautología evitaremos usar tablasde verdad y sólo nos permitiremos usar (como conocidas) las tautologías básicas que aparecen en lassecciones anteriores. Demostremos de manera simbólica entonces que:
�p � � q � � �
�p � q � �
�p � q �
En efecto: �p � � q � � �
�p � q � �
�q � p �
� ��p � q � �
�q � p �
� � � �p � q � � q � ��� �
p � q � � p �� � � �
p � q � ��q � q ��� ��� �
p � p � ��q � p ���
� � � �p � q � � F � ��� F �
�q � p ���
� ��p � q � �
�p � q �
En las demostraciones exploratorias se acepta “explorar” la tabla de verdad deshechando los casos "fáciles".Demostremos, exploratoriamente, que la siguiente proposición es tautología.
� �p � q � �
�r � q ��� �
�p � r �
Vamos a asumir que tanto (p � q) como (r � q) son verdaderas. Es decir, nos ocupamos sólo del caso enque la hipótesis es verdadera. Lo que debemos hacer es concluir que (p � r ) es verdadera.
Caso 1. p es falsa. Este caso es fácil: 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, setiene que (p � r ) es verdadera.
Lógica
![Page 45: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/45.jpg)
Lógica Semana01[45/1]
Tautologías: Verificación simbólica y exploratoria
Cuando queremos verificar de manera simbólica que cierta proposición es tautología evitaremos usar tablasde verdad y sólo nos permitiremos usar (como conocidas) las tautologías básicas que aparecen en lassecciones anteriores. Demostremos de manera simbólica entonces que:
�p � � q � � �
�p � q � �
�p � q �
En efecto: �p � � q � � �
�p � q � �
�q � p �
� ��p � q � �
�q � p �
� � � �p � q � � q � ��� �
p � q � � p �� � � �
p � q � ��q � q ��� ��� �
p � p � ��q � p ���
� � � �p � q � � F � ��� F �
�q � p ���
� ��p � q � �
�p � q �
En las demostraciones exploratorias se acepta “explorar” la tabla de verdad deshechando los casos "fáciles".Demostremos, exploratoriamente, que la siguiente proposición es tautología.
� �p � q � �
�r � q ��� �
�p � r �
Vamos a asumir que tanto (p � q) como (r � q) son verdaderas. Es decir, nos ocupamos sólo del caso enque la hipótesis es verdadera. Lo que debemos hacer es concluir que (p � r ) es verdadera.
Caso 1. p es falsa. Este caso es fácil: 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, setiene que (p � r ) es verdadera.
Lógica
![Page 46: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/46.jpg)
Lógica Semana01[46/1]
Tautologías: Verificación simbólica y exploratoria
Cuando queremos verificar de manera simbólica que cierta proposición es tautología evitaremos usar tablasde verdad y sólo nos permitiremos usar (como conocidas) las tautologías básicas que aparecen en lassecciones anteriores. Demostremos de manera simbólica entonces que:
�p � � q � � �
�p � q � �
�p � q �
En efecto: �p � � q � � �
�p � q � �
�q � p �
� ��p � q � �
�q � p �
� � � �p � q � � q � ��� �
p � q � � p �� � � �
p � q � ��q � q ��� ��� �
p � p � ��q � p ���
� � � �p � q � � F � ��� F �
�q � p ���
� ��p � q � �
�p � q �
En las demostraciones exploratorias se acepta “explorar” la tabla de verdad deshechando los casos "fáciles".Demostremos, exploratoriamente, que la siguiente proposición es tautología.
� �p � q � �
�r � q ��� �
�p � r �
Vamos a asumir que tanto (p � q) como (r � q) son verdaderas. Es decir, nos ocupamos sólo del caso enque la hipótesis es verdadera. Lo que debemos hacer es concluir que (p � r ) es verdadera.
Caso 1. p es falsa. Este caso es fácil: 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, setiene que (p � r ) es verdadera.
Lógica
![Page 47: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/47.jpg)
Lógica Semana01[47/1]
Función proposicional y cuantificadores
Función proposicionalUna función proposicional p es una expresión descrita en función de algún parámetro x que satisface losiguiente: cada vez que x se reemplaza por una cadena de símbolos, p
�x � se transforma en una proposición.
Ejemplosp
�x � = “x es un jugador de fútbol” es una función proposicional. Notar que p(Marcelo Salas) es
verdadera mientras que p(@r!!et) es falsa.
q�x � = “x � 5 � 0”, también es una función proposicional. q
�2 � es verdadera, pero q
�6 � es falsa.
ObservaciónEn adelante, usaremos p
�x � de dos formas distintas:
Para referirnos a la función proposicional misma y mostrar que x es la variable que reemplazamos porcadenas de símbolos para obtener proposiciones lógicas.
Para referirnos, cuando x es algo en particular, a la proposición que se forma de haber hecho elreemplazo en la función proposicional.
Lógica
![Page 48: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/48.jpg)
Lógica Semana01[48/1]
Función proposicional y cuantificadores
Función proposicionalUna función proposicional p es una expresión descrita en función de algún parámetro x que satisface losiguiente: cada vez que x se reemplaza por una cadena de símbolos, p
�x � se transforma en una proposición.
Ejemplosp
�x � = “x es un jugador de fútbol” es una función proposicional. Notar que p(Marcelo Salas) es
verdadera mientras que p(@r!!et) es falsa.
q�x � = “x � 5 � 0”, también es una función proposicional. q
�2 � es verdadera, pero q
�6 � es falsa.
ObservaciónEn adelante, usaremos p
�x � de dos formas distintas:
Para referirnos a la función proposicional misma y mostrar que x es la variable que reemplazamos porcadenas de símbolos para obtener proposiciones lógicas.
Para referirnos, cuando x es algo en particular, a la proposición que se forma de haber hecho elreemplazo en la función proposicional.
Lógica
![Page 49: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/49.jpg)
Lógica Semana01[49/1]
Función proposicional y cuantificadores
Función proposicionalUna función proposicional p es una expresión descrita en función de algún parámetro x que satisface losiguiente: cada vez que x se reemplaza por una cadena de símbolos, p
�x � se transforma en una proposición.
Ejemplosp
�x � = “x es un jugador de fútbol” es una función proposicional. Notar que p(Marcelo Salas) es
verdadera mientras que p(@r!!et) es falsa.
q�x � = “x � 5 � 0”, también es una función proposicional. q
�2 � es verdadera, pero q
�6 � es falsa.
ObservaciónEn adelante, usaremos p
�x � de dos formas distintas:
Para referirnos a la función proposicional misma y mostrar que x es la variable que reemplazamos porcadenas de símbolos para obtener proposiciones lógicas.
Para referirnos, cuando x es algo en particular, a la proposición que se forma de haber hecho elreemplazo en la función proposicional.
Lógica
![Page 50: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/50.jpg)
Lógica Semana01[50/1]
Función proposicional y cuantificadores
Función proposicionalUna función proposicional p es una expresión descrita en función de algún parámetro x que satisface losiguiente: cada vez que x se reemplaza por una cadena de símbolos, p
�x � se transforma en una proposición.
Ejemplosp
�x � = “x es un jugador de fútbol” es una función proposicional. Notar que p(Marcelo Salas) es
verdadera mientras que p(@r!!et) es falsa.
q�x � = “x � 5 � 0”, también es una función proposicional. q
�2 � es verdadera, pero q
�6 � es falsa.
ObservaciónEn adelante, usaremos p
�x � de dos formas distintas:
Para referirnos a la función proposicional misma y mostrar que x es la variable que reemplazamos porcadenas de símbolos para obtener proposiciones lógicas.
Para referirnos, cuando x es algo en particular, a la proposición que se forma de haber hecho elreemplazo en la función proposicional.
Lógica
![Page 51: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/51.jpg)
Lógica Semana01[51/1]
Función proposicional y cuantificadores
Función proposicionalUna función proposicional p es una expresión descrita en función de algún parámetro x que satisface losiguiente: cada vez que x se reemplaza por una cadena de símbolos, p
�x � se transforma en una proposición.
Ejemplosp
�x � = “x es un jugador de fútbol” es una función proposicional. Notar que p(Marcelo Salas) es
verdadera mientras que p(@r!!et) es falsa.
q�x � = “x � 5 � 0”, también es una función proposicional. q
�2 � es verdadera, pero q
�6 � es falsa.
ObservaciónEn adelante, usaremos p
�x � de dos formas distintas:
Para referirnos a la función proposicional misma y mostrar que x es la variable que reemplazamos porcadenas de símbolos para obtener proposiciones lógicas.
Para referirnos, cuando x es algo en particular, a la proposición que se forma de haber hecho elreemplazo en la función proposicional.
Lógica
![Page 52: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/52.jpg)
Lógica Semana01[52/1]
Función proposicional y cuantificadores: Cuantificador universal
Cuantificador universalLa proposición
���x � p �
x � , que se lee “para todo x p�x � ", es verdadera siempre y cuando p
�x � sea verdadera
para cualquier cadena de símbolos que se reemplace en x .
Veamos un ejemplo:
EjemploUsando el ejemplo anterior, p
�x � = “x es un jugador de fútbol”, ¿será verdadera
���x � p �
x � .Claramente, como vimos que p(@r!!et) es falsa, no es cierto que al reemplazar x por cualquier cadenade símbolos lo resultante sea una proposición verdadera.Luego
���x � p �
x � es falsa.
Lógica
![Page 53: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/53.jpg)
Lógica Semana01[53/1]
Función proposicional y cuantificadores: Cuantificador universal
Cuantificador universalLa proposición
���x � p �
x � , que se lee “para todo x p�x � ", es verdadera siempre y cuando p
�x � sea verdadera
para cualquier cadena de símbolos que se reemplace en x .
Veamos un ejemplo:
EjemploUsando el ejemplo anterior, p
�x � = “x es un jugador de fútbol”, ¿será verdadera
���x � p �
x � .Claramente, como vimos que p(@r!!et) es falsa, no es cierto que al reemplazar x por cualquier cadenade símbolos lo resultante sea una proposición verdadera.Luego
���x � p �
x � es falsa.
Lógica
![Page 54: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/54.jpg)
Lógica Semana01[54/1]
Función proposicional y cuantificadores: Cuantificador universal
Cuantificador universalLa proposición
���x � p �
x � , que se lee “para todo x p�x � ", es verdadera siempre y cuando p
�x � sea verdadera
para cualquier cadena de símbolos que se reemplace en x .
Veamos un ejemplo:
EjemploUsando el ejemplo anterior, p
�x � = “x es un jugador de fútbol”, ¿será verdadera
���x � p �
x � .Claramente, como vimos que p(@r!!et) es falsa, no es cierto que al reemplazar x por cualquier cadenade símbolos lo resultante sea una proposición verdadera.Luego
���x � p �
x � es falsa.
Lógica
![Page 55: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/55.jpg)
Lógica Semana01[55/1]
Función proposicional y cuantificadores: Cuantificador universal
Cuantificador universalLa proposición
���x � p �
x � , que se lee “para todo x p�x � ", es verdadera siempre y cuando p
�x � sea verdadera
para cualquier cadena de símbolos que se reemplace en x .
Veamos un ejemplo:
EjemploUsando el ejemplo anterior, p
�x � = “x es un jugador de fútbol”, ¿será verdadera
���x � p �
x � .Claramente, como vimos que p(@r!!et) es falsa, no es cierto que al reemplazar x por cualquier cadenade símbolos lo resultante sea una proposición verdadera.Luego
���x � p �
x � es falsa.
Lógica
![Page 56: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/56.jpg)
Lógica Semana01[56/1]
Función proposicional y cuantificadores: Cuantificador universal
A continuación veamos ejemplos de proposiciones construidas usando el cuantificador universal y cómo severifica la veracidad de dichas proposiciones.
Ejemplos���
x � �p
�x � � p
�x � � es verdadera. Verifiquemos 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. Demostrémoslo.
Sea x arbitrarioHipótesis: 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.
Hipótesis:���
x � p �x � �
���x � q �
x � es verdaderap.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 hipótesis, q
�x � tiene que ser verdadera. Se deduce que�
p�x � � q
�x � � es verdadera.
Lógica
![Page 57: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/57.jpg)
Lógica Semana01[57/1]
Función proposicional y cuantificadores: Cuantificador universal
A continuación veamos ejemplos de proposiciones construidas usando el cuantificador universal y cómo severifica la veracidad de dichas proposiciones.
Ejemplos���
x � �p
�x � � p
�x � � es verdadera. Verifiquemos 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. Demostrémoslo.
Sea x arbitrarioHipótesis: 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.
Hipótesis:���
x � p �x � �
���x � q �
x � es verdaderap.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 hipótesis, q
�x � tiene que ser verdadera. Se deduce que�
p�x � � q
�x � � es verdadera.
Lógica
![Page 58: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/58.jpg)
Lógica Semana01[58/1]
Función proposicional y cuantificadores: Cuantificador universal
A continuación veamos ejemplos de proposiciones construidas usando el cuantificador universal y cómo severifica la veracidad de dichas proposiciones.
Ejemplos���
x � �p
�x � � p
�x � � es verdadera. Verifiquemos 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. Demostrémoslo.
Sea x arbitrarioHipótesis: 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.
Hipótesis:���
x � p �x � �
���x � q �
x � es verdaderap.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 hipótesis, q
�x � tiene que ser verdadera. Se deduce que�
p�x � � q
�x � � es verdadera.
Lógica
![Page 59: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/59.jpg)
Lógica Semana01[59/1]
Función proposicional y cuantificadores: Cuantificador universal
A continuación veamos ejemplos de proposiciones construidas usando el cuantificador universal y cómo severifica la veracidad de dichas proposiciones.
Ejemplos���
x � �p
�x � � p
�x � � es verdadera. Verifiquemos 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. Demostrémoslo.
Sea x arbitrarioHipótesis: 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.
Hipótesis:���
x � p �x � �
���x � q �
x � es verdaderap.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 hipótesis, q
�x � tiene que ser verdadera. Se deduce que�
p�x � � q
�x � � es verdadera.
Lógica
![Page 60: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/60.jpg)
Lógica Semana01[60/1]
Función proposicional y cuantificadores: Cuantificador universal
A continuación veamos ejemplos de proposiciones construidas usando el cuantificador universal y cómo severifica la veracidad de dichas proposiciones.
Ejemplos���
x � �p
�x � � p
�x � � es verdadera. Verifiquemos 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. Demostrémoslo.
Sea x arbitrarioHipótesis: 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.
Hipótesis:���
x � p �x � �
���x � q �
x � es verdaderap.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 hipótesis, q
�x � tiene que ser verdadera. Se deduce que�
p�x � � q
�x � � es verdadera.
Lógica
![Page 61: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/61.jpg)
Lógica Semana01[61/1]
Función proposicional y cuantificadores: Cuantificador universal
A continuación veamos ejemplos de proposiciones construidas usando el cuantificador universal y cómo severifica la veracidad de dichas proposiciones.
Ejemplos���
x � �p
�x � � p
�x � � es verdadera. Verifiquemos 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. Demostrémoslo.
Sea x arbitrarioHipótesis: 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.
Hipótesis:���
x � p �x � �
���x � q �
x � es verdaderap.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 hipótesis, q
�x � tiene que ser verdadera. Se deduce que�
p�x � � q
�x � � es verdadera.
Lógica
![Page 62: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/62.jpg)
Lógica Semana01[62/1]
Función proposicional y cuantificadores: Cuantificador universal
A continuación veamos ejemplos de proposiciones construidas usando el cuantificador universal y cómo severifica la veracidad de dichas proposiciones.
Ejemplos���
x � �p
�x � � p
�x � � es verdadera. Verifiquemos 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. Demostrémoslo.
Sea x arbitrarioHipótesis: 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.
Hipótesis:���
x � p �x � �
���x � q �
x � es verdaderap.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 hipótesis, q
�x � tiene que ser verdadera. Se deduce que�
p�x � � q
�x � � es verdadera.
Lógica
![Page 63: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/63.jpg)
Lógica Semana01[63/1]
Función proposicional y cuantificadores: Cuantificador universal
A continuación veamos ejemplos de proposiciones construidas usando el cuantificador universal y cómo severifica la veracidad de dichas proposiciones.
Ejemplos���
x � �p
�x � � p
�x � � es verdadera. Verifiquemos 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. Demostrémoslo.
Sea x arbitrarioHipótesis: 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.
Hipótesis:���
x � p �x � �
���x � q �
x � es verdaderap.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 hipótesis, q
�x � tiene que ser verdadera. Se deduce que�
p�x � � q
�x � � es verdadera.
Lógica
![Page 64: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/64.jpg)
Lógica Semana01[64/1]
Función proposicional y cuantificadores: Cuantificador universal
A continuación veamos ejemplos de proposiciones construidas usando el cuantificador universal y cómo severifica la veracidad de dichas proposiciones.
Ejemplos���
x � �p
�x � � p
�x � � es verdadera. Verifiquemos 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. Demostrémoslo.
Sea x arbitrarioHipótesis: 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.
Hipótesis:���
x � p �x � �
���x � q �
x � es verdaderap.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 hipótesis, q
�x � tiene que ser verdadera. Se deduce que�
p�x � � q
�x � � es verdadera.
Lógica
![Page 65: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/65.jpg)
Lógica Semana01[65/1]
Función proposicional y cuantificadores: Cuantificador universal
A continuación veamos ejemplos de proposiciones construidas usando el cuantificador universal y cómo severifica la veracidad de dichas proposiciones.
Ejemplos���
x � �p
�x � � p
�x � � es verdadera. Verifiquemos 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. Demostrémoslo.
Sea x arbitrarioHipótesis: 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.
Hipótesis:���
x � p �x � �
���x � q �
x � es verdaderap.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 hipótesis, q
�x � tiene que ser verdadera. Se deduce que�
p�x � � q
�x � � es verdadera.
Lógica
![Page 66: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/66.jpg)
Lógica Semana01[66/1]
Función proposicional y cuantificadores: Cuantificador universal
A continuación veamos ejemplos de proposiciones construidas usando el cuantificador universal y cómo severifica la veracidad de dichas proposiciones.
Ejemplos���
x � �p
�x � � p
�x � � es verdadera. Verifiquemos 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. Demostrémoslo.
Sea x arbitrarioHipótesis: 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.
Hipótesis:���
x � p �x � �
���x � q �
x � es verdaderap.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 hipótesis, q
�x � tiene que ser verdadera. Se deduce que�
p�x � � q
�x � � es verdadera.
Lógica
![Page 67: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/67.jpg)
Lógica Semana01[67/1]
Función proposicional y cuantificadores: Cuantificador existencial
Cuantificador existencialLa proposición
���x � p �
x � , que se lee “existe x , tal que p�x � ", es verdadera cuando se puede encontrar por lo
menos una cadena de símbolos que hace p�x � verdadero.
EjemploRetomando el ejemplo anterior, con p
�x � = “x es un jugador de fútbol”. ¿Se tendrá que
���x � p �
x � ?.
Tenemos que hay al menos un x que hace a p�x � verdadera, por ejemplo x = Matías Fernández
cumple claramente que p(Matías Fernández) es verdadera.
Así,���
x � p �x � es verdadera.
Lógica
![Page 68: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/68.jpg)
Lógica Semana01[68/1]
Función proposicional y cuantificadores: Cuantificador existencial
Cuantificador existencialLa proposición
���x � p �
x � , que se lee “existe x , tal que p�x � ", es verdadera cuando se puede encontrar por lo
menos una cadena de símbolos que hace p�x � verdadero.
EjemploRetomando el ejemplo anterior, con p
�x � = “x es un jugador de fútbol”. ¿Se tendrá que
���x � p �
x � ?.
Tenemos que hay al menos un x que hace a p�x � verdadera, por ejemplo x = Matías Fernández
cumple claramente que p(Matías Fernández) es verdadera.
Así,���
x � p �x � es verdadera.
Lógica
![Page 69: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/69.jpg)
Lógica Semana01[69/1]
Función proposicional y cuantificadores: Cuantificador existencial
Cuantificador existencialLa proposición
���x � p �
x � , que se lee “existe x , tal que p�x � ", es verdadera cuando se puede encontrar por lo
menos una cadena de símbolos que hace p�x � verdadero.
EjemploRetomando el ejemplo anterior, con p
�x � = “x es un jugador de fútbol”. ¿Se tendrá que
���x � p �
x � ?.
Tenemos que hay al menos un x que hace a p�x � verdadera, por ejemplo x = Matías Fernández
cumple claramente que p(Matías Fernández) es verdadera.
Así,���
x � p �x � es verdadera.
Lógica
![Page 70: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/70.jpg)
Lógica Semana01[70/1]
Función proposicional y cuantificadores: Cuantificador existencial
Cuantificador existencialLa proposición
���x � p �
x � , que se lee “existe x , tal que p�x � ", es verdadera cuando se puede encontrar por lo
menos una cadena de símbolos que hace p�x � verdadero.
EjemploRetomando el ejemplo anterior, con p
�x � = “x es un jugador de fútbol”. ¿Se tendrá que
���x � p �
x � ?.
Tenemos que hay al menos un x que hace a p�x � verdadera, por ejemplo x = Matías Fernández
cumple claramente que p(Matías Fernández) es verdadera.
Así,���
x � p �x � es verdadera.
Lógica
![Page 71: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/71.jpg)
Lógica Semana01[71/1]
Función proposicional y cuantificadores: Relación entre cuantificadores
A continuación veremos la relación que existe entre los dos cuantificadores antes definidos. Dicha relación sedebe a la negación.
Resulta que���
x � p �x � es falsa si y sólo si p
�x � no es verdadera para ninguna cadena de símbolos x , es decir,
si y sólo si���
x � p �x � es verdadera. Así, hemos hallado la
Negación del cuantificador existencialLa siguiente proposición es una tautología
���x � p �
x � � ����
x � p �x ���
Lógica
![Page 72: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/72.jpg)
Lógica Semana01[72/1]
Función proposicional y cuantificadores: Relación entre cuantificadores
A continuación veremos la relación que existe entre los dos cuantificadores antes definidos. Dicha relación sedebe a la negación.
Resulta que���
x � p �x � es falsa si y sólo si p
�x � no es verdadera para ninguna cadena de símbolos x , es decir,
si y sólo si���
x � p �x � es verdadera. Así, hemos hallado la
Negación del cuantificador existencialLa siguiente proposición es una tautología
���x � p �
x � � ����
x � p �x ���
Lógica
![Page 73: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/73.jpg)
Lógica Semana01[73/1]
Función proposicional y cuantificadores: Relación entre cuantificadores
A continuación veremos la relación que existe entre los dos cuantificadores antes definidos. Dicha relación sedebe a la negación.
Resulta que���
x � p �x � es falsa si y sólo si p
�x � no es verdadera para ninguna cadena de símbolos x , es decir,
si y sólo si���
x � p �x � es verdadera. Así, hemos hallado la
Negación del cuantificador existencialLa siguiente proposición es una tautología
���x � p �
x � � ����
x � p �x ���
Lógica
![Page 74: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/74.jpg)
Lógica Semana01[74/1]
Función proposicional y cuantificadores: Existencia y unicidad
Hay un cuantificador más que se utiliza con frecuencia:
Existencia y unicidadLa proposición
�����x � p �
x � , que se lee “existe un único x tal que p�x � ", es verdadera cuando hay exactamente
una cadena de símbolos hace verdadero p�x � .
Un ejemplo:
EjemploNuevamente, considerando nuestra función proposicional p
�x � = “x es un jugador de fútbol”. ¿Cuál será el
valor de verdad de�����
x � p �x � ?
Podemos notar que tanto x1 = Marcelo Salas y x2 = Matías Fernández 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.
ObservaciónNotemos que
���no es un cuantificador nuevo, en el sentido de que puede ser definido en función de los dos
cuantificadores anteriores. Es decir la siguiente proposición es verdadera.
�����x � p �
x � � � � ���x � p �
x ���� ��� �
Existencia
� � ���x � ���
y � � �p
�x � � p
�y � � �
�x � y � ���� ��� �
Unicidad
Lógica
![Page 75: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/75.jpg)
Lógica Semana01[75/1]
Función proposicional y cuantificadores: Existencia y unicidad
Hay un cuantificador más que se utiliza con frecuencia:
Existencia y unicidadLa proposición
�����x � p �
x � , que se lee “existe un único x tal que p�x � ", es verdadera cuando hay exactamente
una cadena de símbolos hace verdadero p�x � .
Un ejemplo:
EjemploNuevamente, considerando nuestra función proposicional p
�x � = “x es un jugador de fútbol”. ¿Cuál será el
valor de verdad de�����
x � p �x � ?
Podemos notar que tanto x1 = Marcelo Salas y x2 = Matías Fernández 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.
ObservaciónNotemos que
���no es un cuantificador nuevo, en el sentido de que puede ser definido en función de los dos
cuantificadores anteriores. Es decir la siguiente proposición es verdadera.
�����x � p �
x � � � � ���x � p �
x ���� ��� �
Existencia
� � ���x � ���
y � � �p
�x � � p
�y � � �
�x � y � ���� ��� �
Unicidad
Lógica
![Page 76: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/76.jpg)
Lógica Semana01[76/1]
Función proposicional y cuantificadores: Existencia y unicidad
Hay un cuantificador más que se utiliza con frecuencia:
Existencia y unicidadLa proposición
�����x � p �
x � , que se lee “existe un único x tal que p�x � ", es verdadera cuando hay exactamente
una cadena de símbolos hace verdadero p�x � .
Un ejemplo:
EjemploNuevamente, considerando nuestra función proposicional p
�x � = “x es un jugador de fútbol”. ¿Cuál será el
valor de verdad de�����
x � p �x � ?
Podemos notar que tanto x1 = Marcelo Salas y x2 = Matías Fernández 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.
ObservaciónNotemos que
���no es un cuantificador nuevo, en el sentido de que puede ser definido en función de los dos
cuantificadores anteriores. Es decir la siguiente proposición es verdadera.
�����x � p �
x � � � � ���x � p �
x ���� ��� �
Existencia
� � ���x � ���
y � � �p
�x � � p
�y � � �
�x � y � ���� ��� �
Unicidad
Lógica
![Page 77: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/77.jpg)
Lógica Semana01[77/1]
Función proposicional y cuantificadores: Existencia y unicidad
Hay un cuantificador más que se utiliza con frecuencia:
Existencia y unicidadLa proposición
�����x � p �
x � , que se lee “existe un único x tal que p�x � ", es verdadera cuando hay exactamente
una cadena de símbolos hace verdadero p�x � .
Un ejemplo:
EjemploNuevamente, considerando nuestra función proposicional p
�x � = “x es un jugador de fútbol”. ¿Cuál será el
valor de verdad de�����
x � p �x � ?
Podemos notar que tanto x1 = Marcelo Salas y x2 = Matías Fernández 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.
ObservaciónNotemos que
���no es un cuantificador nuevo, en el sentido de que puede ser definido en función de los dos
cuantificadores anteriores. Es decir la siguiente proposición es verdadera.
�����x � p �
x � � � � ���x � p �
x ���� ��� �
Existencia
� � ���x � ���
y � � �p
�x � � p
�y � � �
�x � y � ���� ��� �
Unicidad
Lógica
![Page 78: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/78.jpg)
Lógica Semana01[78/1]
Función proposicional y cuantificadores: Existencia y unicidad
Hay un cuantificador más que se utiliza con frecuencia:
Existencia y unicidadLa proposición
�����x � p �
x � , que se lee “existe un único x tal que p�x � ", es verdadera cuando hay exactamente
una cadena de símbolos hace verdadero p�x � .
Un ejemplo:
EjemploNuevamente, considerando nuestra función proposicional p
�x � = “x es un jugador de fútbol”. ¿Cuál será el
valor de verdad de�����
x � p �x � ?
Podemos notar que tanto x1 = Marcelo Salas y x2 = Matías Fernández 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.
ObservaciónNotemos que
���no es un cuantificador nuevo, en el sentido de que puede ser definido en función de los dos
cuantificadores anteriores. Es decir la siguiente proposición es verdadera.
�����x � p �
x � � � � ���x � p �
x ���� ��� �
Existencia
� � ���x � ���
y � � �p
�x � � p
�y � � �
�x � y � ���� ��� �
Unicidad
Lógica
![Page 79: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/79.jpg)
Lógica Semana01[79/1]
Función proposicional y cuantificadores: Existencia y unicidad
Hay un cuantificador más que se utiliza con frecuencia:
Existencia y unicidadLa proposición
�����x � p �
x � , que se lee “existe un único x tal que p�x � ", es verdadera cuando hay exactamente
una cadena de símbolos hace verdadero p�x � .
Un ejemplo:
EjemploNuevamente, considerando nuestra función proposicional p
�x � = “x es un jugador de fútbol”. ¿Cuál será el
valor de verdad de�����
x � p �x � ?
Podemos notar que tanto x1 = Marcelo Salas y x2 = Matías Fernández 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.
ObservaciónNotemos que
���no es un cuantificador nuevo, en el sentido de que puede ser definido en función de los dos
cuantificadores anteriores. Es decir la siguiente proposición es verdadera.
�����x � p �
x � � � � ���x � p �
x ���� ��� �
Existencia
� � ���x � ���
y � � �p
�x � � p
�y � � �
�x � y � ���� ��� �
Unicidad
Lógica
![Page 80: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/80.jpg)
Lógica Semana01[80/1]
Función proposicional y cuantificadores: Existencia y unicidad
Hay un cuantificador más que se utiliza con frecuencia:
Existencia y unicidadLa proposición
�����x � p �
x � , que se lee “existe un único x tal que p�x � ", es verdadera cuando hay exactamente
una cadena de símbolos hace verdadero p�x � .
Un ejemplo:
EjemploNuevamente, considerando nuestra función proposicional p
�x � = “x es un jugador de fútbol”. ¿Cuál será el
valor de verdad de�����
x � p �x � ?
Podemos notar que tanto x1 = Marcelo Salas y x2 = Matías Fernández 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.
ObservaciónNotemos que
���no es un cuantificador nuevo, en el sentido de que puede ser definido en función de los dos
cuantificadores anteriores. Es decir la siguiente proposición es verdadera.
�����x � p �
x � � � � ���x � p �
x ���� ��� �
Existencia
� � ���x � ���
y � � �p
�x � � p
�y � � �
�x � y � ���� ��� �
Unicidad
Lógica
![Page 81: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/81.jpg)
Lógica Semana01[81/1]
Función proposicional y cuantificadores: Existencia y unicidad
Hay un cuantificador más que se utiliza con frecuencia:
Existencia y unicidadLa proposición
�����x � p �
x � , que se lee “existe un único x tal que p�x � ", es verdadera cuando hay exactamente
una cadena de símbolos hace verdadero p�x � .
Un ejemplo:
EjemploNuevamente, considerando nuestra función proposicional p
�x � = “x es un jugador de fútbol”. ¿Cuál será el
valor de verdad de�����
x � p �x � ?
Podemos notar que tanto x1 = Marcelo Salas y x2 = Matías Fernández 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.
ObservaciónNotemos que
���no es un cuantificador nuevo, en el sentido de que puede ser definido en función de los dos
cuantificadores anteriores. Es decir la siguiente proposición es verdadera.
�����x � p �
x � � � � ���x � p �
x ���� ��� �
Existencia
� � ���x � ���
y � � �p
�x � � p
�y � � �
�x � y � ���� ��� �
Unicidad
Lógica
![Page 82: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/82.jpg)
Lógica Semana01[82/1]
� Ejemplo importante: Equivalencia dividida en dos partes
Veremos ahora una técnica de demostración que se basa en una de las tautologías importantes que vimosantes. Supongamos que queremos demostrar que
���x � �
p�x � � q
�x � �� ��� �
p
� � � ���x � p �
x � ����
x � q �x �� ��� �
q
�
es verdadera.
Lo que haremos es usar la Tautología 1,
�p � � q � � �
� �p � q � �
�q � p � ���
En donde el rol de p y q está descrito arriba. Ésta nos permite dividir la demostración en dos partes, ya que enlugar de verificar que
�p � � q � es verdadera, podemos verificar que
�p � q � �
�q � p � es verdadera.
Esto, a su vez lo hacemos verificando que�p � q � es verdadera y luego que
�q � p � también lo es.
� )
Hipótesis:���
x � �p
�x � � q
�x � � es verdadera.
p.d.q:���
x � p �x � �
���x � q �
x � es verdadera.En efecto: Sea x arbitrario. Por hipótesis 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. Análogamente se tiene que también
���x � q �
x � esverdadera.
� )
Hipótesis:���
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 hipótesis���
x � p �x � � es verdadera se tiene que p
�x0 � es verdadera.
Como por hipótesis���
x � q �x � es verdadera se tiene q
�x0 � también lo es. �
Lógica
![Page 83: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/83.jpg)
Lógica Semana01[83/1]
� Ejemplo importante: Equivalencia dividida en dos partes
Veremos ahora una técnica de demostración que se basa en una de las tautologías importantes que vimosantes. Supongamos que queremos demostrar que
���x � �
p�x � � q
�x � �� ��� �
p
� � � ���x � p �
x � ����
x � q �x �� ��� �
q
�
es verdadera.
Lo que haremos es usar la Tautología 1,
�p � � q � � �
� �p � q � �
�q � p � ���
En donde el rol de p y q está descrito arriba. Ésta nos permite dividir la demostración en dos partes, ya que enlugar de verificar que
�p � � q � es verdadera, podemos verificar que
�p � q � �
�q � p � es verdadera.
Esto, a su vez lo hacemos verificando que�p � q � es verdadera y luego que
�q � p � también lo es.
� )
Hipótesis:���
x � �p
�x � � q
�x � � es verdadera.
p.d.q:���
x � p �x � �
���x � q �
x � es verdadera.En efecto: Sea x arbitrario. Por hipótesis 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. Análogamente se tiene que también
���x � q �
x � esverdadera.
� )
Hipótesis:���
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 hipótesis���
x � p �x � � es verdadera se tiene que p
�x0 � es verdadera.
Como por hipótesis���
x � q �x � es verdadera se tiene q
�x0 � también lo es. �
Lógica
![Page 84: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/84.jpg)
Lógica Semana01[84/1]
� Ejemplo importante: Equivalencia dividida en dos partes
Veremos ahora una técnica de demostración que se basa en una de las tautologías importantes que vimosantes. Supongamos que queremos demostrar que
���x � �
p�x � � q
�x � �� ��� �
p
� � � ���x � p �
x � ����
x � q �x �� ��� �
q
�
es verdadera.
Lo que haremos es usar la Tautología 1,
�p � � q � � �
� �p � q � �
�q � p � ���
En donde el rol de p y q está descrito arriba. Ésta nos permite dividir la demostración en dos partes, ya que enlugar de verificar que
�p � � q � es verdadera, podemos verificar que
�p � q � �
�q � p � es verdadera.
Esto, a su vez lo hacemos verificando que�p � q � es verdadera y luego que
�q � p � también lo es.
� )
Hipótesis:���
x � �p
�x � � q
�x � � es verdadera.
p.d.q:���
x � p �x � �
���x � q �
x � es verdadera.En efecto: Sea x arbitrario. Por hipótesis 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. Análogamente se tiene que también
���x � q �
x � esverdadera.
� )
Hipótesis:���
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 hipótesis���
x � p �x � � es verdadera se tiene que p
�x0 � es verdadera.
Como por hipótesis���
x � q �x � es verdadera se tiene q
�x0 � también lo es. �
Lógica
![Page 85: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/85.jpg)
Lógica Semana01[85/1]
� Ejemplo importante: Equivalencia dividida en dos partes
Veremos ahora una técnica de demostración que se basa en una de las tautologías importantes que vimosantes. Supongamos que queremos demostrar que
���x � �
p�x � � q
�x � �� ��� �
p
� � � ���x � p �
x � ����
x � q �x �� ��� �
q
�
es verdadera.
Lo que haremos es usar la Tautología 1,
�p � � q � � �
� �p � q � �
�q � p � ���
En donde el rol de p y q está descrito arriba. Ésta nos permite dividir la demostración en dos partes, ya que enlugar de verificar que
�p � � q � es verdadera, podemos verificar que
�p � q � �
�q � p � es verdadera.
Esto, a su vez lo hacemos verificando que�p � q � es verdadera y luego que
�q � p � también lo es.
� )
Hipótesis:���
x � �p
�x � � q
�x � � es verdadera.
p.d.q:���
x � p �x � �
���x � q �
x � es verdadera.En efecto: Sea x arbitrario. Por hipótesis 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. Análogamente se tiene que también
���x � q �
x � esverdadera.
� )
Hipótesis:���
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 hipótesis���
x � p �x � � es verdadera se tiene que p
�x0 � es verdadera.
Como por hipótesis���
x � q �x � es verdadera se tiene q
�x0 � también lo es. �
Lógica
![Page 86: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/86.jpg)
Lógica Semana01[86/1]
� Ejemplo importante: Equivalencia dividida en dos partes
Veremos ahora una técnica de demostración que se basa en una de las tautologías importantes que vimosantes. Supongamos que queremos demostrar que
���x � �
p�x � � q
�x � �� ��� �
p
� � � ���x � p �
x � ����
x � q �x �� ��� �
q
�
es verdadera.
Lo que haremos es usar la Tautología 1,
�p � � q � � �
� �p � q � �
�q � p � ���
En donde el rol de p y q está descrito arriba. Ésta nos permite dividir la demostración en dos partes, ya que enlugar de verificar que
�p � � q � es verdadera, podemos verificar que
�p � q � �
�q � p � es verdadera.
Esto, a su vez lo hacemos verificando que�p � q � es verdadera y luego que
�q � p � también lo es.
� )
Hipótesis:���
x � �p
�x � � q
�x � � es verdadera.
p.d.q:���
x � p �x � �
���x � q �
x � es verdadera.En efecto: Sea x arbitrario. Por hipótesis 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. Análogamente se tiene que también
���x � q �
x � esverdadera.
� )
Hipótesis:���
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 hipótesis���
x � p �x � � es verdadera se tiene que p
�x0 � es verdadera.
Como por hipótesis���
x � q �x � es verdadera se tiene q
�x0 � también lo es. �
Lógica
![Page 87: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/87.jpg)
Lógica Semana01[87/1]
� Ejemplo importante: Equivalencia dividida en dos partes
Veremos ahora una técnica de demostración que se basa en una de las tautologías importantes que vimosantes. Supongamos que queremos demostrar que
���x � �
p�x � � q
�x � �� ��� �
p
� � � ���x � p �
x � ����
x � q �x �� ��� �
q
�
es verdadera.
Lo que haremos es usar la Tautología 1,
�p � � q � � �
� �p � q � �
�q � p � ���
En donde el rol de p y q está descrito arriba. Ésta nos permite dividir la demostración en dos partes, ya que enlugar de verificar que
�p � � q � es verdadera, podemos verificar que
�p � q � �
�q � p � es verdadera.
Esto, a su vez lo hacemos verificando que�p � q � es verdadera y luego que
�q � p � también lo es.
� )
Hipótesis:���
x � �p
�x � � q
�x � � es verdadera.
p.d.q:���
x � p �x � �
���x � q �
x � es verdadera.En efecto: Sea x arbitrario. Por hipótesis 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. Análogamente se tiene que también
���x � q �
x � esverdadera.
� )
Hipótesis:���
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 hipótesis���
x � p �x � � es verdadera se tiene que p
�x0 � es verdadera.
Como por hipótesis���
x � q �x � es verdadera se tiene q
�x0 � también lo es. �
Lógica
![Page 88: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/88.jpg)
Lógica Semana01[88/1]
� Ejemplo importante: Equivalencia dividida en dos partes
Veremos ahora una técnica de demostración que se basa en una de las tautologías importantes que vimosantes. Supongamos que queremos demostrar que
���x � �
p�x � � q
�x � �� ��� �
p
� � � ���x � p �
x � ����
x � q �x �� ��� �
q
�
es verdadera.
Lo que haremos es usar la Tautología 1,
�p � � q � � �
� �p � q � �
�q � p � ���
En donde el rol de p y q está descrito arriba. Ésta nos permite dividir la demostración en dos partes, ya que enlugar de verificar que
�p � � q � es verdadera, podemos verificar que
�p � q � �
�q � p � es verdadera.
Esto, a su vez lo hacemos verificando que�p � q � es verdadera y luego que
�q � p � también lo es.
� )
Hipótesis:���
x � �p
�x � � q
�x � � es verdadera.
p.d.q:���
x � p �x � �
���x � q �
x � es verdadera.En efecto: Sea x arbitrario. Por hipótesis 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. Análogamente se tiene que también
���x � q �
x � esverdadera.
� )
Hipótesis:���
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 hipótesis���
x � p �x � � es verdadera se tiene que p
�x0 � es verdadera.
Como por hipótesis���
x � q �x � es verdadera se tiene q
�x0 � también lo es. �
Lógica
![Page 89: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/89.jpg)
Lógica Semana01[89/1]
� Ejemplo importante: Equivalencia dividida en dos partes
Veremos ahora una técnica de demostración que se basa en una de las tautologías importantes que vimosantes. Supongamos que queremos demostrar que
���x � �
p�x � � q
�x � �� ��� �
p
� � � ���x � p �
x � ����
x � q �x �� ��� �
q
�
es verdadera.
Lo que haremos es usar la Tautología 1,
�p � � q � � �
� �p � q � �
�q � p � ���
En donde el rol de p y q está descrito arriba. Ésta nos permite dividir la demostración en dos partes, ya que enlugar de verificar que
�p � � q � es verdadera, podemos verificar que
�p � q � �
�q � p � es verdadera.
Esto, a su vez lo hacemos verificando que�p � q � es verdadera y luego que
�q � p � también lo es.
� )
Hipótesis:���
x � �p
�x � � q
�x � � es verdadera.
p.d.q:���
x � p �x � �
���x � q �
x � es verdadera.En efecto: Sea x arbitrario. Por hipótesis 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. Análogamente se tiene que también
���x � q �
x � esverdadera.
� )
Hipótesis:���
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 hipótesis���
x � p �x � � es verdadera se tiene que p
�x0 � es verdadera.
Como por hipótesis���
x � q �x � es verdadera se tiene q
�x0 � también lo es. �
Lógica
![Page 90: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/90.jpg)
Lógica Semana01[90/1]
Convenciones en el desarrollo de un argumento
En la demostración anterior la expresión “... es verdadera ...” aparece una gran cantidad de veces. Por ejemploen
Hipótesis:���
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 hipótesis es p estamos asumiendo quep es verdadera.
Del mismo modo, si declaramos que queremos demostrar q se subentiende que deseamos demostrar que qes verdadera.
También es posible que después de un razonamiento lleguemos a la conclusión que r es verdadera. Estosuele indicarse con expresiones del tipo “se tiene r ” o “y entonces r ”.
Tomando estas convenciones la última parte del desarrollo anterior queda como sigue.
Hipótesis:���
x � p �x � �
���x � q �
x �p.d.q:
���x � �
p�x � � q
�x � �
En efecto: Sea x0 arbitrario. Como por hipótesis���
x � p �x � , se tiene p
�x0 � . Como por hipótesis
���x � q �
x � , setiene q
�x0 � .
Lógica
![Page 91: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/91.jpg)
Lógica Semana01[91/1]
Convenciones en el desarrollo de un argumento
En la demostración anterior la expresión “... es verdadera ...” aparece una gran cantidad de veces. Por ejemploen
Hipótesis:���
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 hipótesis es p estamos asumiendo quep es verdadera.
Del mismo modo, si declaramos que queremos demostrar q se subentiende que deseamos demostrar que qes verdadera.
También es posible que después de un razonamiento lleguemos a la conclusión que r es verdadera. Estosuele indicarse con expresiones del tipo “se tiene r ” o “y entonces r ”.
Tomando estas convenciones la última parte del desarrollo anterior queda como sigue.
Hipótesis:���
x � p �x � �
���x � q �
x �p.d.q:
���x � �
p�x � � q
�x � �
En efecto: Sea x0 arbitrario. Como por hipótesis���
x � p �x � , se tiene p
�x0 � . Como por hipótesis
���x � q �
x � , setiene q
�x0 � .
Lógica
![Page 92: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/92.jpg)
Lógica Semana01[92/1]
Convenciones en el desarrollo de un argumento
En la demostración anterior la expresión “... es verdadera ...” aparece una gran cantidad de veces. Por ejemploen
Hipótesis:���
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 hipótesis es p estamos asumiendo quep es verdadera.
Del mismo modo, si declaramos que queremos demostrar q se subentiende que deseamos demostrar que qes verdadera.
También es posible que después de un razonamiento lleguemos a la conclusión que r es verdadera. Estosuele indicarse con expresiones del tipo “se tiene r ” o “y entonces r ”.
Tomando estas convenciones la última parte del desarrollo anterior queda como sigue.
Hipótesis:���
x � p �x � �
���x � q �
x �p.d.q:
���x � �
p�x � � q
�x � �
En efecto: Sea x0 arbitrario. Como por hipótesis���
x � p �x � , se tiene p
�x0 � . Como por hipótesis
���x � q �
x � , setiene q
�x0 � .
Lógica
![Page 93: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/93.jpg)
Lógica Semana01[93/1]
Convenciones en el desarrollo de un argumento
En la demostración anterior la expresión “... es verdadera ...” aparece una gran cantidad de veces. Por ejemploen
Hipótesis:���
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 hipótesis es p estamos asumiendo quep es verdadera.
Del mismo modo, si declaramos que queremos demostrar q se subentiende que deseamos demostrar que qes verdadera.
También es posible que después de un razonamiento lleguemos a la conclusión que r es verdadera. Estosuele indicarse con expresiones del tipo “se tiene r ” o “y entonces r ”.
Tomando estas convenciones la última parte del desarrollo anterior queda como sigue.
Hipótesis:���
x � p �x � �
���x � q �
x �p.d.q:
���x � �
p�x � � q
�x � �
En efecto: Sea x0 arbitrario. Como por hipótesis���
x � p �x � , se tiene p
�x0 � . Como por hipótesis
���x � q �
x � , setiene q
�x0 � .
Lógica
![Page 94: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/94.jpg)
Lógica Semana01[94/1]
Convenciones en el desarrollo de un argumento
En la demostración anterior la expresión “... es verdadera ...” aparece una gran cantidad de veces. Por ejemploen
Hipótesis:���
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 hipótesis es p estamos asumiendo quep es verdadera.
Del mismo modo, si declaramos que queremos demostrar q se subentiende que deseamos demostrar que qes verdadera.
También es posible que después de un razonamiento lleguemos a la conclusión que r es verdadera. Estosuele indicarse con expresiones del tipo “se tiene r ” o “y entonces r ”.
Tomando estas convenciones la última parte del desarrollo anterior queda como sigue.
Hipótesis:���
x � p �x � �
���x � q �
x �p.d.q:
���x � �
p�x � � q
�x � �
En efecto: Sea x0 arbitrario. Como por hipótesis���
x � p �x � , se tiene p
�x0 � . Como por hipótesis
���x � q �
x � , setiene q
�x0 � .
Lógica
![Page 95: Lógica · Lógica Semana01[2/1] Introducción La lógica le proporciona a las matemáticas un lenguaje claro y un método preciso para demostrar teoremas a](https://reader031.fdocuments.net/reader031/viewer/2022021910/5c4e549d93f3c34aee57855d/html5/thumbnails/95.jpg)
Lógica Semana01[95/1]
Convenciones en el desarrollo de un argumento
En la demostración anterior la expresión “... es verdadera ...” aparece una gran cantidad de veces. Por ejemploen
Hipótesis:���
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 hipótesis es p estamos asumiendo quep es verdadera.
Del mismo modo, si declaramos que queremos demostrar q se subentiende que deseamos demostrar que qes verdadera.
También es posible que después de un razonamiento lleguemos a la conclusión que r es verdadera. Estosuele indicarse con expresiones del tipo “se tiene r ” o “y entonces r ”.
Tomando estas convenciones la última parte del desarrollo anterior queda como sigue.
Hipótesis:���
x � p �x � �
���x � q �
x �p.d.q:
���x � �
p�x � � q
�x � �
En efecto: Sea x0 arbitrario. Como por hipótesis���
x � p �x � , se tiene p
�x0 � . Como por hipótesis
���x � q �
x � , setiene q
�x0 � .
Lógica