Tarea # 1

Fundamentos de Informática I
Logica
Horst H. von Brand Paulina Silva Eugenio Canales Franco Castro
Arnaldo Garat
7 de mayo de 2010

Ejercicios
1. Demuestre que P ⇔ Q y (P ∧ Q) ∨ (¬P ∧ ¬Q) son lógicamente equivalentes (señale paso a paso)
Solucion
1.P ↔ Q = P → ∧Q → P
2.(¬P ∨ Q∧(¬Q ∨ P )
3.[(¬P ∨ Q) ∧ ¬Q] ∨ [(¬P ∧ Q) ∨ P ]
4.[(¬P ∧ ¬Q) ∨ (Q ∧ ¬Q)] ∨ [(¬P ∧ P ) ∨ (Q ∧ P )]
5.[(¬P ∧ ¬Q) ∨ F ] ∨ [F ∨ (Q ∧ P )]
6.(¬P ∧ ¬Q) ∨ (Q ∧ P )
2. Traduzca los siguientes enunciados a notación de cuantificadores. Asuma que el dominio es todas las
personas. Puede usar los siguientes predicados:
T (x) : x es un profesor de la Universidad de la vida
E(x) : x es un estudiante alocado
C(x, y) : x esta tomando un curso con y
N (x) : x es demasiado carretero
P (x) : x nunca duerme en clases

a) Todos los estudiantes alocados son demasiado carreteros y nunca duermen en las clases
b) Un cierto estudiante alocado está cursando un curso con un profesor de la Universidad de la vida
que es demasiado carretero

3. Determine el valor lógico de la siguiente proposición

Si a, b ∈ Z entonces a2 − 4b 6= 2.
Solución
Supongamos que esta proposición es falsa Que esta preposicion condicional sea falsa significa que
existen numeros a y b para los cuales a, b ∈ Z esto verdadero pero que
a, b ∈ Z entonces a2 − 4b 6= 2 es falso. Entonces , estamos diciendo que existen enteros tales a, b ∈ Z
para los cuales se cumple que a2 − 4b = 2.

1
 De esta ecuación es posible que nosotros obtengamos
a2 = 4b + 2 = 2(2b + 1) por lo cual a2 es un numero par
Por esto mismo podemos podemos en tanto expresar a como a = 2c para algun entero c.Reemplazamos
entonces lo anterior en la preposicion inicial a2 − 4b = 2.
Obteniendo entonces que
(2c)2 − 4b = 2
4c2 − 4b = 2
Dividiendo esto por 2 .Se obtiene la expresión
2c2 − 2b = 1
2(c2 − 1) = 1
y dado que c2 − b ∈ Z esto significa que 1 es un numero par.Sin embargo sabemos que 1 no es par por
lo cual se produce una bonita contradiccion que nos hace feliz.
Por lo cual la proposición presentada es VERDADERA
4. Demuestre por inducción que para todo n ∈ N, 22n+1 + 1 es divisible por 3. Para la correción de este
ejercicio se dará más énfasis a la formalidad y desarrollo de la demostración (revisar apunte).

Condiciones generales
La tarea se realizará individualmente (esto es grupos de una persona), sin excepciones.
La tarea debe ser entregada el dı́a Viernes 23 de Abril en clases de Fundamentos de Informática.
Por cada dı́a de atraso se descontarán 20 puntos. A partir del tercer dı́a de atraso, no se reciben más
tareas y la nota es automáticamente cero.
La tarea debe ser entregada en hoja de cuadernillo tamaño oficio, escrita a lápiz pasta o tinta. Si
está escrita con lápiz mina, no tendrá derecho a recorrección.
También está la posibilidad de entregar la tarea en LATEX y tamaño carta. Quienes la entreguen en
este formato tendrán un bonus de 10 puntos (es decir, pueden aspirar a nota máxima 110).

La nota de la tarea puede ser segun lo entregado, o (en el caso de algunos estudiantes elegidos al azar)
el resultado de una interrogación en que deberá explicar lo entregado. No presentarse a la interrogación
significa automáticamente nota cero.

FC/EC/AG/PS/HvB/LATEX 2ε