Fase Eliminatoria: Marzo de 2011 LICENCIATURA

Tamaño: px
Comenzar la demostración a partir de la página:

Download "Fase Eliminatoria: Marzo de 2011 LICENCIATURA"

Transcripción

1 Nombre: Institución: INSTRUCCIONES: Todas las preguntas deberán ser respondidas empleando únicamente las herramientas de la Lógica Clásica Formal y de la Lógica Informal. Considera solamente las premisas que están explícitamente escritas. Los ejemplos son ficticios. Elige sólo una respuesta. Cada respuesta correcta te dará un punto. Recuerda que este es un examen que mide habilidades lógicas. Así, cuando leas qué se sigue?, el examen se refiere a seguirse o ser consecuencia lógica según la Lógica Clásica Formal; cuando leas: negación lógica se refiere a negar todo el enunciado. Asimismo, las palabras no, y, o, si entonces, si y sólo si, se refieren a las conectivas lógicas (,,,, ) respectivamente. Tienes una hora y media para resolver el examen. Suerte! 1. Qué podemos afirmar de los siguientes enunciados? E 1 : Todo hombre ama a alguna mujer y E 2 : Algún hombre ama a toda mujer. Suponiendo que hay hombres y mujeres. a. Son equivalentes. b. E 2 implica a E 1 y E 1 no implica a E 1. c. E 1 implica a E 2 y E 1 no implica a E 2. d. E 1 no implica a E 2 y E 2 no implica a E Cuál es la simbolización más adecuada para el siguiente enunciado? Si me gano los pronósticos prometo que: te pagaré un viaje por Europa y viajaremos juntos a Ítaka; y si no cumplo, que me parta un rayo. a. [(G E) I] (C P) b. [G (E I)] ( C P) c. [G (E I)] ( C P) d. G [(E I) ( C P)] 3. Qué es cierto sobre la siguiente afirmación? Si de un conjunto de premisas no se sigue el enunciado A, entonces de ese conjunto se sigue el enunciado A. a. Que es falsa. b. Que es verdadera. c. Que no es ni verdadera ni falsa. d. Que no podemos decidir si es verdadera o falsa. 4. Cuál es la mejor simbolización para el siguiente enunciado? Todos los marineros tienen una mujer en cada puerto. Donde: Mx: x es marinero; Px: x es un puerto; Jx: x es una mujer; Exy: x está en el puerto y; Txy: x tiene a y. a. x y[(mx Py) z(jz Ezy Txz)] b. x y[(mx Py) z(jz Ezy Txz)] c. x y[(mx Py) z(jz Eyz Txz)] d. x y[(mx Py) z(jz Ezy Txz)] VIII OLIMPIADA DE LÓGICA FASE ELIMINATORIA- 1/6

2 5. Dado un condicional cuyo antecedente es una tautología, Cómo debe ser el consecuente para que el condicional sea un enunciado contingente? a. Algunas veces verdadero y algunas veces falso. b. Nunca verdadero y nunca falso. c. Siempre verdadero. d. Siempre falso. 6. Cómo es el siguiente argumento? Algunos países que se comprometen al desarme nuclear no tienen armas nucleares. Algunos países que tienen armas nucleares se comprometen al desarme nuclear y algunos países que tienen armas nucleares no se comprometen. Todos los países comprometidos con el desarme nuclear y que tienen armas nucleares, las destruirán. Todos los países que destruirán armas nucleares, están comprometidos con el desarme. Por lo tanto, algunos países tienen armas nucleares y no las destruirán. b. Inválido con premisas contradictorias. c. Válido con premisas no contradictorias. d. Inválido con premisas no contradictorias. 7. En una isla habitada por los ingleses, funcionan tres clubes. Cuál simbolización expresa mejor la siguiente afirmación? Cualesquiera dos clubes tienen un socio en común. Donde: Cx: x es un club; Sxy: x es socio de y. a. x y z[x y Cx Cy Szx Szy] b. z x y[(x y Cx Cy) (Szx Szy)] c. x y[(x y Cx Cy) z (Szx Szy)] d. x y z[(x y Cx Cy) (Szx Szy)] 8. Cuál de las siguientes afirmaciones se sigue de lo que dice don Quijote? Haz de saber, Sancho hermano, dijo don Quijote- que aunque todos los cortesanos son caballeros no todos los caballeros andantes son cortesanos. a. Alguno que no es cortesano es caballero andante. b. Don Quijote es caballero pero no es cortesano. c. Es falso que: algún cortesano es caballero. d. Ninguno que sea caballero es cortesano. 9. Qué podemos afirmar con certeza a partir de lo siguiente? En Pandora sucede que: Jake ama a Neytiri, si ella no lo ama. Pero Jake no la ama, si ella lo ama. Sin embargo, él no la ama, si él la ama. a. Jake ama a Neytiri y ella lo ama. b. Neytiri no ama a Jake y él la ama. c. Neytiri ama a Jake y él no la ama. d. Jake no ama a Neytiri y ella no lo ama. VIII OLIMPIADA DE LÓGICA FASE ELIMINATORIA- 2/6

3 10. Un argumento deductivo es lógicamente válido, cuando: a. Alguna vez lleva de verdad a falsedad. b. Sus premisas y su conclusión son verdaderas. c. Es posible que nos lleve de verdad a falsedad. d. Es imposible que nos lleve de verdad a falsedad. 11. Cómo es el argumento siguiente? Sofía es una de mis primas. Sofía es una lancha que navega por el río Balsas. Por lo tanto, una de mis primas navega por el río Balsas. a. Válido con premisas no contradictorias. b. Inválido con premisas contradictorias. c. Falacia por usar dos palabras distintas con el mismo sentido. d. Falacia por usar una palabra con dos sentidos distintos. 12. Cuál es la simbolización más adecuada para el siguiente enunciado? Todos los que tienen papá tienen mamá. Donde: Pxy: x es papá de y; Mxy: x es mamá de y. a. x ypyx x zmzx b. x[ ypyx zmzx] c. x[ y Pyx zmzx] d. x[ ypxy zmxz] 13. Cómo es el siguiente argumento? Todos los microbuseros son impacientes. Todos los que son impacientes pero no son microbuseros, son malencarados. Juan es impaciente pero no es malencarado. Por tanto, Juan no es microbusero. b. Válido con premisas no contradictorias. c. Inválido con premisas contradictorias. d. Inválido con premisas no contradictorias. 14. Cuál de las siguientes afirmaciones sobre argumentos es verdadera? a. Si un argumento válido tiene la conclusión falsa, tiene todas las premisas falsas. b. Si un argumento tiene todas sus premisas falsas, el argumento es válido. c. Si un argumento válido tiene todas sus premisas verdaderas, tiene la conclusión verdadera. d. Si un argumento es inválido, al menos una de sus premisas es falsa y la conclusión es falsa. 15. Qué se sigue del siguiente conjunto de premisas? Todos mis amigos de la escuela son mis amigos en las redes sociales, y todos mis amigos en las redes sociales son mis amigos del alma. Luis es mi amigo en las redes sociales. Ana es mi amiga del alma y Pepe es mi amigo en la escuela. a. Luis, Ana y Pepe son mis amigos del alma. b. Ana no es mi amiga en las redes sociales y Pepe sí. c. Ana es mi amiga en las redes sociales y Pepe es mi amigo del alma. d. Pepe es mi amigo en las redes sociales y Luis es mi amigo en la escuela. VIII OLIMPIADA DE LÓGICA FASE ELIMINATORIA- 3/6

