Anda di halaman 1dari 34

Matemáticas Discretas

MATG1005
Prof. Ebner Pineda
I evaluacion II Evaluacion III Evaluacion
Componente teorico
Examen 60 % 60 % 100 % ...
Lecciones 20 % 20 % ... 80 %
proyecto/otros 20 % 20 % ... ...
Componente P ractico
talleres 70 % 20 %
deberes 30 % ...

2
Lógica Proposicional.
Consideremos los siguientes enunciados

1. 5 es un número par.

2. El 6 de Febrero de 1264 fué viernes.

3. Silencio.

4. La luna es el satélite natural de la tierra.

5. Que dia es hoy?

Cuáles de estos enunciados es verdadero o falso(pero no ambos)?:

3
1) es falsa,2) es verdadera o falsa pero no ambas, 3) es una orden, 4)es
verdadera, 5) es una pregunta.

Definición. . Una proposición es una oración o enunciado que es verdadero


o falso pero no ambas cosas a la vez.
El valor lógico de p, denotado V L(p), es el valor V, F dependiendo en que p
sea verdadera o falsa.

Ejemplo . 1,2 y 4 son proposiciones, 3 y 5 no lo son.

Usaremos cualquiera de las letras p, q, r, s para denotar a una proposición.


Las llamaremos variables proposicionales.

Definición. . Sea p una proposición, la negación de p, denotada ¬p es la


proposición no p y cuyo valor lógico es dado por la siguiente tabla de verdad

p ¬p
V F
F V

4
Definición. . Sean p y q dos proposiciones.

1. LLamaremos disjunción de p y q, denotada p ∨ q a la proposición p o


q y cuyo valor lógico está dado por la siguiente tabla de verdad.

p q p∨q
V V V
V F V
F V V
F F F

Esto es, la disjunción de p y q es falsa solo cuando ambas son falsas,


de resto es verdadera.

2. Llamaremos conjunción de p y q, denotada p ∧ q a la proposición p y q


y cuyo valor lógico está dado por la siguiente tabla de verdad.

p q p∧q
V V V
V F F
F V F
F F F

Esto es, la conjunción de p y q es verdadera solo cuando ambas son


verdaderas, de resto es falsa.

Un operador unitario sobre un conjunto X asigna a cada elemento de X otro


elemento de X.

Un operador binario sobre un conjunto X asigna a cada par de elementos


de X otro elemento de X.
Por lo que, ∨ y ∧ son operadores binarios y ¬ es un operador unitario sobre
las proposiciones.
Los llamaremos conectivos lógicos.

5
Ejemplo . Consideremos las proposiciones siguientes:
p : 5 es un número par
q : 7 es un número primo.
Hallar p ∨ q, p ∧ q y sus respectivos valores lógicos.

Solución:
VL(p)=F, VL(q)=V.
p ∨ q : 5 es un número par o 7 es un número primo.
p ∧ q : 5 es un número par y 7 es un número primo.
Ası́, VL(p ∨ q)=V y VL( p ∧ q)=F.
En las expresiones que incluyen algunos de los operadores ¬.∨, ∧, en ausencia
de paréntesis, primero se evalúa ¬, después ∧ y luego ∨. Esta convención se
conoce como precedencia del operador .

Ejemplo . Supongamos que V L(p) = F, V L(q) = V y V L(r) = F . Hallar


V L(¬p ∨ q ∧ r)

Solución:
por la precedencia del operador tenemos que
¬p ∨ q ∧ r significa ((¬p) ∨ (q ∧ r)) V L(¬p) = V y V L(q ∧ r) = F , por lo que
V L(¬p ∨ q ∧ r) = V .

6
Definición. . Sean p y q dos proposiciones. LLamaremos disjunción exclusiva
de p y q, denotada p∨q a la proposición o p o q y cuyo valor lógico está dado
por la siguiente tabla de verdad.

p q p∨q
V V F
V F V
F V V
F F F
Esto es, la disjunción exclusiva de p y q es verdadera sólo cuando p y q tienen
valores lógicos distintos.

Ejemplo . Sean p : 2 + 3 > 4, q : (−2)2 = 6.


Escriba la expresión p∨q y su valor lógico.
Solución:
p∨q : o 2 + 3 > 4 o (−2)2 = 6 y VL(p∨q)=V

