Capítulo 1Lógica y Conjuntos

29pág.

Por lo tanto, la negación de la proposición podrá expresarse con cualquiera de las siguientes frases equivalentes:

“El clima es propicio y la tierra es fértil, pero la flor no crecerá”.

“La tierra es fértil, la flor no crecerá y el clima es propicio”.

Aunque al lector le agrade una de ellas más que la otra, desde el punto de vista lógico, las dos representan la negación del enunciado original.

1.6 Razonamientos

Objetivos

Al finalizar esta sección el lector podrá:

* Reconocer la estructura de un razonamiento.

* Dado un razonamiento, establecer su validez empleando tablas de verdad.

* Dado un razonamiento, establecer su validez empleando las Leyes del Álgebra de Proposiciones.

Definición 1.15 (Razonamientos)

Son proposiciones compuestas que pueden ser representadas por la conjunción de proposiciones denominadas premisas o hipótesis, la condicional como operador lógico principal; y, una proposición final denominada conclusión.

Las premisas o hipótesis corresponden al antecedente de la implicación, mientras que la conclusión es su consecuente.

→CondicionalOPERADOR

LÓGICO

Conjunción de hipótesisANTECEDENTE

[H1 ∧ H2 ∧ H3 ... ∧ Hn]

ConclusiónCONSECUENTE

C

30pág.

La lógica simbólica se ocupa de analizar la validez de los razonamientos; no nos puede decir si la información contenida en una hipótesis es verdadera o falsa. Los términos válido y no válido se refieren a la estructura del razonamiento, no a la veracidad o falsedad de las proposiciones.

El punto importante a recordar es que la veracidad o falsedad de las premisas y la conclusión, no determinan la validez del razonamiento.

Definición 1.16 (Validez de un razonamiento)

Un razonamiento es válido cuando la forma proposicional que representa su estructura lógica es una tautología. Si dicha forma proposicional es una contradicción o contingencia, entonces el razonamiento no es válido, en cuyo caso se denomina falacia.

Ejemplo 1.30 Determinación de la validez de un razonamiento.

Determine si el siguiente razonamiento es válido:

“Si Pablo recibió el e-mail, entonces tomó el avión y estará aquí al mediodía. Pablo no tomó el avión. Luego, Pablo no recibió el e-mail”.

Solución:

Se procede primero a identificar las proposiciones simples:

a: Pablo recibió el e-mail.b: Pablo tomó el avión.c: Pablo estará aquí al mediodía.

Luego, se identifican las hipótesis y la conclusión:

H1: a→(b∧c) H2: ¬bC: ¬a

A partir de estas proposiciones pueden obtenerse las siguientes formas proposicionales:

H1: p→(q∧r) H2: ¬qC: ¬p

Con lo cual, la estructura lógica del razonamiento sería:

[H1∧H2]→C[(p→(q∧r))∧¬q]→¬p

Capítulo 1Lógica y Conjuntos

31pág.

p q r q∧r H1p→(q∧r)

H2¬q H1∧H2

C¬p [H1∧H2]→C

00001111

00110011

01010101

00010001

11110001

11001100

11000000

11110000

11111111

Puesto que la forma proposicional resultó tautológica, podemos concluir que el razonamiento es válido.

Otro método para determinar la validez de este razonamiento consiste en la utilización de las propiedades de los operadores lógicos:

[(p→(q∧r))∧¬q]→¬p¬[(p→(q∧r))∧¬q]∨¬p Por la Ley de la Implicación.

¬[(¬p∨(q∧r))∧¬q]∨¬p Por la Ley de la Implicación.

¬(¬p∨(q∧r))∨¬(¬q)∨¬p Por la Ley de De Morgan de la Conjunción.

(¬(¬p)∧¬(q∧r))∨¬(¬q)∨¬p Por la Ley de De Morgan de la Disyunción.

(p∧¬(q∧r))∨q∨¬p Por la Ley de la Doble Negación.

(p∧(¬q∨¬r))∨q∨¬p Por la Ley de De Morgan de la Conjunción.

(p∧¬q)∨(p∧¬r)∨(q∨¬p) Por la Ley Distributiva de la Conjunción.

(p∧¬q)∨(p∧¬r)∨¬(p∧¬q) Por la Ley de De Morgan de la Conjunción.

[(p∧¬q)∨¬(p∧¬q)]∨(p∧¬r) Por la Ley Asociativa de la Disyunción.