4 16. El enunciado: Caminante no hay camino, se hace camino al andar. Tiene como conectivo principal una: a. Doble Implicación. b. Conjunción. c. Disyunción. d. Negación. 17. Cuál es la mejor simbolización del siguiente enunciado? Cualquiera de los seguidores de Russell estima al menos a uno de los seguidores de Hilbert. Donde: Sxy: x es seguidor de y; Exy: x estima a y; r: Russell; h: Hilbert. a. x[sxr y(syh Exy)] b. x[sxr y(syh Exy)] c. x[ y(syh Exy) Sxr] d. x[sxr y(shy Exy)] 18. Dadas las siguientes premisas Qué se sigue? Es falso que: si llueve, me mojo. Pero si no me mojo, no me resfrío y tampoco me inyectan. a. Llueve y me mojo. b. No me inyectan o nunca llueve. c. Aunque me resfrío, no me inyectan. d. Si no me inyectan o no me mojo, no llueve. 19. Cómo es el siguiente argumento? Todo el que conoce a Carlos conoce a algún vegetariano. No hay vegetarianos que no sean madrugadores. Por tanto, todo el que conoce Carlos conoce a alguien madrugador. a. Es válido con premisas no contradictorias. b. Es inválido con premisas no contradictorias. c. Es inválido con premisas contradictorias. d. Es válido con premisas contradictorias. 20. Sean A: No es el caso que: si llueve, me mojo y B: No es el caso que: si me mojo, me enfermo. Cómo es la conjunción A B? a. Es contingente. b. Es una contradicción. c. No es una contradicción. d. No es cierto que no es una tautología. 21. Cuál es la mejor simbolización del siguiente enunciado? Ninguno de los seguidores del América estima a ningún seguidor del Guadalajara. Donde: Sxy: x es seguidor de y; Exy: x estima a y; a: El América; g: El Guadalajara. a. x y[(sxg Sya) Exy] b. x y[(sxa Syg) Exy] c. x y[(sxa Syg) Exy] d. x y[ (Sxa Sxg) Exy] VIII OLIMPIADA DE LÓGICA FASE ELIMINATORIA- 4/6

5 22. A qué equivale el siguiente enunciado? Todos los extraterrestres son amigos de los sapos. a. No hay extraterrestres que no sean amigos de algún sapo. b. No hay extraterrestres que sean amigos de todos los sapos. c. No hay sapos que no sean amigos de los extraterrestres. d. Todos los extraterrestres son amigos de algún sapo. 23. Qué se sigue del siguiente conjunto de premisas? Si Paula y María son afortunadas, Laura no lo es. Paula es afortunada, y Carlos o Laura lo son. Carlos es afortunado cuando y sólo cuando Ernesto lo es. a. Si María es afortunada, Ernesto lo es. b. Si María es afortunada, Laura lo es. c. Ernesto y Carlos son afortunados. d. Paula y María son afortunadas. 24. Cuál es la negación lógica del siguiente enunciado? Todos le dijeron a Sonia que fuera a la fiesta. a. Nadie le dijo a Sonia que fuera a la fiesta. b. Alguien le dijo a Sonia que no fuera a la fiesta. c. Todos le dijeron a Sonia que no fuera a la fiesta. d. Alguien no le dijo a Sonia que fuera a la fiesta. 25. Cuál es la simbolización más adecuada para el siguiente enunciado? Un niño pequeño depende de sus padres. Donde: Nx: x es un niño; Px: x es pequeño; Dx: x depende de sus padres. a. x[(nx Px) Dx] b. x[(nx Px) Dx] c. x[(nx Px) Dx] d. x[ (Nx Px) Dx] 26. Dadas las siguientes premisas, qué no se sigue? Si José va al cine, Marco o Ernesto van al cine. Marco va al cine si y sólo si Laura va. José va al cine y come palomitas. Si Laura no va al cine, Ernesto no va. a. Ernesto no va al cine. b. Laura y José van al cine. c. Si Ernesto va al cine entonces Laura va al cine. d. José come palomitas, y no es cierto que Laura no va al cine. 27. Cómo es el siguiente argumento? Te quiero. Pero si me quieres no te quiero. Todos los que yo quiero, me quieren. Por lo tanto quiero a todos y nadie me quiere. b. Válido con premisas no contradictorias. c. Inválido con premisas contradictorias. d. Inválido con premisas no contradictorias. VIII OLIMPIADA DE LÓGICA FASE ELIMINATORIA- 5/6

6 28. Cómo es el siguiente argumento? Ana irá a desayunar; o bien, si Juan va a correr entonces Ana va a correr. Si Ana va a correr llegará a su casa a las 10 am; sin embargo, Ana no irá a desayunar. Si Juan va a correr, Ana llegará a su casa a las 10 am, lo cual implica que Ernesto se enojará. Ernesto no se enojará; o bien, si Ana tiene tiempo entonces irá a desayunar. Por tanto, Ana no tiene tiempo. b. Inválido con premisas contradictorias. c. Válido con premisas no contradictorias. d. Inválido con premisas contradictorias. 29. Cuál es la mejor simbolización para el siguiente enunciado? Ninguno de los alumnos de Samuel ha leído ningún texto que Samuel ha leído. Donde: Tx: x es un texto; Lxy: x ha leído y; Axy: x es alumno de y; s: Samuel. a. x[tx Lsx y( Ays Lxy)] b. x y[( Axs Lxy) (Ty Lsy)] c. x[axs y((ty Lsy) Lxy)] d. x y[(axs Ty) ( Lsy Lxy)] 30. Qué premisa hay que agregar para que resulte válido el siguiente argumento? Si los centauros y los unicornios existen, entonces los cíclopes existen. El ave fénix no existe; o bien, si el ave fénix existe entonces los unicornios existen. El ave fénix existe y el minotauro existe. Por tanto, los cíclopes existen. a. Si el ave fénix no existe, los cíclopes existen. b. El minotauro no existe o los centauros no existen. c. El minotauro no existe o los centauros existen. d. Si el minotauro no existe, los centauros no existen. VIII OLIMPIADA DE LÓGICA FASE ELIMINATORIA- 6/6

Fase Eliminatoria: Marzo de 2011 BACHILLERATO

Fase Eliminatoria: Marzo de 2011 BACHILLERATO Nombre: Institución: INSTRUCCIONES: Todas las preguntas deberán ser respondidas empleando únicamente las herramientas de la Lógica Clásica Formal y de la Lógica Informal. Considera solamente las premisas

Más detalles

IV OLIMPIADA NACIONAL DE LÓGICA FASE ELIMINATORIA NIVEL LICENCIATURA

