UTN - FRM

Ingenierı́a en Sistemas de Información

Matemática Discreta
UNIDAD 1: LÓGICA
1. Proposiciones
1. Escriba en lenguaje formal de lógica proposicional los siguientes enunciados:

a) No salı́ a correr, pero fui a nadar.

b) No vı́ la pelı́cula, pero leı́ la novela.
c) Ni vı́ la pelı́cula ni leı́ la novela.
d ) Vı́ la pelı́cula aunque no leı́ la novela.
e) O está lloviendo y nevando o está soplando el viento.
f ) Si −1 < 3 y 3 + 5 = 10 entonces el coseno es una función periódica.

2. Considere las proposiciones p:“llueve” y q:“hay sol”. Lea atentamente las 7 proposi-
ciones escritas en lenguaje coloquial resultantes de combinar p y q (listadas a la izquier-
da). Analice también las 7 proposiciones escritas en lenguaje formal listadas a la derecha.
Una con flechas cada proposición coloquial con la representación lógica correspondiente.

Hará sol si y sólo si no llueve. ¬p

Llueve y no hay sol. p∨q
Llueve o hay sol. p∧q
No es cierto que no llueve. p ∧ ¬q
No es cierto que llueve. ¬¬p
Si no llueve entonces hay sol. q ↔ ¬p
Llueve y hay sol. ¬p → q

3. Considere las proposiciones p: “las estrellas emiten luz”, q: “los planetas reflejan
la luz”, r: “los planetas giran alrededor de las estrellas”. Lea atentamente las
4 proposiciones escritas en lenguaje coloquial (listadas a la izquierda). Analice también
las 4 proposiciones escritas en lenguaje formal listadas a la derecha. Una con flechas cada
proposición coloquial con la representación lógica correspondiente.

2. Tablas de Verdad
1. Defina el algoritmo para la construcción de una tabla de verdad.

2. Considere el orden de precedencia definido para los operadores lógicos en la Tabla de

Reglas Para las siguientes expresiones lógicas, señale –mediante la utilización de arcos–
las subexpresiones o términos que las componen, e indique de qué tipo de expresión se
trata, tal como se ejemplifica en el inciso a).

a) (s → t) ∧ (t → u)
b) (s ∨ t) ∧ (¬s ∨ t) ∧ (s ∨ ¬t)
c) p ∨ (¬p ∧ q) → r

1
 Si las estrellas emiten luz, entonces los (p ∨ q) ∧ r)
planetas la reflejan y giran alrededor de
ellas.

Las estrellas emiten luz o los planetas ¬(p ∧ q) → ¬r

las reflejan y, por otra parte, los plane-
tas giran alrededor de ellas.

Los planetas reflejan luz si y sólo si las p → (q ∧ r)

estrellas la emiten y los planetas giran
alrededor de ellas.

Si no es cierto que las estrellas emiten q ↔ (p ∧ r)

luz y que los planetas la reflejan, en-
tonces éstos no giran alrededor de ellas.

Figura 1: Conjunción de impliaciones (o conjunción de condicionales)

d ) p → (q ↔ p ∧ q)
e) ((p ∧ q) ∨ (¬r → s)) ↔ (¬t → ¬ (s → ¬r))
f ) (¬p ∨ s) ↔ (p → q)
g) (p → q) ↔ (¬p ∨ q)
h) p → (q ∨ r) ↔ (p → q) ∨ (p → r)
i ) (p ∨ ¬q) → ¬(q ∧ ¬p)

3. Para cada una de las proposiciones del ejercicio anterior, construya la tabla de verdad e
indique si se trata de una tautologı́a, contradicción o contingencia.

4. Considere las Leyes de De Morgan, también presentes en la Tabla de Reglas:

(DM∧,∨ ) Ley de De Morgan ∧, ∨: ¬ (p ∧ q) ≡ ¬p ∨ ¬q

(DM∨,∧ ) Ley de De Morgan ∨, ∧: ¬ (p ∨ q) ≡ ¬p ∧ ¬q

Para las expresiones de la primera columna, escriba respectivamente en la segunda y en

la tercera columna de la tabla, las subexpresiones que cumplirı́an el rol de p y q para
aplicar estas leyes. En la cuarta columna, aplique la ley que corresponda, y en la quinta
indı́quela.

Expresión p q Aplicación Ley Ley