1∨(p∧¬r) Por la Ley del Tercero Excluido.

1 Por la Ley de Absorción de la Disyunción.

Ejemplo 1.31 Determinación de la validez de un razonamiento.

Determine si el siguiente razonamiento es válido:

“Si el crimen ocurrió después de las 04h00, entonces Pepe no pudo haberlo cometido. Si el crimen ocurrió a las 04h00 o antes, entonces Carlos no pudo haberlo cometido. El crimen involucra a dos personas, si Carlos no lo cometió. Por lo tanto, el crimen involucra a dos personas”.

32pág.

Solución:

Se procede primero a identificar las proposiciones simples:

a: El crimen ocurrió después de las 04h00.b: Pepe pudo haber cometido el crimen.c: Carlos pudo haber cometido el crimen.d: El crimen involucra a dos personas.

Luego se identifican las hipótesis y la conclusión:

H1: a→(¬b) H2: (¬a)→(¬c) H3: (¬c)→dC: d

A partir de estas proposiciones pueden obtenerse las siguientes formas proposicionales:

H1: p→(¬q) H2: (¬p)→(¬r) H3: (¬r)→sC: s

Con lo cual, la estructura lógica del razonamiento sería:

[H1 ∧ H2 ∧ H3]→C[(p→(¬q))∧((¬p)→(¬r))∧((¬r)→s)]→s

Puesto que la forma proposicional resultó una contingencia, podemos concluir que el razonamiento no es válido (falacia lógica).

p q r s ¬q H1p→(¬q)

¬p ¬r H2(¬p)→(¬r)

H3(¬r)→s H1∧H2∧H3 [H1∧H2∧H3]→C

0000000011111111

0000111100001111

0011001100110011

0101010101010101

1111000011110000

1111111111110000

1111111100000000

1100110011001100

1100110011111111

0111011101110111

0100010001110000

1111111111011111

Capítulo 1Lógica y Conjuntos

33pág.

1.7 Demostraciones

Objetivos

Al finalizar esta sección el lector podrá:

* Aplicar las propiedades y el álgebra de las proposiciones para realizar demostraciones lógicas, empleando técnicas directas, técnicas de contraposición, contraejemplos y reducción al absurdo.

En matemáticas, a menudo nos ocupamos de la demostración lógica de ciertas afirmaciones. Cualquier sistema lógico debe empezar con algunos términos fundamentales, definiciones, y axiomas o postulados. A partir de ello, se pueden deducir por razonamientos válidos otras afirmaciones. Para llegar a demostrar algo, es necesario justificar cada paso de la demostración de manera lógica.

1.7.1 Demostraciones Directas

También denominadas “marcha adelante”. Si queremos demostrar que p→q, examinamos los elementos que aparecen en p; y, con la atención puesta en q, intentamos deducir q a partir de una secuencia de pasos lógicos que comience en p y termine en q.

Ejemplo 1.32 Demostración Directa.

Demostrar la Ley del MODUS PONENDO PONENS [(p→q)∧p]⇒q utilizando el método de demostración directa.

Solución:

Aplicamos en dos oportunidades la Ley de la Implicación: (a→b) ≡ (¬a∨b)¬[(p→q)∧p]∨q¬[(¬p∨q)∧p]∨qAplicamos la Ley de De Morgan de la Conjunción: ¬(a∧b) ≡ (¬a∨¬b)[¬(¬p∨q)∨¬p]∨qAplicamos la Ley de De Morgan de la Disyunción: ¬(a∨b) ≡ (¬a∧¬b)[(¬(¬p)∧¬q)∨¬p]∨qAplicamos la Ley Involutiva (Doble Negación): ¬(¬a) ≡ a[(p∧¬q)∨¬p]∨q

34pág.

Aplicamos la Ley Conmutativa de la Disyunción: (a∨b) ≡ (b∨a)[¬p∨(p∧¬q)]∨qAplicamos la Ley Distributiva: [a∨(b∧c)] ≡ [(a∨b)∧(a∨c)][(¬p∨p)∧(¬p∨¬q)]∨qAplicamos la Ley del Tercero Excluido: (a∨¬a) ≡ 1[(1)∧(¬p∨¬q)]∨qAplicamos la Ley de Identidad de la Conjunción: (1∧a) ≡ a(¬p∨¬q)∨qAplicamos la Ley Asociativa de la Disyunción: [(a∨b)∨c] ≡ [a∨(b∨c)]¬p∨(¬q∨q)Aplicamos la Ley del Tercero Excluido: (a∨¬a) ≡ 1¬p∨(1)Aplicamos la Ley de Absorción de la Disyunción: a∨1 ≡ 11