IV OLIMPIADA NACIONAL DE LÓGICA FASE ELIMINATORIA NIVEL LICENCIATURA ACADEMIA MEXICANA DE LÓGICA IV OLIMPIADA NACIONAL DE LÓGICA FASE ELIMINATORIA NIVEL LICENCIATURA No. de aciertos: Nombre: Institución: INSTRUCCIONES: Todas las preguntas deberán ser respondidas empleando

Más detalles

V OLIMPIADA DE LÓGICA

V OLIMPIADA DE LÓGICA V OLIMPIADA ACADEMIA MEXICANA DE LÓGICA DE LÓGICA F A S E F I N A L E X A M E N L I C E N C I A T U R A No. de aciertos: Nombre: Institución: INSTRUCCIONES: Todas las preguntas deberán ser respondidas

Más detalles

V OLIMPIADA DE LÓGICA

V OLIMPIADA DE LÓGICA V OLIMPIADA ACADEMIA MEXICANA DE LÓGICA DE LÓGICA F A S E F I N A L E X A M E N B A C H I L L E R A T O No. de aciertos: Nombre: Institución: INSTRUCCIONES: Todas las preguntas deberán ser respondidas

Más detalles

X OLIMPIADA INTERNACIONAL DE LÓGICA, 2013 FASE FINAL NIVEL BACHILLERATO No. de aciertos: Nombre: Institución:

X OLIMPIADA INTERNACIONAL DE LÓGICA, 2013 FASE FINAL NIVEL BACHILLERATO No. de aciertos: Nombre: Institución: X OLIMPIADA INTERNACIONAL DE LÓGICA, 2013 FASE FINAL NIVEL BACHILLERATO No. de aciertos: Nombre: Institución: INSTRUCCIONES: Todas las preguntas deberán ser respondidas empleando únicamente las herramientas

Más detalles

VI OLIMPIADA NACIONAL DE LÓGICA

VI OLIMPIADA NACIONAL DE LÓGICA ACADEMIA MEXICANA DE LÓGICA VI OLIMPIADA NACIONAL DE LÓGICA F A S E F I N A L L I C E N C I A T U R A No. de aciertos: Nombre: Institución: INSTRUCCIONES: Todas las preguntas deberán ser respondidas empleando

Más detalles

X OLIMPIADA INTERNACIONAL DE LÓGICA, 2013 FASE ELIMINATORIA NIVEL LICENCIATURA No. de aciertos: Nombre: Institución:

X OLIMPIADA INTERNACIONAL DE LÓGICA, 2013 FASE ELIMINATORIA NIVEL LICENCIATURA No. de aciertos: Nombre: Institución: X OLIMPIADA INTERNACIONAL DE LÓGICA, 2013 FASE ELIMINATORIA NIVEL LICENCIATURA No. de aciertos: Nombre: Institución: INSTRUCCIONES: Todas las preguntas deberán ser respondidas empleando únicamente las

Más detalles

X OLIMPIADA INTERNACIONAL DE LÓGICA, 2013 FASE FINAL NIVEL LICENCIATURA No. de aciertos: Nombre: Institución:

X OLIMPIADA INTERNACIONAL DE LÓGICA, 2013 FASE FINAL NIVEL LICENCIATURA No. de aciertos: Nombre: Institución: X OLIMPIADA INTERNACIONAL DE LÓGICA, 2013 FASE FINAL NIVEL LICENCIATURA No. de aciertos: Nombre: Institución: INSTRUCCIONES: Todas las preguntas deberán ser respondidas empleando únicamente las herramientas

Más detalles

Lógica Proposicional. Cátedra de Matemática

Lógica Proposicional. Cátedra de Matemática Lógica Proposicional Cátedra de Matemática Abril 2017 Qué es la lógica proposicional? Es la disciplina que estudia métodos de análisis y razonamiento; utilizando el lenguaje de las matemáticas como un

Más detalles

XIII OLIMPIADA INTERNACIONAL DE LÓGICA FASE ELIMINATORIA NIVEL MASTERS N de aciertos: Nombre: Institución:

XIII OLIMPIADA INTERNACIONAL DE LÓGICA FASE ELIMINATORIA NIVEL MASTERS N de aciertos: Nombre: Institución: XIII OLIMPIADA INTERNACIONAL DE LÓGICA FASE ELIMINATORIA NIVEL MASTERS N de aciertos: Nombre: Institución: Instrucciones. Responde este examen en la hoja de respuestas que se te ha proporcionado, teniendo

Más detalles

CIENCIAS FORMALES CIENCIAS FÁCTICAS

CIENCIAS FORMALES CIENCIAS FÁCTICAS UNA CLASIFICACIÓN DE LAS CIENCIAS CIENCIAS FORMALES CIENCIAS FÁCTICAS CIENCIAS FORMALES MATEMÁTICA LÓGICA CIENCIAS FÁCTICAS FÍSICA BIOLOGÍA QUÍMICA CIENCIAS SOCIALES OTRAS CIENCIAS FORMALES VOCABULARIO

Más detalles

Proposicional. Curso Mari Carmen Suárez de Figueroa Baonza

Proposicional. Curso Mari Carmen Suárez de Figueroa Baonza Semántica Proposicional Curso 2014 2015 Mari Carmen Suárez de Figueroa Baonza mcsuarez@fi.upm.es Contenidos Introducción Interpretación de FBFs proposicionales Validez Satisfacibilidad Validez y Satisfacibilidad

Más detalles

Introducción a la Lógica

Introducción a la Lógica Tema 0 Introducción a la Lógica En cualquier disciplina científica se necesita distinguir entre argumentos válidos y no válidos. Para ello, se utilizan, a menudo sin saberlo, las reglas de la lógica. Aquí

Más detalles

MÉTODOS DE DEMOSTRACIÓN

MÉTODOS DE DEMOSTRACIÓN 2016-1 1 Presentación 2 Métodos de Demostración Sobre métodos de demostración algunas preguntas de interés 1 Qué es una demostración? Sobre métodos de demostración algunas preguntas de interés 1 Qué es

Más detalles

13/04/2013 LOGICA MATEMÁTICA

13/04/2013 LOGICA MATEMÁTICA ING ARNALDO ANGULO ASCAMA profearnaldo@hotmail.com ING. ARNALDO ALBERTO ANGULO ASCAMA LOGICA MATEMÁTICA La lógica estudia la forma del razonamiento, es una disciplina que por medio de reglas y técnicas

Más detalles

2.1.- Formalización de enunciados en lenguaje ordinario

2.1.- Formalización de enunciados en lenguaje ordinario 2.1.- Formalización de enunciados en lenguaje ordinario Una de las tareas más importantes para poder aplicar la lógica a los diferentes campos del saber humano es la formalización, también conocida como

Más detalles

3. LA ARGUMENTACIÓN FICHA 1 DE REFUERZO DE CONTENIDOS

3. LA ARGUMENTACIÓN FICHA 1 DE REFUERZO DE CONTENIDOS FICHA 1 DE REFUERZO DE CONTENIDOS 1. La argumentación está formada por dos tipos de enunciados: a) inducción y deducción; b) analíticos y sintéticos; c) premisas y conclusión; d) axiomas y teoremas. 2.