¬((p ∨ ¬q) ∧ ¬r) (p ∨ ¬q) ¬r ¬(p ∨ ¬q) ∨ ¬(¬r) DM∧,∨
¬(s ∨ ¬q) ∨ ¬(¬p)
¬(¬(t → ¬q) ∨ r)
¬(¬r ∨ (s ∨ t)
¬(¬s ∧ (t ∨ p)

2
5. Considere el Modus Ponens, también presente en la Tabla de Reglas:

(M P ) Modus Ponens: p ∧ (p → q) ⇒ q

que escrito como argumento lógico o regla de inferencia se respresenta de la siguiente

manera:

p
p→q
∴q

Para las expresiones de la primera columna escriba respectivamente en la segunda y en

la tercera columna de la tabla, las subexpresiones que cumplirı́an el rol de p y q para
aplicar la regla.

Expresión p q
(s → t) ∧ [(s → t) → p] (s → t) p
q ∧ (q → r)
(p ∧ q) ∧ [(p ∧ q) → (p ∨ q)]
(s → t) ∧ [(s → t) → p]
[(s → t) → p] ∧ (s → t)

6. Sean a, b y c números enteros dados, diga si entre las siguientes proposiciones hay alguna
que sea la negación de otra:

a) a > b
b) a < b < c
c) a ≤ b
d) b ≤ a ∨ b ≤ c
e) b ≤ a ∨ c ≤ b

7. Negar cada una de las siguientes proposiciones y crear la correspondiente tabla de verdad:

a) (p ∨ ¬q) ∧ ¬p
b) (p → ¬q) → p
c) p → (¬q → p)
d ) (p ↔ ¬q) → ¬r
e) p → (¬q ↔ r)

3
 8. Considere la herramienta online provista por Wolfram Alpha

(visite el sitio http://www.wolframalpha.com/ ).

Considere particularmente el comando de construcción de tablas de verdad que provee la

herramienta denominado truth table.
Su argumento o parámetro de entrada es la expresión lógica que se desea evaluar.
La herramienta utiliza una sintaxis similar a la del lenguaje de programación C para
referirse a los operadores lógicos, según se muestra en la siguiente tabla:

Operador Sı́mbolo lógico Sı́mbolo Sintáctico

Negación ¬ !
Conjunción ∧ &&
Disyunción ∨ ||
Implicación −→ =>
Doble implicación ←→ <=>

Verifique la corrección de las tablas construı́das en el inciso 2 por medio de esta her-
ramienta.

3. Equivalencias lógicas.
1. Verificar mediante tabla de verdad las siguientes leyes lógicas.

Nro Ley Expresión Expresión Dual

1 Idempotencia p∧p≡p p∨p≡p
2 Conmutativa p∧q ≡q∧p p∨q ≡q∨p
3 Asociativa (p ∧ (q ∧ r)) ≡ ((p ∧ q) ∧ r) (p ∨ (q ∨ r)) ≡ ((p ∨ q) ∨ r)
4 Absorción p ∧ (p ∨ q) ≡ p p ∨ (p ∧ q) ≡ p
5 Distributiva p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r) p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)
6 De Morgan ¬(p ∧ q) ≡ (¬p ∨ ¬q) ¬(p ∨ q) ≡ (¬p ∧ ¬q)

2. Diga por qué si o por qué no las siguientes proposiciones son lógicamente equivalentes.

a) ¬q → (p ∧ r) ; ¬p ∧ ¬q
b) ¬(p → q);p ∧ ¬q
c) (¬p ∨ q) → r;(p ∧ ¬q) ∨ r

4. Implicaciones
1. Sea (p → q) una proposición falsa, diga por qué si o por qué no dicha información es
suficiente para afirmar que:

a) p → q es una proposición falsa.

b) p ∧ q no es una proposición verdadera.
c) ¬q → (p ∧ r) es una proposición falsa cualquiera sea la proposición r.

4
 d ) (p → q) → r es una proposición verdadera cualquiera sea la proposición r.

2. Expresar las siguientes proposiciones en forma directa, contraria, recı́proca, contrarecı́pro-

ca:

a) p : es un animal mamı́fero; q : tiene pelo.

b) p : hoy es jueves; q : hay clase de matemáticas.

5. Cuantificadores
Expresar cada item en lenguaje coloquial y determinar cuáles proposiciones son verdaderas
en el dominio de los números naturales y cuáles son verdaderas en el dominio de los números
reales, tal como se ejemplifica en el inciso 1).

1. ∀x(x = 2x → x > 0)

Expresado en lenguaje coloquial para el conjunto N:

“Para todo número natural se cumple que
si es igual a su doble entonces es un número positivo”

Este enunciado es verdadero, por dominio vacı́o, pues el conjunto de elementos en

N que cumplen x = 2x es vacı́o. Por lo tanto, cualquiera sea x ∈ N que se considere,
el antecedente de la implicación es falso, y por lo tanto –de acuerdo a la tabla de
verdad de la implicación o condicional– todo el condicional y la propiedad resultan
ser verdaderos.
Expresado en lenguaje coloquial para el conjunto R:
“Para todo número real se cumple que
si es igual a su doble entonces es un número positivo”