7
Definición. . Sean p y q dos proposiciones. LLamaremos condicional de p
y q, denotada p → q a la proposición si p entonces q y cuyo valor lógico está
dado por la siguiente tabla de verdad.

p q p→q
V V V
V F F
F V V
F F V
Esto es, el condicional de p y q es falsa solo cuando p es verdadera y q
es falsa, de resto es verdadera.
En este caso, p es la hipótesis(antecende) y q es la conclusión(consecuente).

Ejemplo . Consideremos la proposición s : todo número real mayor que 3


es mayor que 1.
es claro que esta proposición es verdadera.

A s la podemos escribir como, s : para todo número real x, si x > 3


entonces x > 1.
Hagamos p : x > 3 y q : x > 1, el hecho que s sea verdadera significa que sin
importar el valor de x, la proposición p → q es verdadera.
Por ejemplo si x = 4, entonces p y q son verdaderas.
si x = 2, entonces p es falsa y q es verdadera.
si x = 1, entonces p y q son falsas. En cualquiera de los 3 casos p → q es
verdadera.
Observemos que si existiese un ńumero real x tal que p es verdadera y q falsa
entonces tendriamos que x > 3 y x ≤ 1, y ası́ x < x lo cual es contradictorio.

8
En las expresiones que incluyen a los operadores lógicos ∨, ∧, ¬ o →, el
condicional se evalúa al final.

Ejemplo . p ∨ ¬q → r se interpreta como (p ∨ (¬q)) → r

Ejemplo . Supongamos que V L(p) = V L(r) = V y V L(q) = F .


Encuentre el valor lógico de p ∧ q → r, p ∨ ¬q → r y p → (q → r)

Solución: VL(p ∧ q)=F, ası́, VL( p ∧ q → r)=V


como VL(r)=V entonces VL( p ∨ ¬q → r)=V y también VL(q → r)=V, ası́
VL(p → (q → r))=V.
Otras formas equivalentes de expresar el condicional si p entonces q son:

q si p

p solo si q

p implica q

q es necesario para p

p es suficiente para q

una condición necesaria para p es q

una condición suficiente para q es p

9
Ejemplo . Escriba en la forma si p entonces q las siguientes proposiciones:

1. José pasará el examen si estudia mucho.

2. El programa es legible solo si está bien estructurado.

3. 5 < 2 implica que 32 = 9

4. Una condición necesaria para que Fernando compre una computadora


es que obtenga 2000$.

5. Una condición suficiente para que Marı́a visite francia es ir a la torre


Eiffel.

Solución:

1. Si estudia mucho entonces José pasará el examen.

2. Si el programa es legible entonces está bien estructurado.

3. si 5 < 2 entonces 32 = 9

4. Si Fernando compró una computadora entonces obtuvo 2000$.

5. Si Marı́a fué a la torre Eiffel entonces visitó Francia.

10
Una proposición condicional que es verdadera porque el antecedente es
falso se dice que es verdadera por omisión(o superficialmente verdadera). El
recı́proco de la proposición p → q es la proposición q → p.

Definición. . Sean p y q proposiciones. Llamaremos bicondicional de p y q,


denotado p ↔ q, a la proposición p si y solo si q y cuyo valor lógico está
dado por la siguiente tabla de verdad.

p q p↔q
V V V
V F F
F V F
F F V
Esto es, el bicondicional es verdadero cuando p y q tienen los mismos valores
lógicos.
Una forma alternativa de expresar p ↔ q es: p es necesario y suficiente para
q.

11
Definición. . Sean P y Q dos proposiciones obtenidas a partir de las pro-
posiciones p1 , ..., pn usando conectivos lógicos. Diremos que P y Q son lógi-
camente equivalentes, denotado P ≡ Q, si P y Q tienen los mismos valores
lógicos para todos los posibles valores lógicos de p1 , ..., pn .
Dicho de otra forma, si P ↔ Q siempre es verdadero.

Ejemplo . Verificar las leyes de De Morgan para la lógica.

¬(p ∨ q) ≡ ¬p ∧ ¬q y ¬(p ∧ q) ≡ ¬p ∨ ¬q.

Solución:
Hagamos P = ¬(p ∧ q), Q = ¬p ∨ ¬q entonces