Más detalles

MATEMÁTICAS BÁSICAS. 23 de febrero de Universidad Nacional de Colombia MATEMÁTICAS BÁSICAS

MATEMÁTICAS BÁSICAS. 23 de febrero de Universidad Nacional de Colombia MATEMÁTICAS BÁSICAS 23 de febrero de 2009 Parte I Lógica Proposiciones Considere las siguientes frases Páseme el lápiz. 2 + 3 = 5 1 2 + 1 3 = 2 5 Qué hora es? En Bogotá todos los días llueve Yo estoy mintiendo Maradona fue

Más detalles

Ejercicios Lógica. Inteligencia Artificial 23 de septiembre de Ejercicios de Lógica Proposicional

Ejercicios Lógica. Inteligencia Artificial 23 de septiembre de Ejercicios de Lógica Proposicional Ejercicios Lógica Inteligencia Artificial 23 de septiembre de 2008 1. Ejercicios de Lógica Proposicional 1.1. Ejercicio 1.1 De los siguientes enunciados, indica cuáles son declarativos. Para aquellos que

Más detalles

Operaciones con Proposiciones

Operaciones con Proposiciones Operaciones con Proposiciones ES UNA AFIRMACIÓN QUE PUEDE SER VERDADERA O FALSA EJEMPLOS DE PROPOSICIONES: La capital de España es Sevilla El Ebro pasa por Zaragoza Alicante tiene 45 millones de habitantes

Más detalles

Lógica Matemática. Tema: Tautología, contradicción y evaluación de la validez

Lógica Matemática. Tema: Tautología, contradicción y evaluación de la validez Lógica Matemática Tema: Tautología, contradicción y evaluación de la validez Tautología, contradicción y evaluación de la validez Una proposición molecular es una tautología si es cierta, cualesquiera

Más detalles

ALGEBRA y ALGEBRA LINEAL. Primer Semestre CAPITULO I LOGICA Y CONJUNTOS.

ALGEBRA y ALGEBRA LINEAL. Primer Semestre CAPITULO I LOGICA Y CONJUNTOS. ALGEBRA y ALGEBRA LINEAL 520142 Primer Semestre CAPITULO I LOGICA Y CONJUNTOS. DEPARTAMENTO DE INGENIERIA MATEMATICA Facultad de Ciencias Físicas y Matemáticas Universidad de Concepción 1 La lógica es

Más detalles

Tablas de Verdad L Ó G I C A P R O P O S I C I O N A L

Tablas de Verdad L Ó G I C A P R O P O S I C I O N A L Tablas de Verdad L Ó G I C A P R O P O S I C I O N A L Tablas de verdad Toda preposición es verdadera o falsa, pero no puede ser ambas. Sobre esta base las proposiciones atómicas sólo tienen dos valores:

Más detalles

Asignatura: Matemática Fundamental [405036M-02] Taller 1 Lenguaje Simbólico y lógica proposicional

Asignatura: Matemática Fundamental [405036M-02] Taller 1 Lenguaje Simbólico y lógica proposicional Asignatura: Matemática Fundamental [405036M-02] Taller 1 Lenguaje Simbólico y lógica proposicional 1. Responda las siguientes preguntas: a) Qué es un lenguaje formal? b) Qué es lenguaje matemático? c)

Más detalles

Ampliación Matemática Discreta. Justo Peralta López

Ampliación Matemática Discreta. Justo Peralta López Justo Peralta López UNIVERSIDAD DE ALMERíA DEPARTAMENTO DE ÁGEBRA Y ANÁLISIS MATEMÁTICO 1 Introducción 2 Definición semántica de las proposiciones 3 Diagrama de valores de certeza 4 Evaluación de fórmulas.

Más detalles

ENUNCIADO ABIERTO: Es un enunciado en forma de expresión matemática que no es verdadero ni falso. Ejemplos: x < 9 x + 2 = 10 a + b = 1 a 2 + b 2 = c 2

ENUNCIADO ABIERTO: Es un enunciado en forma de expresión matemática que no es verdadero ni falso. Ejemplos: x < 9 x + 2 = 10 a + b = 1 a 2 + b 2 = c 2 LÓGICA Es la ciencia que estudia el razonamiento inductivo y deductivo. El razonamiento inductivo es aquel que permite llegar a conclusiones generales a partir de observaciones particulares, por el contrario,

Más detalles

Autora: Jeanneth Galeano Peñaloza. 3 de febrero de Universidad Nacional de Colombia Departamento de Matemáticas Sede Bogotá 1/ 50

Autora: Jeanneth Galeano Peñaloza. 3 de febrero de Universidad Nacional de Colombia Departamento de Matemáticas Sede Bogotá 1/ 50 Autora: Jeanneth Galeano Peñaloza Universidad Nacional de Colombia Departamento de Matemáticas Sede Bogotá 3 de febrero de 2013 1/ 50 Parte I 2/ 50 Proposiciones Considere las siguientes frases Guarde

Más detalles

TEMA: LÓGICA Y TEORÍA DE LA DR. LUIS ALBERTO PACHECO MANDUJANO

TEMA: LÓGICA Y TEORÍA DE LA DR. LUIS ALBERTO PACHECO MANDUJANO TEMA: LÓGICA Y TEORÍA DE LA ARGUMENTACIÓN JURÍDICA DR. LUIS ALBERTO PACHECO MANDUJANO I.- TABLA DE VALORES.- Diseñada por Ludwig Wittgenstein, es una cruz cuyo brazo derecho es mucho más prolongado que

Más detalles

d) ( Pa Qb) Pa e) (Qb Tab)

d) ( Pa Qb) Pa e) (Qb Tab) !!! XIII OLIMPIADA INTERNACIONAL DE LÓGICA FASE ELIMINATORIA NIVEL LICENCIATURA N de aciertos: Nombre: Institución: Instrucciones. Responde este examen en la hoja de respuestas que se te ha proporcionado,

Más detalles

Ejercicios de Lógica Proposicional *

Ejercicios de Lógica Proposicional * Ejercicios de Lógica Proposicional * FernandoRVelazquezQ@gmail.com Notación. El lenguaje proposicional que hemos definido, aquel que utiliza los cinco conectivos,,, y, se denota como L {,,,, }. Los términos

Más detalles

LÓGICA MATEMÁTICA O FORMAL O SIMBÓLICA

LÓGICA MATEMÁTICA O FORMAL O SIMBÓLICA LÓGICA MATEMÁTICA O FORMAL O SIMBÓLICA La lógica formal o simbólica, a diferencia de la lógica clásica, utiliza un lenguaje artificial, es decir, está rigurosamente construido, no admite cambios en el

Más detalles

Lógica Matemática. Tema: Valor de certeza funcional de la preposición: negación, conjunción, disyunción, condicional y bicondicional

Lógica Matemática. Tema: Valor de certeza funcional de la preposición: negación, conjunción, disyunción, condicional y bicondicional Lógica Matemática Tema: Valor de certeza funcional de la preposición: negación, conjunción, disyunción, condicional y bicondicional Valor de certeza funcional de la preposición: negación, conjunción, disyunción,