Con lo cual queda demostrado que la forma proposicional es tautológica, independientemente del valor de verdad que tomen las variables proposicionales.

Ejemplo 1.33 Demostración por contrarrecíproca.

Demostrar la Ley del SILOGISMO DISYUNTIVO [(p∨q)∧¬p]⇒q utilizando el método de demostración por contrarrecíproca.

Solución:

Aplicamos la Ley Contrarrecíproca: (a→b) ≡ (¬b→ ¬a)¬q → ¬[(p ∨ q)∧¬ p]Aplicamos la Ley de la Implicación: (a→b) ≡ (¬ a ∨ b)¬(¬q) ∨ {¬[(p ∨ q)∧¬ p]}Aplicamos la Ley Involutiva (Doble Negación): ¬(¬ a) ≡ aq ∨{¬[(p ∨ q)∧¬ p]}

1.7.2 Demostraciones por contraposición (o contrarrecíproca)

Este tipo de demostración es conocido como “supongamos que no”. Está basada en la equivalencia que vimos entre (p→q) y (¬q→¬p).

Capítulo 1Lógica y Conjuntos

35pág.

Aplicamos la Ley de De Morgan de la Conjunción: ¬(a∧b) ≡ (¬a∨¬b)q ∨[¬ (p ∨ q)∨¬ (¬ p)]Aplicamos la Ley Involutiva (Doble Negación): ¬(¬a) ≡ aq ∨[¬ (p ∨ q)∨ p]Aplicamos la Ley de De Morgan de la Disyunción: ¬(a∨b) ≡ (¬a∧¬b)q ∨[(¬ p ∧ ¬q)∨ p]

Aplicamos la Ley Conmutativa de la Disyunción: (a∨b) ≡ (b∨a)q ∨[ p ∨ (¬ p ∧ ¬ q)]Aplicamos la Ley Distributiva: [a ∨ (b∧c)] ≡ [(a ∨ b) ∧ (a ∨ c)]q ∨[( p ∨ ¬p) ∧ ( p ∨ ¬q)]Aplicamos la Ley del Tercero Excluido: (a ∨ ¬a) ≡ 1q ∨[ 1∧ ( p ∨ ¬q)]Aplicamos la Ley de Identidad de la Conjunción: (1∧ a) ≡ aq ∨ ( p ∨ ¬q)Aplicamos la Ley Conmutativa de la Disyunción: (a∨b) ≡ (b∨a)q ∨ (¬q ∨ p)Aplicamos la Ley Asociativa de la Disyunción: [(a ∨ b) ∨ c] ≡ [a ∨ (b ∨ c)](q ∨ ¬q) ∨ pAplicamos la Ley del Tercero Excluido: (a ∨ ¬a) ≡ 1(1) ∨ pAplicamos la Ley de Absorción de la Disyunción: a ∨ 1 ≡ 11Con lo que se demuestra que la contrarrecíproca de la forma proposicional dada resultó tautológica. Como la contrarrecíproca es equivalente a la forma proposicional original, ésta también es una tautología.

1.7.3 Demostraciones por contraejemploEl dar un ejemplo o mil, que ilustren una proposición, no demuestra que ésta sea verdadera. Sin embargo, sí podemos demostrar el hecho de que la proposición sea falsa, aportando por lo menos un ejemplo que lo confirme. Dicho ejemplo recibe el nombre de contraejemplo.El contraejemplo pone en evidencia que existe al menos un caso en el cual la proposición no es verdadera.

36pág.

Ejemplo 1.34 Demostración por contraejemplo.

Verifique si la siguiente proposición es verdadera:

“Si un número impar es mayor que dos, es primo”.

Solución:

A partir de esta proposición se podrá suponer, erróneamente y en base a una observación limitada, que los números 3, 5 y 7 cumplen esta proposición. Sin embargo, podemos notar que el número 9 representa un contraejemplo para esta proposición que es falsa. Es más, no es el único, ya que aunque el 11 y el 13 vuelven a cumplir tal proposición, existen otros contraejemplos, como el 15, 21, 25, 27, 33.