p q ¬p ¬q p ∧ q ¬(p ∧ q) ¬p ∨ ¬q
V V F F V F F
V F F V F V V
F V V F F V V
F F V V F V V
Ası́, P ≡ Q

12
Ejemplo . Verifique que ¬(p → q) ≡ p ∧ ¬q. Use esta equivalencia, para
escribir la negación de: Si Jesús recibe una beca entonces va a la universidad,
en sı́mbolos y palabras.

Solución:

p q ¬q p → q ¬(p → q) p ∧ ¬q
V V F V F F
V F V F V V
F V F V F F
F F V V F F
Ası́, ¬(p → q) ≡ p ∧ ¬q.
Por otro lado, hagamos p :Jesús recibe una beca y q :va a la universidad.
Por lo anterior, ¬(p → q) ≡ p ∧ ¬q : Jesús recibe una beca y no va a la
universidad.

Ejemplo . Verifique que:

1. p ↔ q ≡ (p → q) ∧ (q → p) (ley del bicondicional)

2. p → q ≡ ¬q → ¬p (ley del contrarrecı́proco)

13
Cuantificadores
Consideremos la afirmación p : n es un entero impar.
p no es una proposición, ya que es verdadera o falsa dependiendo del valor
de n. por ejemplo, si n = 9 p es verdadera y si n = 6 p es falsa.
Para incluir este tipo de afirmaciones necesitamos la siguiente definición.

Definición. . Sea P (x) una oración que incluye a la variable x y sea D un


conjunto. Diremos que P es una función proposicional, si para cada x ∈ D,
P (x) es una proposición. En este caso, D es el dominio de discurso de P .

Ejemplo . Sea P (n) : n es un entero impar y sea D el conjunto de enteros


positivos. Entonces P es una función proposicional con dominio de discurso
D, ya que para cada n ∈ D, P (n) es una proposición.
P (9) : 9 es un entero impar (verdadera) y P (6) : 6 es un entero impar(falsa).

Ejemplo . Las siguientes afirmaciones son funciones proposicionales.

1. n2 + 2n es un entero impar.(D=conjunto de enteros positivos)

2. x2 − x − 6 = 0. (D=conjunto de números reales)

3. El futbolista anotó más de 35 goles en 2017. (D=conjunto de futbolis-


tas).

14
Casi todas las afirmaciones en matemáticas y ciencias de la computación
usan términos como ”para todo, para alguno, existe un”.
Por ejemplo en matemática tenemos la afirmación
Para todo triangulo T ,la suma de los angulos de T es igual a 180◦ . En ciencias
de la computación, tenemos
para algún programa R la salida de R es R mismo.

Definición. . Sea P una función proposicional con dominio de discurso D.


Diremos que la afirmación Para toda x, P (x)
es una afirmación cuantificada universalmente.

El simbolo ∀ significa para todo, para cualquier, para cada. Ası́, la afir-
mación
para toda x, P (x) se escribe ∀xP (x).
El simbolo ∀ se llama cuantificador universal.
La afirmación ∀xP (x) es verdadera, si P (x) es verdadera, para toda x ∈ D
y es falsa si P (x) es falsa para al menos un x ∈ D. Un valor x que hace a
P (x) falsa se llama un contraejemplo de la afirmación ∀x, P (x).

15
Ejemplo . 1. La afirmación ∀x, x2 ≥ 0 es verdadera, ya que para cada
x ∈ R es cierto que x2 > 0 o x2 = 0.

2. La afirmación ∀x, x2 − 1 > 0 es falsa, basta tomar x = 0 para que


02 − 1 > 0 sea falsa.
0 es un contraejemplo de la afirmación,∀x, x2 − 1 > 0 . Aunque para
algunos x ∈ R, x2 − 1 > 0 es verdadera, el contraejemplo hace que
∀x, x2 − 1 > 0 sea falsa.

Ejemplo . Verifique que la afirmación cuantificada universalmente


para todo número real x, si x > 1 entonces x + 1 > 1
es verdadera.

simbólicamente tenemos ∀x ∈ R, x > 1 → x + 1 > 1 queremos probar que