Más detalles

Introd. al Pens. Científico Nociones básicas de la lógica ClasesATodaHora.com.ar

Introd. al Pens. Científico Nociones básicas de la lógica ClasesATodaHora.com.ar ClasesATodaHora.com.ar > Exámenes > UBA - UBA XXI > Introd. al Pensamiento Científico Introd. al Pens. Científico Nociones básicas de la lógica ClasesATodaHora.com.ar Razonamientos: Conjunto de propiedades

Más detalles

LA ARGUMENTACIÓN: Argumentos deductivos y Lógica

LA ARGUMENTACIÓN: Argumentos deductivos y Lógica LA ARGUMENTACIÓN: Argumentos deductivos y Lógica Qué es un argumento deductivo? Un argumento deductivo es aquel cuya conclusión se sigue necesariamente de las premisas. Es decir, si las premisas son verdaderas,

Más detalles

Matemáticas Discretas Lógica

Matemáticas Discretas Lógica Coordinación de Ciencias Computacionales - INAOE Matemáticas Discretas Lógica Cursos Propedéuticos 2010 Ciencias Computacionales INAOE Lógica undamentos de Lógica Cálculo proposicional Cálculo de predicados

Más detalles

Resumen de las clases teóricas del turno tarde a cargo de la Prof. Alcón.

Resumen de las clases teóricas del turno tarde a cargo de la Prof. Alcón. Resumen de las clases teóricas del turno tarde a cargo de la Prof. Alcón. 0.1. Elementos de lógica Una proposición es una oración declamativa a la cual se le puede asignar un valor verdad: verdadera (V)

Más detalles

Introducción a la Lógica proposicional Tablas de Verdad y Relación de fuerza Representando el mundo real Falacias Lógica trivaluada Ejercicios

Introducción a la Lógica proposicional Tablas de Verdad y Relación de fuerza Representando el mundo real Falacias Lógica trivaluada Ejercicios Menú del día Fórmulas bien formadas Tablas de verdad Tautologías, Contingencias y Contradicciones Relación de fuerza con Lógica proposicional. con semántica de cortocircuito Qué es la lógica proposicional?

Más detalles

Problemas de exámenes de Lógica