Este enunciado es falso, pues ∃x = 0 ∈ R : x = 2x, y sin embargo 0 no es positivo.

Por lo tanto, hemos encontrado un contraejemplo en el cual el antecedente de la im-
plicación es verdadero, pero el consecuente es falso, y por lo tanto todo el condicional
y la propiedad resultan ser falsos.

2. ∀x(x = x2 → x > 0)

3. ∀x(x 6= 0)

4. ∀x(x3 ≥ x)

5. ∀x(x > 0 → x2 > x)

6. ∃x∀y(x > y)

7. ∃x∀y(x + y = x)

8. ∃x∀y(x + y = y)

5
6. Métodos de demostración
1. Complete la siguiente demostración, mediante la aplicación de la/s regla/s que se indica/n
en cada paso. La numeración indicada para cada regla, corresponde a la Tabla de Reglas
provista por la asignatura.

1. (p → q) ∨ (p → r) Implicación 24.a): (p → q) ≡ (¬p ∨ q)

2. Asoc. Disy. 19.a) y Conmut. Disy. 18.a)
3. Idempotencia de la Disyunción 21.a)
4. Asoc. Disyunción 19.a) e Implicación 24.a)
∴

2. Complete la siguiente demostración, indicando en cada paso qué regla/s se aplicó o apli-
caron.

1. (¬p ∨ q) → r
2. ¬(¬p ∨ q) ∨ r
3. [¬(¬p) ∧ ¬q] ∨ r
∴ (p ∧ ¬q) ∨ r

6.1. Demostración Directa, Indirecta y por Contradicción

A continuación se proponen diferentes métodos de demostración para expresiones de tipo
condicional. p → q puede demostrarse de tres maneras diferentes:

Utilizando el método Directo: p ⇒ q. Es decir que a partir del antecedente es posible

deducir mediante razonamientos lógicos el consecuente.

Utilizando el método Indirecto: ¬q ⇒ ¬p. Es decir que a partir de la negación del

consecuente es posible deducir mediante razonamiento lógico la negación del antecedente.

Utilizando el método por Contradicción: p ∧ ¬q ⇒ F also. En este caso, a partir de

la conjunción del antecedente con la negación del consecuente, es posible deducir me-
diante razonamiento lógico alguna contradicción. Este método también se denomina de
Reducción al Absurdo.

1. Realice la tabla de verdad que permita verificar que las tres implicaciones arriba men-
cionadas son lógicamente equivalentes. Explique qué significado tiene ello en la práctica.

2. Utilizando cada uno de los tres métodos (directo, indirecto y por contradicción), demuestre
los siguientes enunciados:

a) Sea n ∈ Z. n2 es par, si n lo es.

b) Sea n ∈ Z. Si n2 es par, n lo es.
c) Sean x e y números reales. Si xy = 0 entonces x = 0 ó y = 0.

Recuerde que cada demostración puede escribirse formalmente como una sucesión de
implicaciones (⇒) o bien con notación de razonamiento lógico (como en los ejercicios 6.1
y 6.2). Lo importante en ambos casos es que se justifique en cada paso la Ley, Regla o
Propiedad utilizada.

6
6.2. Demostración Existencial y Por Contraejemplo
Demostración Existencial: En proposiciones de la forma ∃x(P (x)) sólo se necesita en-
contrar un elemento x del Dominio de referencia D tal que P(x) sea Verdadero.

Demostración por Contraejemplo: Para refutar una proposición de la forma ∀x(P (x))
simplemente se necesita encontrar un elemento x de D tal que P(x) sea Falso.

1. Desarrolle, según corresponda, una demostración existencial o por contraejemplo para los
siguientes enunciados:

a) En los números reales existe el elemento neutro para la adición.

b) ∀x∃y(x ∗ y = x)
c) ∀x(2x 6= 0)

6.3. Inducción Matemática

El Principio de Inducción Mátemática se utiliza para demostrar que ∀xP (x) se cumple en
el dominio de los números naturales. En ocasiones, también se considera algún subconjunto de
N. Para cada uno de los siguientes incisos, observe atentamente la propiedad enunciada y siga
atentamente los siguientes pasos:

Determine el conjunto C ⊆ N que constituye el dominio sobre el que está definida la

propiedad.

Escriba la generalización del predicado (o función proposicional) como P (x) : “... ”.

Demuestre la validez de cada predicado usando inducción matemática.

• Para ello recuerde que en el paso base de la demostración ha de demostrarse la validez

