Lógica. Actividades obligatorias (con nota).

Primero que nada, ver los siguientes videos:

1a) Indique qué letra implica cada proposición:.

Por ejemplo si tengo la proposición "Si pienso, entonces existo" y el formalismo "p → q", abajo pongo:
P = Pienso
Q = Existo.

Proposición	Formalismo
Es verano y hace calor	¬¬¬u
Sócrates es mortal y Wolverine inmortal	s ↔ z
Si estoy triste, entonces me pongo a estudiar	u → t
El rey de Argentina no es calvo	¬r
Sócrates es mortal sí y solo sí es humano	v ∧ q
Es falso que Wolverine no es inmortal	t → p
Si no hace calor, no me pongo a estudiar.	v ∨ q
Si es verano, no estoy triste	q ∨ x
Si Wolverine es mortal, estoy triste	s ∧ ¬u
Hace calor o hace frío.	v → ¬t
Es verano o hace calor	¬q → ¬p

1b) Una con flechas las respuestas correctas (es decir la proposición, con su respectivo formalismo).

Otra recomendación potable en caso de hacerlo en papel y lapicera sería escribir la proposición y al ladito el formalismo correcto.

---

2) Proponga la formalización lógica de las siguientes proposiciones:

(p: Saco más de 6; q: Apruebo el examen.)

1. Si saco más de 6, apruebo el examen.
2. Apruebo el examen, sí o sólo sí saco más de 6.
3. Es falso que apruebo el examen.
4. Saco 6 o no apruebo el examen.
5. Es falso que repruebo el examen.

---

3a) Invente con sus respectivas letras siete proposiciones lógicas.

(por ejemplo, P = "Los alumnos de Saussure publicaron el Curso de Linguística General")

3b) Utilizando las 7 proposiciones lógicas que usted mismo hizo, traduzca las siguientes proposiciones lógicas:

(Por ejemplo, si me piden ¬P, entonces yo escribo "Los alumnos de Saussure NO publicaron el curso de Lingüística General")

1. ¬r → s
2. p ∧ s
3. q ↔ u
4. r ∧ v
5. s → v
6. t → u
7. r ↔ ¬s
8. v → ¬q

3c) Luego aclare si las proposiciones generadas son verdaderas o falsas.

(En nuestro caso, ¬P es falsa, porque la verdad es que los alumnos sí publicaron el libro de Ferdinand de Saussure, luego de la muerte de su maestro).

---

Fecha máxima de envío: viernes 10 de noviembre a las 7:00 AM, por mail a daniel.salas@bue.edu.ar.
El trabajo se hace de a 2 (el compañero lo eligen ustedes, PERO no pueden agruparse con un alumno con el cual ya hayan compartido pareja. En caso de elegir una pareja repetida la nota será "1". (En este enlace tienen el registro de con quienes hicieron o harán pareja, con ellos NO podrán hacer el trabajo: Grilla de parejas (pueden elegir a alguien con quien tengan el casillero en blanco).

Cualquier duda pueden dejarla en los comentarios (aclarando su nombre) o escribirme por mail, yo contestaré todas las preguntas necesarias los miércoles 1 y 8 y jueves 2 y 9 de noviembre de 19:45 a 23:15.

Consigna extra OBLIGATORIA INDIVIDUAL (tenés horas extras para hacerlo, hasta el domingo a las 23:59):

Deberás responder en la caja de comentarios (especificando nombre y apellido), en al menos 150 palabras, qué te pareció el TP y su nivel de dificultad, qué cosas fueron más difíciles de entender y qué te pareció cómo explica el profe Alex (obviamente que si te gustó, también se lo podrías comentar a él mismo en los comentarios de sus videos).
En caso de no realizar esta consigna extra, se eliminará la nota individual correspondiente y se asignará un 1. De esta manera sólo tendrá calificación aquel alumno que sí haya realizado el comentario pertinente solicitado).