Problemas de exámenes de Lógica Problemas de exámenes de Lógica 1 1. Pasar a forma normal conjuntiva la formula proposicional ( (P Q) (Q R)) P ((R S) P ) 2. Obtener la forma normal conjuntiva de la formula proposicional ((( (A B) (B

Más detalles

Centro Asociado Palma de Mallorca. Tutor: Antonio Rivero Cuesta

Centro Asociado Palma de Mallorca. Tutor: Antonio Rivero Cuesta Centro Asociado Palma de Mallorca Tutor: Antonio Rivero Cuesta Lógica y Estructuras Discretas Febrero 2011, Anticipo 1. Sea el conjunto A = {a,b,c} y P(A) el conjunto potencia de A: a) Tiene 9 elementos

Más detalles

Algoritmos y Estructura de Datos I

Algoritmos y Estructura de Datos I Algoritmos y Estructura de Datos I Lógica proposicional Agustín Martinez Lunes 27 de marzo de 2017 Menú del día Formulas y valores de verdad Relación de fuerza entre formulas Razonamientos del mundo real

Más detalles

Lógica proposicional. 1. Lógica proposicional. 4. Conectivos lógicos. 2. Proposición lógica. 3. Negación de una proposición

Lógica proposicional. 1. Lógica proposicional. 4. Conectivos lógicos. 2. Proposición lógica. 3. Negación de una proposición Lógica proposicional 1. Lógica proposicional Es una parte de la lógica que estudia las proposiciones y la relación existente entre ellas, así como la función que tienen los conectivos lógicos. 2. Proposición

Más detalles

RAZONAMIENTO LÓGICO LECCIÓN 1: ANÁLISIS DEL LENGUAJE ORDINARIO. La lógica se puede clasificar como:

RAZONAMIENTO LÓGICO LECCIÓN 1: ANÁLISIS DEL LENGUAJE ORDINARIO. La lógica se puede clasificar como: La lógica se puede clasificar como: 1. Lógica tradicional o no formal. 2. Lógica simbólica o formal. En la lógica tradicional o no formal se consideran procesos psicológicos del pensamiento y los métodos

Más detalles

Tabla de valores de verdad

Tabla de valores de verdad Tabla de valores de verdad Las tablas de valores de verdad son una herramienta desarrollada por Charles Peirce en los años 1880, siendo sin embargo más popular el formato que Ludwig Wittgenstein desarrolló

Más detalles

TRABAJO PRÁCTICO DOMICILIARIO Lógica

TRABAJO PRÁCTICO DOMICILIARIO Lógica FILOSOFÍA6to. Año ESO Módulo II LA FILOSOFÍA Y EL CONOCER TRABAJO PRÁCTICO DOMICILIARIO Lógica Primera parte LÓGICA INFORMAL 1 Lectura de texto: Lógica. 1. Lógica Informal Lógica. 1. Lógica Informal 1.1

Más detalles

REGLAS Y LEYES LOGICAS

REGLAS Y LEYES LOGICAS LOGICA II REGLAS Y LEYES LOGICAS Una regla lógica, o regla de inferencia (deductiva), es una forma válida de razonamiento que es empleada para inferir deductivamente ciertos enunciados a partir de otros.

Más detalles

Colegio Centro América. Cuaderno de ejercicios Matemáticas

Colegio Centro América. Cuaderno de ejercicios Matemáticas Colegio Centro América Cuaderno de ejercicios Matemáticas Nombre: Séptimo grado: Profesora: Urania Zepeda. Objetivo 1: Objetivo 1: Determinar el valor de verdad de proposiciones simples y construir tablas

Más detalles

Así, nuestro enunciado quedaría: Pedro no está enfermo. p, se lee tilde p.

Así, nuestro enunciado quedaría: Pedro no está enfermo. p, se lee tilde p. SIMBOLOGÍA BÁSICA. Los enunciados se dividen en enunciados simples y compuestos. Los enunciados simples o atómicos son aquellos que admiten ser verdaderos o falsos. Así, por ejemplo: Pedro está enfermo,

Más detalles

SESIÓN 04 LÓGICA PROPOSICIONAL

SESIÓN 04 LÓGICA PROPOSICIONAL SESIÓN 04 LÓGICA PROPOSICIONAL La Lógica Proposicional, sentencial o lógica de enunciados, es la parte de la Lógica simbólica que trata de las proposiciones sin analizarlas y de sus combinaciones. 1. PROPOSICIONES

Más detalles

Enunciados Abiertos y Enunciados Cerrados

Enunciados Abiertos y Enunciados Cerrados I n g. L u z A d r i a n a M o n r o y M a r t í n e z L ó g i c a 1 Unidad II lógica proposicional Es probable que en el siglo IV antes de la Era Común, se iniciara con Aristóteles el estudio de la Lógica;

Más detalles

MATEMÁTICAS DISCRETAS. UNIDAD1 Lógica y Demostraciones

MATEMÁTICAS DISCRETAS. UNIDAD1 Lógica y Demostraciones MATEMÁTICAS DISCRETAS UNIDAD1 Lógica y Demostraciones Para el estudio de esta unidad debe ubicarse en el Capítulo 1 del texto base, lea atentamente cada uno de los subtemas indicados en el índice de la

Más detalles

Definición 1.3. La disyunción de dos oraciones p y q es la oración p o q. La

Definición 1.3. La disyunción de dos oraciones p y q es la oración p o q. La Capítulo 1 Lógica 1.1. Oraciones Definición 1.1. Una oración es un enunciado que podemos clasificar como cierta o falsa, pero no de ambas. Toda oración tiene un bien definido valor de veracidad: es cierta

Más detalles

Introducción a la lógica. Matemáticas Discretas Universidad de san buenaventura Cali

Introducción a la lógica. Matemáticas Discretas Universidad de san buenaventura Cali Introducción a la lógica Matemáticas Discretas Universidad de san buenaventura Cali Proposiciones compuestas (Disyunción, Conjunción, Negación, Condicional, Bicondicional) DISYUNCIÓN (v) La disyunción

Más detalles

Teoremas: Condiciones Necesarias, Condiciones Suficientes y Condiciones Necesarias y Suficientes

Teoremas: Condiciones Necesarias, Condiciones Suficientes y Condiciones Necesarias y Suficientes FUNCIONES DE VARIABLE COMPLEJA 1 Teoremas: Condiciones Necesarias, Condiciones Suficientes y Condiciones Necesarias y Suficientes Lógica Matemática Una prioridad que tiene la enseñanza de la matemática

Más detalles

Tópicos de Matemáticas Discretas

Tópicos de Matemáticas Discretas Tópicos de Matemáticas Discretas Proposiciones Lógicas y Tablas de Verdad Raquel Torres Peralta Universidad de Sonora Matemáticas Discretas Proposiciones Lógicas Matemáticas Discretas Lógica - La lógica

Más detalles

Lógica Matemática. Contenido. Definición. Finalidad de la unidad. Proposicional. Primer orden

Lógica Matemática. Contenido. Definición. Finalidad de la unidad. Proposicional. Primer orden Contenido Lógica Matemática M.C. Mireya Tovar Vidal Proposicional Definición Sintaxis Proposición Conectivos lógicos Semántica Primer orden cuantificadores Finalidad de la unidad Definición Traducir enunciados

Más detalles

Tautología, contradicción y contingencia: la implicación formal

Tautología, contradicción y contingencia: la implicación formal Tautología, contradicción y contingencia: la implicación formal Tautología: Al analizar las tablas de verdad de las conectivas hemos observado que la verdad de una fórmula molecular depende del valor de

Más detalles

Introducción a la lógica proposicional

Introducción a la lógica proposicional Introducción a la lógica proposicional Fernando Soler Toscano fsoler@us.es 1. Lógica proposicional 1.1. El lenguaje de la lógica proposicional Fórmulas. El lenguaje de la lógica proposicional está compuesto

Más detalles

Universidad de Santiago de Chile Departamento de Matemática y C.C. Ingeniería Civil

Universidad de Santiago de Chile Departamento de Matemática y C.C. Ingeniería Civil Universidad de Santiago de Chile Departamento de Matemática y C.C. Ingeniería Civil Pep N o 1 de Álgebra1 Ingeniería Civil Profesor Ricardo Santander Baeza 14 de mayo del 2007 (1) Sean p, q y r proposiciones

Más detalles

UNIDAD I: LÓGICA MATEMÁTICA

UNIDAD I: LÓGICA MATEMÁTICA UNIDAD I: LÓGICA MATEMÁTICA 1.1. Introducción La Lógica Matemática es la rama de las Matemáticas que nos permite comprender sobre la validez o no de razonamientos y demostraciones que se realizan. La lógica

Más detalles

Curso LÓGICA Examen de recuperación de lógica proposicional

Curso LÓGICA Examen de recuperación de lógica proposicional Curso 2013-2014 LÓGICA Examen de recuperación de lógica proposicional 13-01-2014 1.1. Formalizar en el lenguaje de la lógica proposicional el siguiente razonamiento: (2,5 puntos) Es necesario que estudie

Más detalles

Capítulo 4. Lógica matemática. Continuar

Capítulo 4. Lógica matemática. Continuar Capítulo 4. Lógica matemática Continuar Introducción La lógica estudia la forma del razonamiento, es una disciplina que por medio de reglas y técnicas determina si un teorema es falso o verdadero, además

Más detalles

XIII OLIMPIADA INTERNACIONAL DE LÓGICA FASE ELIMINATORIA NIVEL BACHILLERATO N de aciertos: Nombre: Institución:

XIII OLIMPIADA INTERNACIONAL DE LÓGICA FASE ELIMINATORIA NIVEL BACHILLERATO N de aciertos: Nombre: Institución: XIII OLIMPIADA INTERNACIONAL DE LÓGICA FASE ELIMINATORIA NIVEL BACHILLERATO N de aciertos: Nombre: Institución: Instrucciones. Responde este examen en la hoja de respuestas que se te ha proporcionado,

Más detalles

1. Soluciones a la tarea.

1. Soluciones a la tarea. 1. Soluciones a la tarea. El primer paso a realizar para resolver los ejercicios de las sesión anterior es la identicación de las hipótesis. Debemos hacernos las preguntas: ¾Qué sabemos? (¾Cual es nuestra

Más detalles

Si..., siempre que, con tal que, puesto que, ya que, porque, cuando, de, a menos que, a no ser que, salvo que, solamente.

Si..., siempre que, con tal que, puesto que, ya que, porque, cuando, de, a menos que, a no ser que, salvo que, solamente. 1.2 Proposiciones condicionales y equivalencia lógica. Proposición Condicional o implicación lógica Una proposición condicional, es aquella que está formada por dos proposiciones atómicas o moleculares,

Más detalles

Apéndice 1 Reglas y leyes lógicas

Apéndice 1 Reglas y leyes lógicas 1 Apéndice 1 Reglas y leyes lógicas 1. Reglas lógicas Tal como ya se ha visto, una regla lógica, o regla de inferencia (deductiva), es una forma válida de razonamiento que es empleada en cada caso para

Más detalles

El argumento y la lógica

El argumento y la lógica LA LÓGICA El argumento y la lógica Desde el Órganon de Aristóteles, podemos entender la noción de argumento en términos de razones: un argumento consiste en dar razones para sustentar una tesis como verdadera

Más detalles

Departamento de Inteligencia Artificial Facultad de Informática Universidad Politécnica de Madrid

Departamento de Inteligencia Artificial Facultad de Informática Universidad Politécnica de Madrid LÓGICA FORMAL Lógica Proposicional: Teorema de Efectividad Departamento de Inteligencia Artificial Facultad de Informática Universidad Politécnica de Madrid Lógica Proposicional 1 La lógica proposicional

Más detalles

Fundamentos básicos de matemáticas: Lógica Proposicional

Fundamentos básicos de matemáticas: Lógica Proposicional Fundamentos básicos de matemáticas: Lógica Proposicional Victor Hugo Gil A. Universidad del Valle 28 de agosto de 2016 Victor Hugo Gil A. (Univalle) Lógica Proposicional 28 de agosto de 2016 1 / 10 Lógica

Más detalles

ENUNCIADO: Es cualquier frase u oración que expresa una idea

ENUNCIADO: Es cualquier frase u oración que expresa una idea LÓGICA PROPOSICIONAL La lógica es el estudio de los métodos y los rinciios usados ara distinguir el correcto razonamiento del erróneo. El razonamiento es un tio esecial de ensamiento en el cual se realizan

Más detalles

Guía para el estudiante

Guía para el estudiante Guía para el estudiante Guía realizada por Jefferson Bustos Profesional en Matemáticas Master en Educación Nombre: Fecha: Curso: Dentro del lenguaje común, las palabras y frases pueden tener diversas interpretaciones.

Más detalles

4.2. Procedimiento para elaborar tablas de verdad

4.2. Procedimiento para elaborar tablas de verdad 4.1. Qué es una tabla de verdad? Usamos tablas de verdad, en el apartado 2.1 de la unidad II, para determinar el valor de verdad de una proposición compuesta. En este apartado explicaremos más detenidamente

Más detalles

Lógica Proposicional. Guía Lógica Proposicional. Tema III: Cuantificadores

Lógica Proposicional. Guía Lógica Proposicional. Tema III: Cuantificadores Guía Lógica Proposicional Tema III: Cuantificadores 1.7.2. CUANTIFICADORES Los cuantificadores permiten afirmaciones sobre colecciones enteras de objetos en lugar de tener que enumerar los objetos por

Más detalles

2.5 Los argumentos: premisas y conclusiones

2.5 Los argumentos: premisas y conclusiones Los argumentos: premisas y conclusiones 29 Continúa 2. Realizar traducción lógica. Como se observa, las proposiciones p y q están negadas, por lo que su traducción lógica es: p q 3. Obtener la cantidad

Más detalles

Tema 6: Teoría Semántica

Tema 6: Teoría Semántica Tema 6: Teoría Semántica Sintáxis Lenguaje de de las las proposiciones Lenguaje de de los los predicados Semántica Valores Valores de de verdad verdad Tablas Tablas de de verdad verdad Tautologías Satisfacibilidad

Más detalles

MEL* Sistemas formales y sistemas lógicos 1

MEL* Sistemas formales y sistemas lógicos 1 2.1.1 2 2a (x y) z : z x y 2b x y x y : x y x y 2.1.2 1 1a Hay que expresar cada uno de los operadores de la tabla de 2.1.2.3 en términos de y y las variables x, y. Nótese que se describen como operadores

Más detalles

Evaluación Nacional Revisión del intento 1

Evaluación Nacional Revisión del intento 1 LOGICA MATEMATICA Perfil Salir Evaluación Nacional Revisión del intento 1 Finalizar revisión Comenzado el sábado, 15 de junio de 2013, 15:59 Completado el sábado, 15 de junio de 2013, 16:35 Tiempo empleado

Más detalles

TEMA 1: LÓGICA. p p Operador conjunción. Se lee y y se representa por. Su tabla de verdad es: p q p q

TEMA 1: LÓGICA. p p Operador conjunción. Se lee y y se representa por. Su tabla de verdad es: p q p q TEMA 1: LÓGICA. Definición. La lógica es la ciencia que estudia el razonamiento formalmente válido. Para ello tiene un simbolismo que evita las imprecisiones del lenguaje humano y permite comprobar la

Más detalles

Lógica Proposicional. Preliminares Teoría de Conjuntos. Lógica Proposicional. Conectivos lógicos. Conectivos lógicos. Conectivos lógicos

Lógica Proposicional. Preliminares Teoría de Conjuntos. Lógica Proposicional. Conectivos lógicos. Conectivos lógicos. Conectivos lógicos Lógica Proposicional Preliminares Teoría de Conjuntos Definición. Una proposición es una oración con valor declarativo o informativo, de la cual se puede predicar su verdad o falsedad. Ejemplos de proposiciones?

Más detalles

LA ARGUMENTACIÓN: Deducción, inducción y otra palabrería lógica del montón

LA ARGUMENTACIÓN: Deducción, inducción y otra palabrería lógica del montón LA ARGUMENTACIÓN: Deducción, inducción y otra palabrería lógica del montón Qué es un argumento? Es un conjunto de enunciados cuyo fin es probar la verdad o falsedad de una afirmación. Genial, y qué es

Más detalles

P r o p o s i c i ó n

P r o p o s i c i ó n P r o p o s i c i ó n Es toda oración o enunciado al que se le puede asignar un cierto valor (v o f). Si no puede concluir que es verdadero o falso no es proposición. La verdad o falsedad de una proposición

Más detalles

LÓGICA. 1. Qué es un silogismo Irregular? 2. Qué es un entimema? 3. Da un ejemplo de entimema. 4. Qué es un epiquerema?

LÓGICA. 1. Qué es un silogismo Irregular? 2. Qué es un entimema? 3. Da un ejemplo de entimema. 4. Qué es un epiquerema? LÓGICA 1. Qué es un silogismo Irregular? 2. Qué es un entimema? 3. Da un ejemplo de entimema 4. Qué es un epiquerema? 5. Da un ejemplo de un epiquerema 6. Qué es un Poli silogismo? 7. Da un ejemplo de

Más detalles

LICENCIATURA EN MATEMÁTICA. Práctico N 1 Lenguaje de la lógica. proposicional VICTOR GALARZA ROJAS 1 5 / 0 5 /

LICENCIATURA EN MATEMÁTICA. Práctico N 1 Lenguaje de la lógica. proposicional VICTOR GALARZA ROJAS 1 5 / 0 5 / Práctico N 1 Lenguaje de la lógica LICENCIATURA EN MATEMÁTICA proposicional VICTOR GALARZA ROJAS 1 5 / 0 5 / 2 0 1 0 PRÁCTICO N 1 1. Fundamentación: fundamentar la expresión Por lo tanto del siguiente

Más detalles

Cuestionario de estudio de Lógica. Alumno (a): N. L.: Profesor: Mauricio Dimeo Coria Fecha: Grado: 4 Grupo: _4010

Cuestionario de estudio de Lógica. Alumno (a): N. L.: Profesor: Mauricio Dimeo Coria Fecha: Grado: 4 Grupo: _4010 Cuestionario de estudio de Lógica Alumno (a): N. L.: Profesor: Mauricio Dimeo Coria Fecha: Grado: 4 Grupo: _4010 El Cuestionario de estudio no implica que el contenido será igual al examen. El alumno cuenta

Más detalles

UNIVERSIDAD DE GUADALAJARA PROGRAMA DE ASIGNATURA MT106

UNIVERSIDAD DE GUADALAJARA PROGRAMA DE ASIGNATURA MT106 UNIVERSIDAD DE GUADALAJARA PROGRAMA DE ASIGNATURA NOMBRE DE MATERIA CÓDIGO DE MATERIA DEPARTAMENTO ÁREA DE FORMACIÓN LOGICA Y CONJUNTOS MT106 CIENCIAS BIOLOGICAS BÁSICA COMUN CENTRO UNIVERSITARIO CENTRO

Más detalles

Universidad Nacional Abierta y a Distancia UNAD-Lógica Matemática - Georffrey Acevedo G. A que viene la lógica?

Universidad Nacional Abierta y a Distancia UNAD-Lógica Matemática - Georffrey Acevedo G. A que viene la lógica? A que viene la lógica? Autor: Georffrey Acevedo G. Noviembre 16 de 2008. Los conceptos de proposiciones, conectivos e inferencias confluyen al analizar un razonamiento. Para tener claridad sobre los conceptos

Más detalles

TAREA DE LÓGICA PRIMER BIMESTRE. 1. En las siguientes oraciones señala cuáles NO son proposiciones lógicas? Fundamenta tu respuesta.

TAREA DE LÓGICA PRIMER BIMESTRE. 1. En las siguientes oraciones señala cuáles NO son proposiciones lógicas? Fundamenta tu respuesta. Colegio TRILCE TAREA DE PRIMER BIMESTRE 5to año SEMANA 2 1. En las siguientes oraciones señala cuáles NO son proposiciones lógicas? Fundamenta tu respuesta. 1. Hernando de Luque fue el tercer socio de

Más detalles

Lógica proposicional 4. Formalización de argumentos

Lógica proposicional 4. Formalización de argumentos Lógica proposicional 4. Formalización de argumentos Juan Carlos León Universidad de Murcia Aplicación de la lógica Las técnicas para comprobar la validez son el objeto primario de la lógica Pero, mientras

Más detalles

UNIVERSIDAD FRANCISCO DE PAULA SANTANDER FACULTAD DE CIENCIAS BÁSICAS LIC. ESP. DANIEL SAENZ CONTRERAS

UNIVERSIDAD FRANCISCO DE PAULA SANTANDER FACULTAD DE CIENCIAS BÁSICAS LIC. ESP. DANIEL SAENZ CONTRERAS UNIVERSIDAD FRANCISCO DE PAULA SANTANDER 1 FACULTAD DE CIENCIAS BÁSICAS LIC. ESP. DANIEL SAENZ CONTRERAS EMAIL SAENZCODANIEL@HOTMAIL.COM LÓGICA DE PROPOSICIONES TABLAS DE VERDAD La tabla de verdad de una

Más detalles

Lógica proposicional o Lógica de enunciados

Lógica proposicional o Lógica de enunciados Tema 3 Lógica proposicional o Lógica de enunciados 1. Qué es la Lógica? 2. El cálculo de proposiciones 2.1. Las conectivas 2.2. Las tablas de verdad 2.3. La deducción natural Bibliografía Deaño, A.: Introducción

Más detalles

2. Los símbolos de la lógica proposicional.

2. Los símbolos de la lógica proposicional. Bloque I: El Saber Filosófico. Tema 4: La Lógica Formal. 1. Las proposiciones y sus tipos. Una proposición es una oración enunciativa, es decir, una oración que afirma o niega algo y que puede ser verdadera

Más detalles

Lógica I (curso ) - 23 de enero de 2006 (modelo de respuestas)

Lógica I (curso ) - 23 de enero de 2006 (modelo de respuestas) Lógica I (curso 2005-06) - 23 de enero de 2006 (modelo de respuestas) 1. Definir un sistema formal... Para definir un sistema formal hay que especificar su lenguaje y su mecanismo deductivo. Llamemos H

Más detalles

Lógica proposicional 6. La semántica veritativo-funcional

Lógica proposicional 6. La semántica veritativo-funcional Lógica proposicional 6. La semántica veritativo-funcional (Parte 1) Juan Carlos León Universidad de Murcia Esquema del tema 6.1. Noción de interpretación y reglas de valoración. Tablas de verdad 6.2. Consecuencia

Más detalles

TEMA I INTRODUCCIÓN A LA LÓGICA

TEMA I INTRODUCCIÓN A LA LÓGICA TEMA I INTRODUCCIÓN A LA LÓGICA Policarpo Abascal Fuentes TEMA I Introducción a la lógica p. 1/6 TEMA 1 1. INTRODUCCIÓN A LA LÓGICA 1.1 INTRODUCCIÓN 1.2 LÓGICA PROPOSICIONAL 1.2.1 Conexiones lógicas 1.2.2

Más detalles

Elaborar un mapa conceptual del tema de Lógica Proposicional (Diapositivas: Lógica Proposicional) Desarrollar ejercicios de la ficha de trabajo y del

Elaborar un mapa conceptual del tema de Lógica Proposicional (Diapositivas: Lógica Proposicional) Desarrollar ejercicios de la ficha de trabajo y del Elaborar un mapa conceptual del tema de Lógica Proposicional (Diapositivas: Lógica Proposicional) Desarrollar ejercicios de la ficha de trabajo y del módulo (Página 175 ) Se sugiere ver el siguiente video:

Más detalles

PRIMERA UNIDAD II SEMESTRE FILOSOFIA

PRIMERA UNIDAD II SEMESTRE FILOSOFIA PRIMERA UNIDAD II SEMESTRE ILOSOIA Lógica Matemática y Lógica de predicados. Objetivo: Comprender la función de la lógica matemática en la reflexión y el análisis de la realidad. Objetivo especifico :

Más detalles

Tema IV Enunciados Compuestos, Silogismos Disyuntivos e Hipotéticos

Tema IV Enunciados Compuestos, Silogismos Disyuntivos e Hipotéticos Laboratorio de Altos Estudios en Ciencias Informáticas Programa de Entrenamiento Académico (PEA) en Ciencias Informáticas Cátedra de Introducción a la Lógica y Métodos Científicos Prof. Eugenia Bahit Tema

Más detalles

CORPORACIÓN UNIFICADA NACIONAL DE EDUCACIÓN SUPERIOR CUN GUÍA DE FUNDAMENTOS DE MATEMÁTICAS DOCENTE : YAMILE MEDINA CASTAÑEDA

CORPORACIÓN UNIFICADA NACIONAL DE EDUCACIÓN SUPERIOR CUN GUÍA DE FUNDAMENTOS DE MATEMÁTICAS DOCENTE : YAMILE MEDINA CASTAÑEDA GUÍA # 2 LÓGICA DOCENTE : YAMILE MEDINA CASTAÑEDA PROPOSICIONES Y OPERACIONES LÓGICAS. Una proposición o enunciado es una oración (expresión con sentido completo) de la cual puede afirmarse si es falsa

Más detalles

Definición 2.- Las proposiciones se combinan mediante conectivos lógicos para formar otras proposiciones. Los conectivos lógicos básicos son:

Definición 2.- Las proposiciones se combinan mediante conectivos lógicos para formar otras proposiciones. Los conectivos lógicos básicos son: ii Matemática Discreta : Contenidos Capítulo 1 Lógica 1.1 Cálculo proposicional El Cálculo Proposicional se encarga del estudio de las relaciones lógicas entre objetos llamados proposiciones. Definición

Más detalles