1.7.4 Demostraciones por reducción al absurdo

En este método se supone que la estructura del razonamiento p→q no es tautológica. Debido a que el operador principal de un razonamiento es la implicación, la estructura no es tautológica si existe al menos un caso 1→0, es decir, partimos de p y q e intentamos llegar a un disparate o contradicción. Como p no puede ser falsa, pues constituye la hipótesis, se concluye que lo que es falso es q.

Ejemplo 1.35 Demostración por contraejemplo.

Verifique si la siguiente proposición es verdadera:

“Las ciudades del Ecuador son capitales de provincias”.

Solución:

Si leemos rápidamente y sin mayor análisis la referida proposición, podríamos concluir que su valor de verdad es verdadero, ya que Guayaquil, Portoviejo, Machala, Quito, entre otras, son ciudades y capitales de provincias. Mientras que Quevedo es una ciudad y no es capital de provincia alguna de nuestro país, lo mismo ocurre con ciudades como Manta, Atacames y Milagro, constituyendo por ende contraejemplos para la proposición objeto de estudio, la cual definitivamente es falsa.

Capítulo 1Lógica y Conjuntos

37pág.

Ejemplo 1.36 Demostración por reducción al absurdo.

Utilizando el método de reducción al absurdo, demostrar la Ley del MODUS PONENDO PONENS [(p→q)∧p]⇒q.Solución:Debe procurarse partir de la situación en la que la condicional resulte con valor de verdad falso (1→0), ya que si esto se cumple, estaremos seguros de que la forma proposicional no será una tautología.Como debemos buscar que el antecedente sea verdadero y el consecuente falso, planteamos:

Ahora, como la conjunción (p→q)∧p es verdadera, entonces (p→q) es verdadera y p es verdadera:

Analizando la segunda hipótesis y la conclusión, p debe ser verdadera y q debe ser falsa. Con estos valores de verdad para p y q, no es posible conseguir que la primera hipótesis p→q sea verdadera. Por lo tanto, no es factible el suceso de que [(p→q)∧p] sea verdadera y que q sea falsa.A partir del análisis anterior, concluimos que la forma proposicional [(p→q)∧p]⇒q es tautológica.

Ejemplo 1.37 Demostración por reducción al absurdo.

Determine la validez del razonamiento:“Si llueve, hay producción; si hay granizo, no hay producción; hay granizo o no hay nevada. Por lo tanto, no llueve”.

Solución:Al identificar las proposiciones simples se obtiene:

a: Llueve.b: Hay producción.c: Hay granizo.d: Hay nevada.

[(p→q)∧p]

1

q

0

→

Se sugiere que este método sea utilizado para demostrar la validez de un razonamiento, como lo veremos en el siguiente ejemplo.

q

0

→[(p→q)∧p]

1

1

1

38pág.

Si quisiéramos construir su tabla de verdad, tendríamos que elaborar 16 combinaciones para las variables proposicionales involucradas p, q, r y s. Luego, es preferible utilizar el método de reducción al absurdo para simplificar nuestro trabajo y analizar la validez del razonamiento.

Determinamos los valores de verdad, comenzando con el consecuente del razonamiento, el cual se supone que es falso; y, para que el antecedente sea verdadero, debe cumplirse que H1∧H2∧H3 sea verdadera. La conjunción de hipótesis es verdadera siempre y cuando cada hipótesis sea verdadera.

Si a partir del supuesto valor de verdad de la conclusión, que es falso, se determinó que el valor de verdad del antecedente es verdadero, la forma proposicional no es tautológica. Por lo tanto, el razonamiento no es válido.

Las hipótesis y la conclusión son:H1: a→bH2: c→¬bH3: c∨¬dC : ¬a

La estructura lógica del razonamiento será:

[(a→b)∧(c→¬b)∧(c∨¬d)]→¬a

A partir de esta proposición puede obtenerse la siguiente forma proposicional:

A⇔[(p→q)∧(r→¬q)∧(r∨¬s)]→¬p

r ∨ ¬s ≡ 1

¬s ≡ 1s ≡ 0

0 ∨ ¬s ≡ 1r →¬q ≡ 1r→0 ≡ 1r ≡ 0

p→q ≡ 11→q ≡ 1q ≡ 1

∧[(p→q)

1

(r→¬q)

1

∧ (r ∨¬s)]

1

¬p

0

→

¬p ≡ 0p ≡ 1