x > 1 → x + 1 > 1 es verdadera, para todo número real x
fijemos un número real x arbitrario entonces se cumple que o x ≤ 1 o x > 1
si x ≤ 1 entonces x > 1 → x + 1 > 1 es verdadera (por omisión)
ahora, si x > 1 sabemos que x + 1 > x y x > 1 ası́ x + 1 > 1 y nuevamente
x > 1 → x + 1 > 1 es verdadera.
Concluı́mos que, para todo número real x, si x > 1 entonces x + 1 > 1
es verdadera.

16
Definición. . Sea P una función proposicional con dominio de discurso D.
Diremos que la afirmación existe x, P(x)
es una afirmación cuantificada existencialmente.

El simbolo ∃ significa existe, existe un, existe algún. Ası́, la afirmación


existe x, P (x) se escribe ∃x, P (x).
El simbolo ∃ se llama cuantificador existencial.
La afirmación ∃xP (x) es verdadera, si P (x) es verdadera, para al menos un
x ∈ D y es falsa si P (x) es falsa para todo x ∈ D.

Ejemplo . considere la afirmacion


x 2
existe un nḿero real x, que satisface =
x2 +1 5
x 2
simbólicamente, tenemos ∃x ∈ R, = esta afirmación es verdade-
x2
+1 5
x 2
ra ya que al menos un x ∈ R, hace que 2 = sea verdadera.
x +1 5
2 2
Por ejemplo, tomando x = 2, 2 = es verdadera.
2 +1 5
x 2
En este caso, existe un nḿero real x, que satisface 2 = es verdadera
x +1 5
aunque
x 2
= sea falsa para algunos x, por ejemplo, para x = 0 o x = −1
x2 + 1 5

17
Ejemplo . verifiquemos que la proposición
1
∃x ∈ R, 2 > 1 es falsa
x +1
en efecto, dado cualquier x ∈ R tenemos que x2 ≥ 0 es verdadera, ası́,
1 1
x2 + 1 ≥ 1 y dividiendo 2 ≤ 1 es verdadera por lo que 2 > 1 es
x +1 x +1
1
falsa, para todo x ∈ R. Esto es, ∃x ∈ R, 2 > 1 es falsa.
x +1
Teorema. . Sea P una función proposicional. Entonces

1. ¬(∀x, P (x)) ≡ ∃x, ¬P (x)

2. ¬(∃x, P (x)) ≡ ∀x, ¬P (x)

Demostración:
probemos 1) , la prueba de 2) es análoga
si ¬(∀x, P (x)) es verdadera , ∀x, P (x) es falsa, esto es, existe un x para el cual
P (x) es falsa y entonces para ese x, ¬P (x) es verdadera. Es decir, ∃x, ¬P (x)
es verdadera.
si ¬(∀x, P (x)) es falsa , ∀x, P (x) es verdadera, esto es, P (x) es verdadera,
para todo x y ¬P (x) es falsa, para todo x. Es decir, ∃x, ¬P (x) es falsa.

18
Demostraciones

Definición. . Un axioma es un resultado que suponemos verdadero (sin de-


mostrarlo).
Un teorema es una proposición la cual se ha probado que es verdadera.
Un lema es un teorema que no suele ser interesante por sı́ mismo, pero resul-
ta útil para probar otro teorema. Un corolario es un teorema que se obtiene
fácilmente de otro teorema.
Un argumento que establece la veracidad de un teorema es una demostración
o prueba.

Con frecuencia los teoremas son de la forma


para todo x1 , x2 , ..., xn , si p(x1 , x2 , ..., xn ) entonces q(x1 , x2 , ..., xn )
Esta proposición cuantificada universalmente, es verdadera si
p(x1 , x2 , ..., xn ) → q(x1 , x2 , ..., xn ) es verdadero para todo x1 , x2 , ..., xn en el
dominio de discurso.
Para probar que p(x1 , x2 , ..., xn ) → q(x1 , x2 , ..., xn ) es verdadera
sólo consideramos el caso p(x1 , x2 , ..., xn ) verdadera ya que cuando p(x1 , x2 , ..., xn )
es falsa
p(x1 , x2 , ..., xn ) → q(x1 , x2 , ..., xn ) es verdadera por omisión.
Una prueba directa supone que p(x1 , x2 , ..., xn ) es verdadera y usando p(x1 , x2 , ..., xn ),
junto con otros axiomas, definiciones y teoremas derivados antes, demuestra
que q(x1 , x2 , ..., xn ) es verdadera.

