Trabajo Práctico N° 1 Lógica I/Lógica Formal

Fecha de entrega: hasta el lunes 9 de abril de 2018. Subir al aula virtual de la Cátedra
(http://aulavirtual.ffyh.unc.edu.ar). Subir sólo archivos en formato pdf.

Bibliografía
- Lógica 1/Lógica Formal. Material de estudio preparado por la Cátedra de Lógica 1/Lógica Formal.
Escuela de Filosofía. Facultad de Filosofía y Humanidades, U.N.C. 2016. Cap. 1, 2 y 3.
- Gómez Torrente, M. (2001) Forma y Modalidad. Buenos Aires: Eudeba. Cap. 1 y 2.

1. ¿Cuál de las siguientes afirmaciones es verdadera con respecto a los argumentos válidos?
(A) En los argumentos válidos, tanto las premisas como la conclusión son siempre verdaderas.
(B) Puede existir un argumento válido con premisas verdaderas y conclusión falsa.
(C) Es imposible que las premisas de un argumento válido sean falsas y su conclusión sea verdadera.
(D) Un argumento válido podría tener premisas falsas y conclusión verdadera.
(E) Si la conclusión de un argumento válido es falsa, entonces necesariamente todas sus premisas son
falsas.

2. ¿Cuál de las siguientes afirmaciones es verdadera con respecto a las proposiciones?

(A) Todas las oraciones del lenguaje natural son proposiciones.
(B) Una proposición es una afirmación sobre cómo son las cosas que puede ser verdadera o falsa.
(C) Una proposición es una oración que es siempre verdadera.
(D) Una proposición es una oración de la cual sabemos su valor de verdad.
(E) Una oración que es siempre verdadera no es una proposición.

3. Los siguientes son tres diálogos imaginarios entre Alicia y el Gato de Cheshire, personajes de Alicia en
el país de las maravillas. ¿En cuál de ellos Alicia y el Gato expresan la misma proposición?
(3.1) (3.2) (3.3)
-Alicia: estás loco -Gato: yo estoy loco - Gato: yo estoy loco
-Gato: ¡claro que lo estoy! - Alicia: yo también - Alicia: yo no

4. ¿Cuál de las siguientes afirmaciones acerca de la noción de consecuencia lógica es verdadera?

(A) La relación de consecuencia lógica coincide con la relación de implicación por necesidad lógica.
(B) La relación de consecuencia lógica es una relación formal y de implicación por necesidad lógica.
(C) La relación de consecuencia lógica es modal en cuanto que es una relación de necesidad física.
(D) Desde la teoría formulada por Tarski en 1936, existe un acuerdo unánime de que el concepto general
de consecuencia y el concepto especial de consecuencia lógica coinciden.
(E) La relación de consecuencia lógica es una relación de implicación necesaria que en algunos casos
puede no ser una relación formal.

5. ¿Cuáles fueron las contribuciones novedosas de la definición de consecuencia lógica dada por Frege?
(A) La formulación de un lenguaje de primer orden y la incorporación de la noción de derivabilidad en un
sistema formal para dar cuenta del rasgo modal.
(B) La caracterización del rasgo modal en términos de preservación necesaria de la verdad.
(C) La creación de una caracterización de la relación de consecuencia lógica a partir de la noción de
implicación por necesidad lógica.
(D) La creación de un lenguaje de primer orden y la incorporación de la noción de verdad en una
estructura para dar cuenta del rasgo modal.
Trabajo Práctico N° 1 Lógica I/Lógica Formal

(E) El descubrimiento de que en ciertos sistemas formales ningún cálculo axiomático es suficiente para
derivar todas las consecuencias lógicas de todos los conjuntos posibles de premisas.

6. ¿Cuál de los siguientes argumentos es un argumento válido con premisas falsas y conclusión
verdadera?
(A) Las crisopas son una familia de insectos de la orden neuróptera. Los neurópteros tienen dos pares de
alas membranosas con numerosas nervaduras que forman un retículo. Por lo tanto, las crisopas tienen
dos pares de alas membranosas.
(B) Si un artefacto a gas despide monóxido de carbono, entonces es peligroso para la salud. El calefactor
está despidiendo CO. Por lo tanto, el calefactor es peligroso para la salud.
(C) La inflación sólo podrá controlarse cuando aumente el déficit fiscal y cuando baje el gasto público.
Por este motivo, para que aumente el déficit fiscal es necesario que baje el gasto público.
(D) Los reptiles son ratones. Y puesto que Mickey es un reptil, podemos decir que Mickey es un ratón.
(E) El autor de “Leviatán” fue Hume o Descartes. Pero sabemos que Hume no fue el autor de “Leviatán”.
Por esto, el autor del Leviatán fue Descartes.

7. ¿Cuál de los siguientes argumentos no es válido pero tiene premisas y conclusión verdaderas?
(A) Las crisopas son una familia de insectos de la orden neuróptera. Los neurópteros tienen dos pares de
alas membranosas con numerosas nervaduras que forman un retículo. Por lo tanto, las crisopas tienen
dos pares de alas membranosas.
(B) Si un artefacto a gas despide monóxido de carbono, entonces es peligroso para la salud. El calefactor
está despidiendo CO. Por lo tanto, el calefactor es peligroso para la salud.
(C) La inflación sólo podrá controlarse cuando aumente el déficit fiscal y cuando baje el gasto público.
Por este motivo, para que aumente el déficit fiscal es necesario que baje el gasto público.
(D) Los reptiles son ratones. Y puesto que Mickey es un reptil, podemos decir que Mickey es un ratón.
(E) El autor de “Leviatán” fue Hume o Descartes. Pero sabemos que Hume no fue el autor de “Leviatán”.
Por esto, el autor del Leviatán fue Descartes.

8. ¿Cuál de los siguientes símbolos corresponde a una constante del lenguaje de bloques?
(A) DelanD
(B) Dodec
(C) x
(D) Grand
(E) b

9. Traducir las siguientes oraciones del lenguaje natural a un lenguaje de primer orden. Indicar, para cada
caso, la aridad de los predicados empleados y armar un diccionario para los símbolos que se utilicen en la
traducción.
(9.1) La Luna es un planeta.
(9.2) El sol gira alrededor de la Tierra.
(9.3) La Tierra gira alrededor del sol.
(9.4) Júpiter es un satélite de Saturno.
(9.5) Marte está ubicado entre Venus y la Tierra.

10. Dar un ejemplo de: (10.1) un argumento sólido y de (10.2) un argumento válido con premisas y
conclusión falsas.