Álgebra y geometría

Ayudantía 1
Lógica proposicional, cuantificadores y demostraciones
Primer semestre 2021

1. Determine si las siguientes afirmaciones son verdaderas o falsas. Justifique matemáticamente sus respuestas.
a) Considere verdadera la proposición siguiente: todo lo que brilla es oro. Entonces resulta verdadero afir-
mar: si mis dientes brillan entonces son de oro.

b) La proposición compuesta (p ⇒ q) ⇒ (∼ (p ∧ q) ⇒∼ (p ∧ r)) es una tautología.

c) Si p ⇒ q es falsa, entonces la proposición compuesta (p ∨ (q ∧ r)) ⇔ ((p ∨ r) ∧ q) corresponde a una

contingencia.

2. Sea F un conjunto de personas que se encuentran haciendo fila para ingresar al supermercado. Para x, y ∈ F
se define la función proposicional λ(x, y) : la persona x se encuentra más adelante que la persona y en la fila.

Considere p ∈ F. Indique, justificando sus respuestas, la posición que ocupa p en la fila si:
a) (∀x ∈ F) (λ(p, x) ∨ x = p),

b) (∀x ∈ F) (λ(x, p) ∨ x = p),

c) (∃!x ∈ F) (λ(x, p)).

3. a) Demuestre utilizando el método del contrarecíproco la siguiente proposición para n ∈ N

n2 es múltiplo de 3 ⇒ n es múltiplo de 3.

b) Una función f : R → R se dice aditiva si satisface:

f (x + y) = f (x) + f (y), ∀x, y ∈ Dom(f ).

Demuestre que:
f aditiva ⇒ f (0) = 0
¿Se cumple el recíproco1 de esta proposición?, justifique.

1 Es decir: f (0) = 0 ⇒ f aditiva.