19
Definición. . Sea n un número entero. Diremos que n es par, si existe un
entero k tal que n = 2k. n es impar si existe un entero k tal que n = 2k + 1.

Ejemplo . Pruebe de manera directa la afirmación. Para cualesquiera ente-


ros m y n, si m es impar y n es par entonces m + n es impar.
Demostración:

Suponemos que m y n son enteros arbitrarios y que m es impar y n


es par es verdadera. entonces como m es impar existe un entero k1 tal que
m = 2k1 + 1 y existe un entero k2 tal que n = 2k2 .
Ası́, m + n = 2k1 + 1 + 2k2 = 2(k1 + k2 ) + 1. Si hecemos k = k1 + k2 entonces
k es entero y m + n = 2k + 1, esto es m + n es impar es verdadera.

Ejemplo . Sean a, b números reales. Escribiremos mı́n{a, b} para representar


al valor mı́nimo entre a y b. Por lo que si a ≤ b, mı́n{a, b} = a y si a >
b,mı́n{a, b} = b. Demuestre la siguiente afirmación.
Para cualesquiera números reales d, a, b, x, si d = mı́n{a, b} y x ≤ d entonces
x ≤ a y x ≤ b.
Demostración:
Suponemos que d, a, b, x son números reales arbitrarios y d = mı́n{a, b} y
x ≤ d es verdadera. Como d = mı́n{a, b} entonces d ≤ a y d ≤ b, ahora
x ≤ d y d ≤ a por lo que x ≤ a.
De igual forma, x ≤ d y d ≤ b, en consecuencia, x ≤ b.
Esto es, x ≤ a y x ≤ b es verdadera.

20
Una segunda técnica de demostración es la prueba por contradicción,
donde para probar que p → q es verdadera, suponemos que es falsa, es decir
p es verdadera y q es falsa, ası́ usando que p ∧ ¬q es verdadera junto con
otros axiomas, definiciones y teoremas derivados antes llegamos a una con-
tradicción. Una contradicción es una proposición de la forma r ∧ ¬r, donde
r puede ser cualquier proposición. Una prueba por contradicción también se
llama prueba indirecta.

Ejemplo . Pruebe que la siguiente proposición es verdadera


Para todos los números reales x, y, si x + y ≥ 2 entonces x ≥ 1 o y ≥ 1.

Demostración:
Sean x, y números reales arbitrarios y supongamos x ≥ 1 o y ≥ 1 es falsa
entonces por las leyes de De Morgan
¬(x ≥ 1 ∨ y ≥ 1) ≡ ¬(x ≥ 1) ∧ (y ≥ 1) ≡ x < 1 ∧ y < 1 Ası́, x < 1 y y < 1
son verdaderas lo que implica que x + y < 2 es verdadera, es decir, x + y ≥ 2
es falsa, esto es, x + y ≥ 2 ∧ ¬(x + y ≥ 2) es verdadera.
Por lo que, la proposición es verdadera.

21
Este caso particular de prueba por contradicción donde se obtiene que
¬q → ¬p es verdadera, se llama prueba por contrarrecı́proco.

Ejemplo . Pruebe por contrarrecı́poco la proposición


para todo entero m, si m2 es impar entonces m es impar.
Demostración
supongamos que m es impar es falsa, entonces m es par es verdadera, esto
es, existe un entero k tal que m = 2k y ası́, m2 = (2k)2 = 4k 2 = 2n, donde
n = 2k 2 es un entero, es decir m2 es par es verdadero, hemos probado que
¬q → ¬p es verdadera.

22
Cuantificadores anidados
Diremos que una proposición está cuantificada en forma anidada, si posee al
menos dos cuantificadores.

Definición. . Sea P una función proposicional y D su dominio de discurso.

1. La proposión ∀x, ∀y, P (x, y) es verdadera, si para toda x y para toda y


en D, P (x, y) es verdadera y es falsa si para al menos una x y una y
en D, P (x, y) es falsa.

2. La proposión ∀x, ∃y, P (x, y) es verdadera, si para toda x, existe al me-


nos una y en D tal que P (x, y) es verdadera y es falsa si existe al menos
una x tal que P (x, y) es falsa, para toda y en D.

