Está en la página 1de 5

Tarea 1 de Álgebra Superior I

Jesús Altzil Murillo García (310699369)
24 de agosto de 2012
1. En un periodico aparece el siguiente parrafo: “La mexicana Aida Roman practica tiro con arco.
Entrena arduamente en Jalisco. Esta compitiendo en las Olimpiadas de Londres.” Sean P, Q y
R la primera, segunda y tercera oraciones de este parrafo respectivamente. Escriba en español
las siguientes proposiciones (observe que la segunda y tercera oraciones no tienen sujeto, porque
esta implcito gracias a la primera oracion):
(i) La mexicana Aida Román practica tiro con arco y entrena arduamente en Jalisco.
(iii) Si la mexicana Aida Román practica tiro con Arco y entrena arduamente en Jalisco,
entonces está compitiendo en las Olimpiadas de Londres.
2. Haga las tablas de verdad de las siguientes proposiciones:
(i)
((¬ P ∧ Q) ⇒ R
F V F V V V
F V F V V F
F V F F V V
F V F F V F
V F V V V V
V F V V F F
V F F F V V
V F F F V F
(iii)
(¬ (P ∨ Q)) ∨ ((¬ P) ∧ Q)
F V V V F F V F V
F V V F F F V F F
F F V V V V F V V
V F F F V V F F F
3. Determine en cada caso si la informacion dada es suciente para conocer el valor de verdad de las
siguientes proposiciones compuestas, justicando sus respuestas:
(i) Sí es suficiente ya que si P ⇒ Q es falso, el resultado será verdadero, pero si P ⇒ Q
es verdadero, el resultado también será verdadero
(iii) Sí es suficiente porque si P es verdadero y R es falso, entonces la parte P ∨ R del
enunciado (P ∧ Q) ⇒ (P ∨ R) será verdadero y no importa si P ∧ R es verdadero o
falso, el valor de verdad del enunciado (P ∧ Q) ⇒ (P ∨ R) será verdadero.
(iv) Sí es suficiente porque (P ∨ Q)∧(¬Q) es verdadero, entonces ambos enunciados tienen
que ser verdaderos, por lo que (¬Q) es verdadero y Q tiene que ser falso. Por esto el
valor de verdad de ((P ∨ Q) ∧ (¬Q)) ⇒ Q es falso.
4. Diga si los siguientes pares de proposiciones son logicamente equivalentes, justicando sus res-
puestas:
(i) P ⇒ Q no es lógicamente equivalente a Q ⇒ P porque sus tablas de verdad son
diferentes
P Q P ⇒ Q Q ⇒ P
V V V V
V F F V
F V V F
F F V V
1
(iii) (P ∨ R)∧(Q∨ ¬R) es lógicamente equivalente a (P ∨ R)∧(Q∨ ¬R) porque sus tablas
de verdad son iguales.
(P ∨ R) ∧ (Q ∨ (¬ R)
V V V V V V F V
V V V F F F F V
V V F V V V V F
V V F V F V V F
F V V V V V F V
F V V F F F F V
F F F F V V V F
F F F F F V V F
(R ∧ Q) ∨ ((¬ R) ∧ P)
V V V V F V F V
V F F F F V F V
F F V V V F V V
F F F V V F V V
V V V V F V F F
V F F F F V F F
F F V F V F F F
F F F F V F F F
5. Diga si las siguientes proposiciones son leyes logicas o tautologas, justicando sus respuestas:
(i) P ⇒ (P ∨ Q) Es tautología porque siempre es verdadera.
P ⇒ (P ∨ Q)
V V V V V
V V V V F
F V F V V
F V F F F
(iii) ((P ⇒ Q) ∧ (Q ⇒ R)) ⇒ (P ⇒ R) es tautología porque siempre es verdadera.
((P ⇒ Q) ∧ (Q ⇒ R)) ⇒ (P ⇒ R)
V V V V V V V V V V V
V V V F V F F V V F F
V F F F F V V V V V V
V F F F F V F V V F F
F V V V V V V V F V V
F V V F V F F V F V F
F V F V F V V V F V V
F V F V F V F V F V F
6. Niegue las proposiciones del Ejercicio 2, simplifquelas de forma que cada smbolo de negaci on
afecte a lo mas a una letra, y calcule la tabla de verdad de las proposiciones negadas, comparan-
dola con la tabla de verdad de la proposicion para revisar que s haya negado correctamente.
(i) ¬(((¬P) ∧ Q) ⇒ R) = ((¬P) ∧ Q) ∧ ¬R
((¬ P) ∧ Q) ∧ (¬ R)
F V F V F F V
F V F V F V F
F V F F F F V
F V F F F V F
V F V V F F V
V F V V V V F
V F F F F F V
V F F F F V F
(iii) ¬((¬(P ∨ Q)) ∨ ((¬P) ∧ Q)) = (¬(¬(P ∨ Q)) ∧ ¬((¬P) ∧ Q)) = (P ∨ Q)∧(¬(¬P) ∨ ¬Q) =
((P ∨ Q) ∧ P ∨ ¬Q)
2
(P ∨ Q) ∧ (P ∨ ¬ Q
V V V V V V F V
V V F V V V V F
F V V F F F F V
F F F F F V V F
7. Escriba las siguientes proposiciones en lenguaje simbolico de tal manera que las letras representen
proposiciones que ya no pueden descomponerse, despues niegue las representaciones simbolicas
de forma que cada smbolo de negacion afecte a lo mas a una letra, y retraduzcalas al español:
(i) Hay nubes, pero no llueve
Hay nubes = P
No llueve = Q
Hay nubes pero no llueve = P ∧ Q
¬(P ∧ Q) = ¬P ∨ ¬Q
¬P ∨ ¬Q = No hay nubes o llueve
(iii) Si llueve habrá agua
Llueve = Q
Habrá agua = R
Si llueve, habrá agua = Q ⇒ R
¬(Q ⇒ R) = Q∧ ¬R
Q∧ ¬R = Llueve y no hay agua
8. Diga si los siguientes son razonamientos deductivos validos, justicando su respuesta (si el razona-
miento no es valido, la manera de justicar la respuesta es dando un ejemplo en el que las premisas
sean verdaderas y la conclusion falsa, es decir, dar un \contraejemplo"):
(i) Suponemos que todas las premisas son verdaderas. Entonces tenemos dos casos:
1.Caso Si (¬Q) ⇔ R es verdadero, entonces R y ¬Q son verdaderos, por lo
que Q es falso. Entonces para que P ∨ ¬R sea verdadero, P necesita ser
verdadero, ya que ¬R es falso. P ∨¬Q también es verdadero porque P es
verdadero. Por lo tanto P es verdadero.
2.Caso Si (¬Q) ⇔ R es verdadero, entonces R y ¬Q son falsos, por lo que Q
es verdadero. Entonces para que P ∨ ¬Q sea verdadero, P necesita ser
verdadero, ya que ¬Q es falso. P ∨¬R también es verdadero porque P es
verdadero. Por lo tanto P es verdadero.
Entonces
P ∨ ¬Q
(¬Q) ⇔ R
P ∨ ¬R
P
es un razonamiento deductivo válido.
(iii) Suponemos que todas las premisas son verdaderas. Entonces tenemos que ¬Q es
verdadero y Q es falso. Y también sabemos que (¬R) ∧ S es verdadero por lo que
tanto ¬R como S son verdaderos y R es falso. En la premisa ((¬P) ∧ Q) ⇒ R sabemos
que (¬P) ∧ Q necesita ser verdadero y para que eso suceta tanto Q como como ¬P
necesitan ser verdaderos, pero Q es falso.
Entonces
(¬P ∧ Q) ⇒ R
(¬R) ∧ S
¬Q
P
no es un razonamiento deductivo válido.
9. Diga si los siguientes razonamientos son validos, justicando su respuesta:
(i)
Si los músicos no están interesados, entonces no les preocupan los ensayos ni el público.
A los músicos les preocupas los ensayos o el público.
Los músicos están interesados.
No es un razonamiento válido porque si pensamos que I = Los músicos están intere-
sados; E = a los músicos les preocupan los ensayos; P = a los músicos les preocupa
el público entonces podemos reescribirlo lógicamente como:
3
¬I ⇒ ¬(E ∧ P)
E ∨ P
I
Suponemos que para E∨P tenemos que E es verdadero y P es falso, entonces E∨P
sería verdadero. En el caso ¬I ⇒ ¬(E ∧ P) tenemos que E ∧ P es falso, por lo
que ¬(E ∧ P) es verdadero y ¬I puede ser tanto verdadero como falso y la premisa
¬I ⇒ ¬(E ∧ P) seguiría siendo verdadera. Si ¬I es verdadero, entonces I es falso y
por esto el razonamiento no es válido
(iii)
Si los alumnos no están interesados, entonces no le preocupan las tareas.
Si a los alumnos les preocupan las tareas, entonces van a clase y estudian.
Si los laumnos disfrutan las clases, entonces están interesados
Los alumnos disfrutan las clases
Los alumnos estudian
No es un razonamiento válido porque si pensamos que I = Los alumnos están intere-
sados; T = A los alumnos les preocupan las tareas; C = Los alumnos van a clase;
E = Los alumnos estudian; D = Los alumnos disfrutasn las clases, entonces podemos
reescribirlo lógicamente como:
¬I ⇒ ¬T
T ⇒ (C ∧ E)
D ⇒ I
D
E
Suponemos que D es verdadero, entonces para D ⇒ I es necesario que I sea verda-
dero. En el caso ¬I ⇒ ¬T sabemos que ¬I es falso, por lo que ¬T puede ser falso o
verdadero al igual que T. Si T es falso entonces C∧E puede ser falso queriendo decir
que E es falso. por lo que el razonamiento no es válido.
10. Traduzca las siguientes oraciones con esquemas proposicionales, despues niegue las representacio-
nes simbolicas de manera que cada smbolo de negacion afecte a lo mas a un esquema proposicional
y retraduzcalas al español:
(i) “El cuadrado de todo número real es mayor que 2.” se puede traducir como ∀x(C (x) ⇒ M (x)),
su negación sería ∃x(C (x) ∧ ¬M (x)) y se diría: “Existe al menos un número real cuyo
cuadrado no es mayor que 2”
(iii) “Para todo número natural x, si para todo número natural y la suma de x y y es y,
entonces x es el 0.” se puede traducir como ∀x∀y (S (x, y) ⇒ C (x)), su negación sería
∃x∃y (S (x, y) ∧ ¬C (x)) y se diría: “Existe un número natural x, existe un número
natural y en donde la suma de x y y es y y x es distinto del 0”
11. Niegue las siguientes formulas de manera que cada smbolo de negacion afecte a lo mas a un
esquema proposicional:
(i) ∃x(P (x) ∨ ¬Q(x)) se negaría como ∀x(¬P (x) ∧ Q(x))
(iii) ∃x(¬P (x) ∧ Q(x)) se negaría como ∀x(P (x) ∨ ¬Q(x))
(v) ∃x∀y(x ≤ y) se negaría como ∀x∃y(x y)
12. Escriba tres enunciados en espa~nol y de su traduccion al lenguaje simbolico de predicados (con
esquemas proposicionales y cuanticadores). Escoja enunciados con una estructura interesante
y tales que cada traduccion tenga al menos 10 smbolos del lenguaje simbolico (incluyendo los
parentesis). Incluya uno en la tarea que vaya a entregar.
(i) ∀x∃y ((O(x, y) ∧ M (y, x)) ∧ (L(y) ⇒ E(x)) ∧ ((¬L(y) ⇒ P (x)) ∨ (A(x, y) ⇒ ¬L(y))))proviene
de “Todos los mexicanos saben que existe un tal Enrique, los mexicanos odian a En-
rique y Enrique les tiene miedo a los mexicanos, si Enrique llega a la presidencia
entonces los mexicanos estarán enojados, si Enrique no llega a la presidencia enton-
ces los mexicanos estarán en paz, si los mexicanos toman acción en contra de Enrique,
entonces Enrique no llegará a la presidencia”
4
13. Diga si los siguientes razonamientos deductivos son validos, justificando su respuesta.
(i)
∀x(P (x) ⇒ Q(x))
¬Q(a)
¬P (a)
Esto a lo que nos enfrentamos es un razonamiento deductivo válido porque si ¬Q(a)
es verdadero entonces Q(a) es falso y para que las premisas sean todas verdaderas
P (a) tendría que ser falso y la conslusión es verdadera.
14. Dé un ejemplo y existe
(i) Si tenemos que P (x) = “x es negro” y hablamos del universo de los gatos, entonces
el enunciado ∀xP (x) es falso porque el gato de cheshire es morado pero ∃xP (x) es
verdadero porque el gato felix existe.
(iii) No existe porque dos cosas no pueden ser y no ser al mismo tiempo, es decir ¬∃xP (x)
se puede entender como ∀x¬P (x) y eso no puede ser verdadero al mismo tiempo que
∀xP (x)
15. Dé un ejemplo y dé un ejemplo
(i) ∃y∀xP (x, y) se puede traducir en: “Existe al menos un jugador en todos los equipos de
Handball donde el jugador es expulsado del equipo”, y ∀x∃yP (x, y) se puede traducir
como: “Para todos los equipos de Handball existe al menos un jugador donde el
jugador es expulsado del equipo.” Los significados son diferentes porque parece que
hay un jugador en cada uno de los equipos de Handball que es expulsado, mientras
que de la otra manera existe sólo un jugador de entre todos los equipos que será
expulsado.
(iii) ∀y∃xP (x, y) se puede traducir en: “Para todo lector existe un libro, donde el libro es
el primer libro del lector” es verdadera, pero ∀y∃xP (x, y) es falsa ya que “Para todo
libro existe un lector, donde el libro es el primer libro del lector” es falso porque el
Spivak no es el primer libro que la gente lee, entonces ese libro no es el primer libro
de cualquier lector.
5