de P (c) –siendo c el/los elemento/s base del dominio C ⊆ N bajo consideración–.
• Y en el paso inductivo ha de demostrarse la validez de la implicación P (i) → P (i+1),
a fin de que quede demostrado ∀n ∈ C ⊆ N : P (n).
j(j+1)
1. 1 + 2 + 3 + . . . + j = 2
, cualquiera sea j ∈ N.

2. 5 | (7k − 2k ), si k es un número natural.

3. 1 + 3 + 5 + . . . + (2r − 1) = r2 , cualquiera sea r ∈ N.

4. 2y + 1 ≤ 2y , y = 4, 5, 6, ...

5. Sea n ∈ N. Considere el predicado:

n2 + n − 6
P (n) : (1 + 2 + 3 + ... + n = )
2

a) Pruebe que P (n) → P (n + 1).

b) Diga por qué si o por qué no la proposición “ ∀n : P (n)” es verdadera.

7
7. ¡A demostrar y ejercitar!
1. Demuestre cada una de los siguientes incisos eligiendo alguno de los métodos de demostración
estudiados (directo, indirecto, contradicción, existencial, contraejemplo, o inducción):

a) (p → q) ∨ (p → r) ≡ p → (q ∨ r)
b) Sean m y n números reales. m2 = n2 si y sólo si m = n ó m = −n.
c) Sean x e y números reales. Si x + y > 2 entonces x > 1 ó y > 1.
d ) Existe un número real x tal que x2 − 1 > 0.
e) Sea x un número real positivo. Si x 6= 1 entonces x2 6= 1
f ) (p → q) ∧ (p → r) ≡ p → (q ∧ r)
g) ¬(p ↔ q) ≡ (p ∧ ¬q) ∨ (q ∧ ¬p)
h) ∀x(x = 0 ∨ x + x = x), en el conjunto de los Reales y los Naturales
i ) ∀x∃y(x > y 2 ) , en el conjunto de los Reales y los Naturales
j ) ∃x∀y(x > y ∨ −x > y) , en el conjunto de los Reales y los Naturales
k ) p ↔ q ≡ (p → q) ∧ (q → p)
l ) ∃x∀y(x > y ∨ ¬x > y) , en el conjunto de los Reales y los Naturales
m) Existe un número real x tal que x2 − 1 > 0.
n(3n+1)
n) 2 + 5 + 8 + ... + (3n − 1) = 2
, n∈N
ñ) 3 + 6 + ... + (n.n! + 2) = (n + 1)! + 2n − 1, n ∈ N
o) ∀x∀y(x > y ∨ y > x) , en el conjunto de los Reales y los Naturales
p) 5 + 15 + ... + (10n − 5) = 5n2 , n ∈ N
n(n+1)(n+2)
q) ∀n: 1(2) + 2(3) + ... + n(n + 1) = 3
, n natural.
r ) ((p ∨ q) → r) ≡ (p → r) ∧ (q → r)
s) n3 < 3n , ∀n > 3, en el conjunto de los números naturales.
t) 1 ∗ 1! + 2 ∗ 2! + 3 ∗ 3! + ... + n ∗ n! = (n + 1)! − 1, para todo n natural.

2. Representar el siguiente algoritmo en forma de sumatoria, encontrar la fórmula del n-

ésimo término, la expresión matemática del resultado y usar inducción matemática para
llevar a cabo la prueba de dicha proposición:
x=1;
s=0;
Mientras (x ≤ n) hacer
Inicio
e=2x + 1;
s=s+e;
Imprimir(e);
x=x+1;
Fin
Imprimir (s);

8
3. Suponga que usted está frente a dos cajas. Dentro de una de las cajas hay un vale por
una estadı́a completa para dos personas con destino a elección. Dentro de la otra caja se
encuentra una tarjeta postal. Usted debe decidir dentro de cuál de las dos cajas está la
estadı́a que lo llevará a su destino favorito. Para ello, considere que cada una de las cajas
posee una tarjeta. El texto de una de las tarjetas es verdadero y el de la otra es falso. La
tarjeta de la primer caja dice: Dentro de este paquete hay un viaje para dos personas, y
dentro de la otra caja hay una postal. El texto de la segunda caja dice: Dentro de una de
estas cajas hay un viaje para dos personas, y dentro de una de estas cajas hay una postal.
¿Qué caja abrirı́a?

4. Suponga que ahora tiene la posibilidad de ganar un viaje para 10 personas. Hay tres cajas
y sólo en una encontrará el viaje. En las otras dos hay postales. Sólo una tarjeta dice la
verdad. Decida cuál caja abrirá. El texto de la primera caja dice: Dentro de esta caja hay
una postal. El texto de la segunda caja dice: Dentro de esta caja hay un viaje para 10
personas. El texto de la tercera tarjeta dice: En la segunda caja hay una postal. ¿Qué caja
abrirı́a en este caso?