3. La proposión ∃x, ∀y, P (x, y) es verdadera, si existe al menos una x, tal


que P (x, y) es verdadera, para toda y en D y es falsa si para toda x,
existe una y en D tal que P (x, y) es falsa.

4. La proposión ∃x, ∃y, P (x, y) es verdadera, si existe al menos una x y


una y en D tal que P (x, y) es verdadera y es falsa si para toda x y toda
y en D, P (x, y) es falsa.

23
Ejemplo . 1. la afirmación para cualesquiera números reales x, y, si x y
y son positivos entonces su suma es positiva.
simbólicamente tenemos ∀x ∈ R∀y ∈ R, x > 0 ∧ y > 0 → x + y > 0.
Esta afirmación es verdadera, ya que si x > 0 y y > 0 son verdaderas
entonces x + y > 0 es verdadera y entonces el condicional x > 0 ∧ y >
0 → x + y > 0 es verdadera, para cualesquiera números reales x, y.

2. la afirmación ∀x ∈ R, ∃y ∈ R, x + y = 0 es verdadera.
En efecto, para cualquier x ∈ R, basta escoger y = −x y asi x + y = 0
es verdadera.

3. la afirmación ∀x ∈ R, ∃y ∈ R, x.y = 1 es falsa.


basta tomar x = 0 entonces x.y = 0, para todo y ∈ R y ası́ x.y = 1 es
falsa, para todo y ∈ R.

4. la afirmación ∃x ∈ N∀y ∈ N, x ≥ y es falsa.


En efecto , dado cualquier x ∈ N, escogemos y = x + 1, entonces y ∈ N
y x ≥ y es falsa.

5. la afirmación ∃x ∈ Z∃y ∈ Z, x2 + 5 = y 2 es verdadera.


Tomando, x = −2 y y = 3, tenemos que x ∈ Z, y ∈ Z y x2 + 5 = y 2 es
verdadera.

24
El juego de la lógica.
Consideremos una proposición anidada, por ejemplo,
∀x∃y, P (x, y) usted y su oponente, a quien llamaremos Fernando, participan
en un juego de lógica. Su meta es hacer P (x, y) verdadera, y la de Fernando
es tratar de que P (x, y) sea falsa. El juego comienza con el primer cuan-
tificador (izquierda). Si el cuantificador es ∀, Fernando elige un valor para
esa variable; si el cuantificador es ∃, usted elige un valor para esa variable.
El juego continúa con el segundo cuantificador. Después de elegir los valo-
res para todas la variables, si P (x, y) es verdadera, usted gana; si P (x, y) es
falsa, Fernando gana. Se mostrará que si usted gana siempre sin importar
qué valores elija Fernando para las variables, la afirmación cuantificada será
verdadera, pero si Fernando elige valores para las variables de manera que
usted no pueda ganar, la afirmación cuantificada será falsa.

25
Ejemplo . Consideremos la proposición ∃x ∈ R∀y ∈ R, x + y = 0. Como
el primer cuantificador es ∃, usted juega primero y elige un valor para x.
Como el segundo cuantificador es ∀, Fernando juega después. Sin importar
qué valor eligió usted, Fernando siempre puede seleccionar un valor de y que
haga falsa la afirmación x + y = 0.( Si usted elige x = 0, Fernando opta por
y = 1. Si usted elige x 6= 0, Fernando escoge y = 0). Fernando puede ganar
siempre el juego, por lo tanto la afirmación ∃x ∈ R∀y ∈ R, x + y = 0. es
falsa.

Ejemplo . Consideremos la proposición ∀x ∈ R∃y ∈ R, x2 < y + 1.

En este caso, para cualquier x que escoja fernando ud. puede escoger
y = x2 y ası́, x2 < y + 1 es verdadera y ud. gana siempre. Esto es, la
proposición es verdadera.

Ejemplo . Consideremos la proposición ∀x ∈ R∀y ∈ R, x2 < y + 1

En este caso la proposión será verdadera si para cualquier elección de x, y


que haga fernando, x2 < y + 1 es verdadera, pero si fernando escoge x = 0 y
y = −2, tendremos que x2 < y + 1 es falsa y gana fernando.
Por lo que, ∀x ∈ R∀y ∈ R, x2 < y + 1 es falsa.

26
Reglas de inferencia
El proceso de obtener conclusiones a partir de una secuencia de proposiciones
se llama razonamiento deductivo. Las proposiciones se llaman hipótesis o premisas,
y la proposición que se deriva de la hipótesis, se llama conclusión. Un argumento (deductivo)
consiste en hipótesis junto con una conclusión. Muchas demostraciones en
matemáticas y ciencias de la computación son argumentos deductivos. Cual-
quier argumento tiene la forma Si p1 , y p2 y ... y pn , entonces q.
Diremos que el argumento es válido si cada vez que p1 , p2 ,...,pn son verdaderas
entonces q también es verdadera. De lo contrario diremos que el argumento
es inválido. Los argumentos se representan en la forma

p1
p2
..
.
pn
∴q
Si el argumento es válido, lo denotaremos p1 , p2 , ..., pn ⇒ q
El sı́mbolo ⇒ se lee: implica.

27
Observe que no se está afirmando que la conclusión es cierta; sólo se dice
que si se garantiza la hipótesis, también se debe garantizar la conclusión. Un
argumento es válido por su forma no por su contenido.

Ejemplo . Determine si el argumento

p→q
p
∴q

es válido.

Solucón:
Supongamos que p → q y p son verdaderas, si q es falsa como p es verdadera
entonces p → q es falsa por lo que q es verdadera. Ası́, el razonamiento es
válido.
p → q, p ⇒ q

Ejemplo . Determine si el argumento

p→q
q
∴p

es válido.

Solución:
Supongamos que p → q y q son verdaderas, en este caso, como q es verda-
dera, entonces independientemente de que p sea verdadera o falsa p → q es
verdadera. Por lo que el argumento es inválido.

28
Las reglas de inferencia, son argumentos válidos breves que se utilizan
para demostrar argumentos más largos.

regla de inf erencia nombre regla de inf erencia nombre


p → q, p ⇒ q M odus ponens p, q ⇒ p ∧ q Conjuncion
p → q, ¬q ⇒ ¬p M odus tollens p → q, q → r ⇒ p → r Silogismo hipotetico
p⇒p∨q Suma p ∨ q, ¬p ⇒ q Silogismo disjuntivo
p∧q ⇒p Simplif icacion

Ejemplo . Determine la veracidad del siguiente argumento:

Si estudio mucho entonces obtengo 10 o me hago rico.


No obtengo 10 y no me hago rico.

∴ No estudio mucho.
Solución:
hagamos p: estudio mucho, q: obtengo 10, r: me hago rico.
El argumento se representa:
p→q∨r
¬q ∧ ¬r
∴ ¬p
Ahora, ¬(q ∨ r) ≡ ¬q ∧ ¬r (De Morgan)
Ası́, p → q ∨ r y ¬(q ∨ r) son verdaderas , por lo que ¬p es verdadera (modus
tollens)
Esto es, p → q ∨ r, ¬q ∧ ¬r ⇒ ¬p.
El argumento es válido.

29
Ejemplo . Escribe en palabras el siguiente argumento y determine si es váli-
do.
p→r∨q
r → ¬q
∴p→r

donde p : 4 megabytes es mejor que sin memoria, q : compraremos más


memoria y r : compraremos una computadora nueva.
Solución:

Si 4 megabytes es mejor que sin memoria entonces compraremos una


computadora nueva o compraremos más memoria.
Si compramos una computadora nueva entonces no compramos más memoria.

∴ Si 4 megabytes es mejor que sin memoria entonces compraremos una


computadora nueva.

supongamos que p → r ∨ q y r → ¬q son verdaderas pero p → r es falsa.


Ası́, VL(p)=1 y VL(r)=0, como p → r ∨ q es verdadera y p es verdadera
entonces r ∨ q es verdadera, ası́ VL(q)=1. Con estos valores obtenemos que
p → r ∨ q y r → ¬q son verdaderas pero p → r es falsa.
Por lo que el argumento no es válido.

Ejemplo . Demuestre que p → r, p → q ⇒ p → (r ∧ q)

30
Reglas de inferencia para afirmaciones cuantificadas
Suponga que ∀x, P (x) es verdadera, entonces P (x) es verdadera para cada
x en el dominio de discurso D. En particular, si d ∈ D entonces P (d) es
verdadera.
Ası́, hemos demostrado que el argumento

∀x ∈ D, P (x)
∴ P (d), si d ∈ D

es válido.

De manera similar se obtienen las siguientes reglas de inferencia

regla nombre
∀x ∈ D, P (x) ⇒ P (d), si d ∈ D P articularizacion universal
P (d), para toda d ∈ D ⇒ ∀x ∈ D, P (x) Generalizacion universal
∃x ∈ D, P (x) ⇒ P (d), para alguna d ∈ D P articularizacion existencial
P (d) para alguna d ∈ D ⇒ ∃x ∈ D, P (x) Generalizacion existencial

31
Ejemplo . Demuestre que el siguiente argumento es válido: Hipótesis: Ken,
un miembro de los Titanes, puede batear lejos. Todos los que pueden batear
lejos pueden ganar mucho dinero. Conclusión: Algún miembro de los Titanes
puede ganar mucho dinero.

Demostración:
D está formado por todos los jugadores. hagamos P (x) : x es miembro de
los Titanes, Q(x) : x puede batear lejos, R(x) : x puede ganar mucho dinero.
Entonces
P (Ken) ∧ Q(Ken)
∀x, Q(x) → R(x) ∀x, Q(x) → R(x) ⇒ Q(Ken) → R(Ken)
∴ ∃x, P (x) ∧ R(x)
(Particularización universal)
P (Ken) ∧ Q(Ken) ⇒ Q(Ken) (simplificación)
Q(Ken) → R(Ken), Q(Ken) ⇒ R(Ken) (modus ponens)
y también P (Ken) ∧ Q(Ken) ⇒ P (Ken)(simplificación),
finalmente,
P (Ken), R(Ken) ⇒ P (Ken) ∧ R(Ken) (conjunción) y P (Ken) ∧ R(Ken) ⇒
∃x, P (x) ∧ R(x)
(generalización existencial)

Ejemplo . Demuestre que el siguiente argumento es válido


Hipótesis: Todos en clase de matemáticas discretas aman las demostracio-
nes. Alguien en la clase de matemáticas discretas nunca a tomado cálculo.
Conclusión: Alguien que ama las demostraciones nunca a tomado cálculo.

32
Inducción matemática
Principio de inducción matemática

Suponga que se tiene una función proposicional S(n), cuyo dominio de


discurso es N. Suponga que
S(1) es verdadera y para cada n ∈ N, si S(n) es verdadera entonces S(n + 1)
es verdadera.
Entonces S(n) es verdadera, para cada n ∈ N .
n(n + 1)
Ejemplo . Pruebe que 1 + 2 + ... + n = , para todo n ∈ N.
2
Demostración:
n(n + 1)
hagamos tn = 1 + 2 + ... + n y sea S(n) : tn = , para todo n ∈ N.
2
S(1) : 1 = 1(1+1)
2
es verdadera.
Supongamos que S(n) es verdadera, para algún n ∈ N queremos probar que
S(n + 1) es verdadera.
Ahora,

tn+1 = (1 + 2 + ... + n) + (n + 1)
= tn + n + 1
n(n + 1)
= + n + 1, ya que S(n) es verdadera
2
n(n + 1) + 2(n + 1)
=
2
(n + 1)(n + 2)
=
2
esto es, S(n + 1) es verdadera.
Ası́, por el principio de inducción matemática, concluı́mos que S(n) es ver-
dadera, para todo n ∈ N.

33
Ejemplo . Demuestre que
1 + 3 + 5 + ... + 2n − 1 = n2 , para todo n ∈ N.

Demostración:
hagamos tn = 1 + 3 + ... + 2n − 1 y S(n) : tn = n2 , para todo n ∈ N.
S(1) : 1 = 12 es verdadera.
Supongamos que S(n) es verdadera para algún n ∈ N y probemos que S(n+1)
es verdadera.

tn+1 = 1 + 3 + 5 + ... + 2n − 1 + 2(n + 1) − 1


= tn + 2(n + 1) − 1
= n2 + 2(n + 1) − 1, ya que S(n) es verdadera
= n2 + 2n + 1
= (n + 1)2

ası́, S(n + 1) es verdadera.


Por lo que, S(n) es verdadera, para todo n ∈ R.

34

Anda mungkin juga menyukai