Instituto francisco possenti a.c. Per crucem ad lucem. Preparatoria (1085) GUÍA DE LÓGICA CLAVE 1404

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

Download "Instituto francisco possenti a.c. Per crucem ad lucem. Preparatoria (1085) GUÍA DE LÓGICA CLAVE 1404"

Transcripción

1 Instituto francisco possenti a.c. Per crucem ad lucem Preparatoria (1085) GUÍA DE LÓGICA CLAVE 1404 Tema 1. Introducción 1. Da la definición real y etimológica de Lógica. 2. Cuáles son los métodos de la lógica? 3. La lógica, psicología, teoría del conocimiento, gramática y matemáticas tienen parecido al tener el mismo objeto material, el pensamiento, pero se diferencian en el objeto formal. Cuál es el objeto formal de cada ciencia?. 5. Enuncia la ley de la comprensión y extensión Guía de Lógica (1404) Página 1 de 12

2 Tema 2. El concepto o la idea 6. Ordena los siguientes conceptos de mayor extensión a menor: a) flor, clavel, vegetal, ser vivo, ser. b) Reloj, accesorio, cuerpo, cuerpo inerte c) Gato doméstico, animal, felino, cuadrúpedo, ser vivo, mamífero [ 7. Anota los 4 principios lógicos 8. Escribe la manera correcta de interpretar el árbol de Porfirio Tema 3. El juicio 9. Escribe los elementos del juicio 10. Anota las clasificaciones del juicio con un ejemplo de cada uno Guía de Lógica (1404) Página 2 de 12

3 11. Transcribe el cuadro completo de oposición de los juicios. 12. Representa los cuatro juicios del cuadro de la oposición según el diagrama de Venn. Tema 4. El razonamiento 13. Anota todas las inferencias inmediatas posibles de: a. Todo gato es mamífero b. Ningún gato es mamífero c. Algún gato es mamífero d. Algún gato no es mamífero Guía de Lógica (1404) Página 3 de 12

4 14. Realiza tres ejemplos de razonamiento inductivo 15. Realiza tres ejemplos de razonamiento deductivo 16. Explica en qué consiste el razonamiento por analogía 17. Ofrece un ejemplo de cada uno de los métodos de Mill 18. Explica Dos métodos de Mill. Guía de Lógica (1404) Página 4 de 12

5 Tema 5. El silogismo 19. Señala a qué reglas fallan los siguientes silogismos: a) Ningún satélite es como la tierra Ninguna estrella es un satélite Ninguna estrella es como la tierra b) Algún camello es animal Algún hombre no es camello Algún hombre no es animal. c) Todo bebé recién nacido es chimuelo Alguna abuela es chimuela Alguna abuela no es recién nacida 20. Determina la figura y el modo, a) Ningún ser material es inmortal Algún ángel es inmortal Por lo tanto, algún ángel no es material b) Ningún protozoario vive a más de 100 C La amiba es protozoario Por lo tanto, la amiba no vive a más de 100 C c) Todo viviente es animado Ningún ser animado es mineral Por lo tanto, ningún mineral es viviente Guía de Lógica (1404) Página 5 de 12

6 d) Todo juicio sintético viene de la experiencia Todo juicio sintético requiere reflexión Por lo tanto, algo que requiere reflexión viene de la experiencia e) Ningún candidato político es perfecto Todo candidato político es ciudadano Por lo tanto, algún ciudadano no es perfecto f) Ningún pez respira por pulmones La orca respira por pulmones Por lo tanto, la orca no es pez g) Ningún sabio es superficial Pitágoras es sabio Por lo tanto, Pitágoras no es superficial h) Ningún envidioso es imparcial Todo imparcial es justo Por lo tanto, algún justo no es envidioso i) Todos los ácidos son corrosivos Todos los ácidos tienen hidrógeno Por lo tanto, algo que tiene hidrógeno es corrosivo j) Ningún acarreado es confiable Algún acarreado es gobiernista Por lo tanto, algún gobiernista no es confiable 21. Mediante Diagramas de Venn, señala la validez de los siguientes silogismos: a) Todos los expertos son intrépidos Todos los astronautas expertos no son intrépidos Todos os expertos no son astronautas intrépidos Guía de Lógica (1404) Página 6 de 12

7 b) Todo juez dicta sentencias Todo juez tiene audiencias Algunos que dictan sentencias tienen audiencias c) Ningún crustáceo carece de caparazón Los gusanos de tierra carecen de caparazón Los gusanos de tierra no son crustáceos 22. Escribe un silogismo de cada figura rompiendo la primera regla de la figura a la que pertenecen 22. Escribe un silogismo de cada figura rompiendo la segunda regla de la figura a la que pertenecen 23. Anota un ejemplo de cada uno de los silogismos irregulares Guía de Lógica (1404) Página 7 de 12

8 Tema 6. Falacias. 23. Anota un ejemplo de cada una de las falacias formales 24. Anota un ejemplo de tres falacias reales 25. Señala a qué tipo de falacia pertenecen los siguientes argumentos a) Cumple con tus labores escolares porque si no Cuántos azotes te daré? b) Las niñas pueden casarse porque la comunidad está de acuerdo c) Ronaldiño dice que los colores primarios son cinco, claramente es así porque él lo dice. Guía de Lógica (1404) Página 8 de 12

9 26. Anota un ejemplo de: a. F. apelación a la fuerza b. F. apelación a la persona c. F. apelación a la autoridad d. F. apelación a la misericordia e. F. por lo que el pueblo dice Tema 7. Cálculo proposicional 27. Transcribe los cinco conectores que hay en el lenguaje simbólico, escribe su nombre y su traducción en el lenguaje natural. 28. Las proposiciones atómicas son, mientras que las moleculares son. 29. Anota las tablas de verdad de cada una de las conectivas lógicas Guía de Lógica (1404) Página 9 de 12

10 30. Traduce del lenguaje natural al simbólico las siguientes proposiciones y realiza su tabla de verdad. a) No es el caso que si te casas estás embarazada. Pero si no estás embarazada, podrás seguir saliendo en las noches. b) O vas al teatro y a comer o vas al cine y a cenar c) Aprobaré lógica si y sólo si estudio para el examen. d) Si tiembla y hay un incendio, me pagarán la póliza del seguro. 31. Realiza las siguientes tablas de verdad. ( s v p ) ( m a) Guía de Lógica (1404) Página 10 de 12

11 b [q ( a v z )] [(p q) v ( p r)] ( q r) q Guía de Lógica (1404) Página 11 de 12

12 32. Explica las siguientes reglas de inferencia: a) Ponendo Ponens b) Tollendo Tolens c) Tollendo Ponens d) Silogismo Disyuntivo e) Silogismo Hipotético f) Simplificación g) Conjuntividad 33. Demostrar lo siguiente: Demostrar Q 1) L M 2) C 3) K Q 4) M K 5) C L Demostrar T 1) L M 2) S Q 3) M v R 4) Q R 5) S v T 6) L Demostrar R 1) P v Q 2) P 3) Q v T 4) R v S 5) S v T Guía de Lógica (1404) Página 12 de 12

INSTITUTO FRANCISCO POSSENTI, A.C. Per crucem ad lucem. Preparatoria (1085)

INSTITUTO FRANCISCO POSSENTI, A.C. Per crucem ad lucem. Preparatoria (1085) INSTITUTO FRANCISCO POSSENTI, A.C. Per crucem ad lucem Preparatoria (1085) GUÍA DE LÓGICA CLAVE: 1404 Tema 1. Introducción 1. Da la definición real y etimológica de Lógica. 2. Cuál es el objeto propio

Más detalles

LÓGICA GUÍA PARA EXTRAORDINARIO. Noviembre 2017

LÓGICA GUÍA PARA EXTRAORDINARIO. Noviembre 2017 LÓGICA GUÍA PARA EXTRAORDINARIO Noviembre 2017 Nota: Si requieres practicar más ejercicios consulta el libro: Lógica. Conceptos y ejercicios que llevaste en tu curso de 1 de preparatoria. PRIMERA UNIDAD.

Más detalles

ESCUELA TOMÁS ALVA EDISON- SECCIÓN PREPARATORIA MATERIA: LÓGICA. CICLO ESCOLAR:

ESCUELA TOMÁS ALVA EDISON- SECCIÓN PREPARATORIA MATERIA: LÓGICA. CICLO ESCOLAR: ESCUELA TOMÁS ALVA EDISON- SECCIÓN PREPARATORIA GUÍA PARA EXÁMEN FINAL DE LÓGICA MATERIA: LÓGICA. CICLO ESCOLAR: 2015-2016 DOCENTE: IRIS GARIELA MORALES MORALES GRUPOS: 4010, 4030, 4040 y 4050 INSTRUCCIONES:

Más detalles

ESCUELA TOMÁS ALVA EDISON- SECCIÓN PREPARATORIA MATERIA: LÓGICA. CICLO ESCOLAR:

ESCUELA TOMÁS ALVA EDISON- SECCIÓN PREPARATORIA MATERIA: LÓGICA. CICLO ESCOLAR: ESCUELA TOMÁS ALVA EDISON- SECCIÓN PREPARATORIA GUÍA PARA EXÁMEN FINAL DE LÓGICA MATERIA: LÓGICA. CICLO ESCOLAR: 2016-2017 DOCENTE: IRIS GABRIELA MORALES MORALES GRUPOS: 4010, 4020, 4030, 4040, 4050 y

Más detalles

Guía de estudio de Lógica Examen final 1 y 2da. Vuelta. Prof. Federico Meza Mejía Ciclo escolar

Guía de estudio de Lógica Examen final 1 y 2da. Vuelta. Prof. Federico Meza Mejía Ciclo escolar Página 1 de 5 Guía de estudio de Lógica Examen final 1 y 2da. Vuelta. Prof. Federico Meza Mejía Ciclo escolar 2014-2015 1. Definición real y etimológica de lógica. 2. Definición real y etimológica de filosofía.

Más detalles

Temario de Lógica (1404)

Temario de Lógica (1404) UNIVERSIDAD NACIONAL AUTÓNOMA DE MÉXICO SECRETARÍA GENERAL DIRECCIÓN GENERAL DE INCORPORACIÓN Y REVALIDACIÓN DE ESTUDIOS Temario de Lógica (1404) Plan ENP - 1996 TEMARIO LÓGICA (I404) UNIDAD I. INTRODUCCIÓN.

Más detalles

PLAN ANUAL DE LÓGICA DUODÉCIMO GRADO

PLAN ANUAL DE LÓGICA DUODÉCIMO GRADO PLAN ANUAL DE LÓGICA DUODÉCIMO GRADO Área 1: Lógica formal y Argumentación Objetivos de aprendizaje: 1. Argumenta de manera ordenada, aplicando las reglas o principios del razonamiento. 2. Sigue instrucciones

Más detalles

INDICE Introducción: Cultura y Filosofía; Conocimiento y Lógica 1. Idea de cultura 2. Concepto de filosofía 3. El Conocimiento y la lógica

INDICE Introducción: Cultura y Filosofía; Conocimiento y Lógica 1. Idea de cultura 2. Concepto de filosofía 3. El Conocimiento y la lógica INDICE Contenido VII Prólogo a la primera edición XV Prólogo a la segunda edición XVII Prólogo a la tercera edición XIX Introducción: Cultura y Filosofía; Conocimiento y Lógica 1. Idea de cultura 1 1.

Más detalles

LÓGICA PRIMER SEMESTRE UNIDAD I. INTRODUCCION.

LÓGICA PRIMER SEMESTRE UNIDAD I. INTRODUCCION. LÓGICA PRIMER SEMESTRE PRIMER PERIODO 1 1.1 DEFINICION DEL CONCEPTO DE LOGICA FORMAL 1.- Expra la etimología de lógica formal 2.- Explica las características de la lógica formal 3.- Menciona la definición

Más detalles

Guí a para el examen final (402,406)

Guí a para el examen final (402,406) Guí a para el examen final (402,406) 1. Completa las siguientes oraciones: - La lógica viene del griego. Se define formalmente como. - Usamos la lógica como fundamento de nuestro razonamiento, incluso

Más detalles

I N T R O D U C C I Ó N

I N T R O D U C C I Ó N I N T R O D U C C I Ó N Joven Bachiller: Como parte de las acciones de mejora para fortalecer el nivel académico de nuestros estudiantes, el Colegio de Bachilleres, pone a disposición, para estudiantes,

Más detalles

INDICE. Presentación. iii Prologo

INDICE. Presentación. iii Prologo INDICE Presentación iii Prologo ix Lógica jurídica fundamental I. Introducción. Fundamentación lógica del Pensamiento jurídico 1.1. Hacia el lenguaje de la lógica 39 1.1.1. Aproximación a la naturaleza

Más detalles

UNIVERSIDAD DEL CARIBE UNICARIBE. Escuela de Educación. Programa de Asignatura

UNIVERSIDAD DEL CARIBE UNICARIBE. Escuela de Educación. Programa de Asignatura UNIVERSIDAD DEL CARIBE UNICARIBE Escuela de Educación Programa de Asignatura Nombre de la asignatura : Introducción a la Lógica Carga académica : 3 Créditos Modalidad : Semipresencial Clave : DHS-190 Pre-requisito

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

p q p q p (p q) V V V V V F F F F V V F F F V F

p q p q p (p q) V V V V V F F F F V V F F F V F 3.2 Reglas de inferencia lógica Otra forma de transformación de las proposiciones lógicas son las reglas de separación, también conocidas como razonamientos válidos elementales, leyes del pensamiento,

Más detalles

LÓGICA CARRERA: Licenciatura en Filosofía. DOCENTE: Fernán Gustavo Carreras CURSO: segundo año. CICLO LECTIVO 2012

LÓGICA CARRERA: Licenciatura en Filosofía. DOCENTE: Fernán Gustavo Carreras CURSO: segundo año. CICLO LECTIVO 2012 LÓGICA CARRERA: Licenciatura en Filosofía. DOCENTE: Fernán Gustavo Carreras CURSO: segundo año. CICLO LECTIVO 2012 Introducción: Consideramos que la enseñanza de la lógica como ciencia debe de estar encaminada

Más detalles

Lógica. P r o g r a m a C u r s o : 2 do a ñ o. H o r a s r e l o j : 4 h o r a s s e m a n a l e s

Lógica. P r o g r a m a C u r s o : 2 do a ñ o. H o r a s r e l o j : 4 h o r a s s e m a n a l e s Lógica P r o g r a m a 2 0 1 7 C a r r e r a : L i c e n c i a t u r a e n F i l o s o f í a C u r s o : 2 do a ñ o R é g i m e n : C u a t r i m e s t r a l H o r a s r e l o j : 4 h o r a s s e m a n

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

PROCESO DE PLANEACIÓN DIDÁCTICA DEL PROYECTO INTEGRADOR DE

PROCESO DE PLANEACIÓN DIDÁCTICA DEL PROYECTO INTEGRADOR DE PROCESO DE PLANEACIÓN DIDÁCTICA DEL PROYECTO INTEGRADOR DE 1er. SEMESTRE. CBU 2015. LÓGICA Eje: Salud adolescente y práctica de habilidades sociales: convivencia y prevención de la violencia. Proyecto:

Más detalles

LOGICA MATEMATICA. Utilizando esas definiciones y las leyes de lógica matemática, demostrar las siguientes tautologías:

LOGICA MATEMATICA. Utilizando esas definiciones y las leyes de lógica matemática, demostrar las siguientes tautologías: LOGICA MATEMATICA Utilizando esas definiciones y las leyes de lógica matemática, demostrar las siguientes tautologías: 1 ) q p q p ( q ) p ( Definición ) q p ( Doble Negación ) p q ( Conmutatividad ) (

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

Lógica Proposicional. Sergio Stive Solano Sabié. Marzo de 2012

Lógica Proposicional. Sergio Stive Solano Sabié. Marzo de 2012 Lógica Proposicional Sergio Stive Solano Sabié Marzo de 2012 Lógica Proposicional Sergio Stive Solano Sabié Marzo de 2012 Proposiciones Definición 1.1 Una proposición (o declaración) es una oración declarativa

Más detalles

LÓGICA MATEMÁTICA. ARMANDO LÓPEZ SIERRA Ingeniero de Sistemas TRABAJO FINAL

LÓGICA MATEMÁTICA. ARMANDO LÓPEZ SIERRA Ingeniero de Sistemas TRABAJO FINAL TRABAJO FINAL Nota: Las personas con temas asignados para exposiciones, que expusieron bien o que piensan que lo harán bien en el último encuentro no tienen que presentar este trabajo, ya que la nota de

Más detalles

ASIGNATURA: MATEMÁTICA DISCRETA I

ASIGNATURA: MATEMÁTICA DISCRETA I 1 FUNDAMENTOS: ASIGNATURA: MATEMÁTICA DISCRETA I Código: 15-111 Régimen: Cuatrimestral Horas Semanales: 4 Horas prácticas: 30 Horas teóricas: 30 Horas totales: 60 Escuela de Sistemas Año del programa:

Más detalles

DES: Ingeniería Programa(s) Educativo(s): Ingeniería de Software Tipo de materia: Obligatoria Clave de la materia: BC201 Semestre: 2

DES: Ingeniería Programa(s) Educativo(s): Ingeniería de Software Tipo de materia: Obligatoria Clave de la materia: BC201 Semestre: 2 UNIVERSIDAD AUTÓNOMA DE CHIHUAHUA Clave: 08MSU0017H Clave: 08USU4053W FACULTAD DE INGENIERÍA PROGRAMA DEL CURSO: LÓGICA COMPUTACIONAL DES: Ingeniería Programa(s) Educativo(s): Ingeniería de Software Tipo

Más detalles

ASIGNATURA: LOGICA Y METODOLOGIA DE LAS CIENCIAS CARRERA: CONTADOR PUBLICO // LIC. EN ADMINISTRACION

ASIGNATURA: LOGICA Y METODOLOGIA DE LAS CIENCIAS CARRERA: CONTADOR PUBLICO // LIC. EN ADMINISTRACION Universidad Nacional de Lomas de Zamora Resolución Nº CAE / 031 ASIGNATURA: LOGICA Y METODOLOGIA DE LAS CIENCIAS CARRERA: CONTADOR PUBLICO // LIC. EN ADMINISTRACION DEPARTAMENTO: HUMANIDADES TITULAR A

Más detalles

Sumario Prólogo Unidad didáctica 1. Historia de la lógica Objetivos de la unidad... 10

Sumario Prólogo Unidad didáctica 1. Historia de la lógica Objetivos de la unidad... 10 ÍNDICE SISTEMÁTICO PÁGINA Sumario... 5 Prólogo... 7 Unidad didáctica 1. Historia de la lógica... 9 Objetivos de la unidad... 10 1. Introducción... 11 2. Efemérides... 13 3. La Lógica de Aristóteles...

Más detalles

Profesorado en Filosofía y Ciencias de la Educación. Plan de Estudios: Resolución C. D. F. H. N 106/95. Ordenanza C. S. N 009/09

Profesorado en Filosofía y Ciencias de la Educación. Plan de Estudios: Resolución C. D. F. H. N 106/95. Ordenanza C. S. N 009/09 UNIVERSIDAD NACIONAL DE CATAMARCA FACULTAD DE HUMANIDADES DEPARTAMENTO DE FILOSOFIA Y CIENCIAS DE LA EDUCACIÓN PROGRAMA: Lógica I Profesorado en Filosofía y Ciencias de la Educación Plan de Estudios: Resolución

Más detalles

Lógica de Predicados

Lógica de Predicados Lógica de redicados Lógica de predicados Lógica de predicados Cálculo de predicados Reglas de inferencia Deducción proposicional Demostración condicional Demostración indirecta Valores de certeza y Tautología

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

ASIGNATURA: LOGICA Cód.: Régimen: Cuatrimestral Horas reloj semanales: 4 (cuatro) Escuelas: Psicología/Psicopedagogía Año 2012 FUNDAMENTOS:

ASIGNATURA: LOGICA Cód.: Régimen: Cuatrimestral Horas reloj semanales: 4 (cuatro) Escuelas: Psicología/Psicopedagogía Año 2012 FUNDAMENTOS: ASIGNATURA: LOGICA Cód.: 11 102 Régimen: Cuatrimestral Horas reloj semanales: 4 (cuatro) Escuelas: Psicología/Psicopedagogía Año 2012 FUNDAMENTOS: La lógica como ciencia del razonamiento correcto conserva

Más detalles

Taller Matemático. Lógica. Cristóbal Pareja Flores antares.sip.ucm.es/cpareja Facultad de Estadística Universidad Complutense de Madrid

Taller Matemático. Lógica. Cristóbal Pareja Flores antares.sip.ucm.es/cpareja Facultad de Estadística Universidad Complutense de Madrid Taller Matemático Lógica Cristóbal Pareja Flores antares.sip.ucm.es/cpareja Facultad de Estadística Universidad Complutense de Madrid 1. Lógica 14 amigos aportan la misma cantidad de dinero, sobre un fondo

Más detalles

Inferencia Lógica. Salomón Ching Briceño. Licenciado en Matemáticas UNPRG. 18 de marzo de 2011

Inferencia Lógica. Salomón Ching Briceño. Licenciado en Matemáticas UNPRG.  18 de marzo de 2011 Inferencia Lógica Salomón Ching Briceño Licenciado en Matemáticas http://mathsalomon.260mb.com UNPRG 18 de marzo de 2011 Lic. Mat. Salomón Ching Inferencia Lógica Contenido I Lic. Mat. Salomón Ching Inferencia

Más detalles

2.1. Introducción Lógica: Campo del conocimiento relacionado con el estudio y el análisis de los métodos de razonamiento. El razonamiento lógico es es

2.1. Introducción Lógica: Campo del conocimiento relacionado con el estudio y el análisis de los métodos de razonamiento. El razonamiento lógico es es Tema 2. Introducción a la lógica 1. Introducción 2. Lógica de proposiciones 1. Definiciones 2. Sintaxis 3. Semántica Bibliografía Matemática discreta y lógica. Grassman y Tremblay. 1997. Prentice Hall.

Más detalles

Taller de Análisis Lógico de Argumentos Filosóficos Semestre FORMALIZACIÓN: CONECTIVAS Y CONSTÁNTES LÓGICAS. I. Lenguaje formal.

Taller de Análisis Lógico de Argumentos Filosóficos Semestre FORMALIZACIÓN: CONECTIVAS Y CONSTÁNTES LÓGICAS. I. Lenguaje formal. FORMALIZACIÓN: CONECTIVAS Y CONSTÁNTES LÓGICAS I. Lenguaje formal. 1 II. Definición y utilidad de la formalización Formalización es el proceso de traducción de los argumentos del lenguaje natural a esquemas

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

JUSTIFICACIÓN DESCRIPCIÓN

JUSTIFICACIÓN DESCRIPCIÓN ASIGNATURA : PROGRAMA DE LÓGICA MATEMÁTICA DEPARTAMENTO : PROGRAMA DE FILOSOFIA SEMESTRE : VII SEMESTRE PRERREQUISITO. CARÁCTER DE LA ASIGNATURA : Teórico - práctica No. CRÉDITOS : 3 CREDITOS INTENSIDAD

Más detalles

UNIVERSIDAD DE ESPECIALIDADES ESPÍRITU SANTO FACULTAD DE SISTEMAS, TELECOMUNICACIONES Y ELECTRÓNICA SYLLABUS

UNIVERSIDAD DE ESPECIALIDADES ESPÍRITU SANTO FACULTAD DE SISTEMAS, TELECOMUNICACIONES Y ELECTRÓNICA SYLLABUS UNIVERSIDAD DE ESPECIALIDADES ESPÍRITU SANTO FACULTAD DE SISTEMAS, TELECOMUNICACIONES Y ELECTRÓNICA SYLLABUS MATERIA: UMAT 130 Lógica Matemática HORARIO: PROFESOR(A): Ing. Rubén Pacheco Villamar SEMESTRE:

Más detalles

UNIVERSIDAD DE GUANAJUATO

UNIVERSIDAD DE GUANAJUATO NOMBRE DE LA ENTIDAD: NOMBRE DEL PROGRAMA EDUCATIVO: UNIVERSIDAD DE GUANAJUATO CAMPUS LEÓN; DIVISIÓN DE CIENCIAS E INGENIERÍAS Licenciatura en Ingeniería Biomédica NOMBRE DE LA MATERIA: Lógica Matemática

Más detalles

Camilo Ernesto Restrepo Estrada, Félix Ruiz de Villalba, Lina María Grajales Vanegas y Sergio Iván Restrepo Ochoa 1.

Camilo Ernesto Restrepo Estrada, Félix Ruiz de Villalba, Lina María Grajales Vanegas y Sergio Iván Restrepo Ochoa 1. Guía de estudio Métodos de demostración Unidad A: Clase 3 Camilo Ernesto Restrepo Estrada, Félix Ruiz de Villalba, Lina María Grajales Vanegas y Sergio Iván Restrepo Ochoa 1.. Inferencias y métodos de

Más detalles

La Representación del Conocimiento CÓMO REPRESENTAR EL CONOCIMIENTO?

La Representación del Conocimiento CÓMO REPRESENTAR EL CONOCIMIENTO? La Representación del Conocimiento CÓMO REPRESENTAR EL CONOCIMIENTO? TIPOS DE CONOCIMENTO El epistemología es el estudio del conocimiento, hay dos tipos esenciales llamados a priori y posteriori. Algoritmo

Más detalles

Programa Analítico Vicerrectoría de Educación Superior

Programa Analítico Vicerrectoría de Educación Superior División de Ingeniería y Tecnologías Departamento de Física y Matemáticas Periodo : Primavera 2010 Nombre del curso: LOGICA MATEMATICA Clave: FM1140 Seriación: FM 1190 Línea Curricular: MATEMATICA HTS:

Más detalles

Razonamiento. Los razonamientos deductivo e inductivo en el método científico

Razonamiento. Los razonamientos deductivo e inductivo en el método científico Razonamiento Los razonamientos deductivo e inductivo en el método científico El método científico consiste en el conjunto de procedimientos para obtener un conocimiento que sea universal y, en principio,

Más detalles

yo sé que el sol saldrá mañana, por que lo he visto salir todos los días

yo sé que el sol saldrá mañana, por que lo he visto salir todos los días 1. - Lea lo siguiente: yo sé que el sol saldrá mañana, por que lo he visto salir todos los días El enunciado anterior es un ejemplo de razonamiento de tipo A) Silogístico B) Inductivo C) Analógico D) Intuitivo

Más detalles

Clase 5 1. Lógica proposicional. Razonamientos

Clase 5 1. Lógica proposicional. Razonamientos Clase 5 1 Lógica proposicional Razonamientos Clase 5 2 LOGICA - INTRODUCCION!OBJETIVO Uno de los fundamentales objetivos ha sido el estudio de las DEDUCCIONES, RAZONAMIENTOS O ARGUMENTOS LOGICA DEDUCTIVA

Más detalles

Carga académica Horas teóricas Horas prácticas Total de horas Créditos. Seriación Ninguna Ninguna

Carga académica Horas teóricas Horas prácticas Total de horas Créditos. Seriación Ninguna Ninguna I. Datos de identificación Espacio educativo donde se imparte Licenciatura Facultad de Derecho Derecho Unidad de aprendizaje Lógica Jurídica Clave Carga académica 2 2 4 6 Horas teóricas Horas prácticas

Más detalles

3. OBJETIVOS ESPECÍFICOS (De formación académica): Como resultado de cada capítulo el estudiante estará en capacidad de:

3. OBJETIVOS ESPECÍFICOS (De formación académica): Como resultado de cada capítulo el estudiante estará en capacidad de: MATERIA Lógica y Argumentación. CÓDIGO 08273 PRERREQUISITOS: Ninguno. PROGRAMAS: Todos los programas de pregrado. PERÍODO ACADÉMICO: 162-2 (Segundo semestre de 2016) INTENSIDAD HORARIA: 4 horas semanales

Más detalles

MATERIA: Lógica Matemática CÓDIGO: UMAT130 CRÉDITOS: 3. PERIODO LECTIVO: Invierno PRE-REQUISITO: Ninguno. 2. OBJETIVOS (Course Objectives Goal))

MATERIA: Lógica Matemática CÓDIGO: UMAT130 CRÉDITOS: 3. PERIODO LECTIVO: Invierno PRE-REQUISITO: Ninguno. 2. OBJETIVOS (Course Objectives Goal)) UNIVERSIDAD DE ESPECIALIDADES ESPÍRITU SANTO FACULTAD DE SISTEMAS, TELECOMUNICACIONES Y ELECTRÓNICA PROGRAMA ANALÍTICO (SUBJECT DESCRIPTION) MATERIA: Lógica Matemática CÓDIGO: UMAT130 CRÉDITOS: 3 PERIODO

Más detalles

UNIVERSIDAD NACIONAL AUTÓNOMA DE HONDURAS FACULTAD DE HUMANIDADES Y ARTES DEPARTAMENTO DE FILOSOFÍA LICENCIATURA EN FILOSOFÍA

UNIVERSIDAD NACIONAL AUTÓNOMA DE HONDURAS FACULTAD DE HUMANIDADES Y ARTES DEPARTAMENTO DE FILOSOFÍA LICENCIATURA EN FILOSOFÍA UNIVERSIDAD NACIONAL AUTÓNOMA DE HONDURAS FACULTAD DE HUMANIDADES Y ARTES DEPARTAMENTO DE FILOSOFÍA LICENCIATURA EN FILOSOFÍA JORNALIZACIÓN DIARIA DE LA ASIGNATURA DE FILOSOFIA GENERAL DEL II PERIODO DEL

Más detalles

UNIVERSIDAD DE PLAYA ANCHA FACULTAD DE HUMANIDADES. Vicerrectora Académica Dirección de Estudios, Innovación Curricular y Desarrollo Docente

UNIVERSIDAD DE PLAYA ANCHA FACULTAD DE HUMANIDADES. Vicerrectora Académica Dirección de Estudios, Innovación Curricular y Desarrollo Docente UNIVERSIDAD DE PLAYA ANCHA FACULTAD DE HUMANIDADES Vicerrectora Académica Dirección de Estudios, Innovación Curricular y Desarrollo Docente PROGRAMA FORMATIVO CARRERA DE PEDAGOGÍA EN FILOSOFÍA Módulo:

Más detalles

UNIVERSIDAD ABIERTA PARA ADULTOS UAPA CARRERA LICENCIATURA EN DERECHO PROGRAMA DE LA ASIGNATURA LÓGICA JURÍDICA PRESENTACIÓN:

UNIVERSIDAD ABIERTA PARA ADULTOS UAPA CARRERA LICENCIATURA EN DERECHO PROGRAMA DE LA ASIGNATURA LÓGICA JURÍDICA PRESENTACIÓN: UNIVERSIDAD ABIERTA PARA ADULTOS UAPA CARRERA LICENCIATURA EN DERECHO PROGRAMA DE LA ASIGNATURA LÓGICA JURÍDICA CLAVE: DER 310 ; PRE REQ.: DER 132 ; No. CRED.: 4 PRESENTACIÓN: La presente asignatura introduce

Más detalles

ALGEBRA 1- GRUPO CIENCIAS- TURNO TARDE- V V V V F F F V F F F V

ALGEBRA 1- GRUPO CIENCIAS- TURNO TARDE- V V V V F F F V F F F V Resumen teoría Prof. Alcón ALGEBRA 1- GRUPO CIENCIAS- TURNO TARDE- Tablas de Verdad: p q p q p p V V V V F V F F F V F V F F F F p q p q V V V V F V F V V F F F p q p q V V V V F F F V V F F V p q p q

Más detalles

SubTemas. Tema 1.4 Razonamiento Aproximado. Tópicos

SubTemas. Tema 1.4 Razonamiento Aproximado. Tópicos SubTemas 1.1 Introducción al control difuso 1.2 Teoría de conjuntos difusos 1.3 Representación del conocimiento 1.4 Razonamiento aproximado 1.5 Sistemas de inferencia difusos Tema 1.4 Razonamiento Aproximado

Más detalles

Capítulo 3 Cálculo proposicional 3.5 Razonamientos con proposiciones

Capítulo 3 Cálculo proposicional 3.5 Razonamientos con proposiciones 3.5 Razonamientos con proposiciones Si nos entregan el valor de verdad de las proposiciones simples es posible deducir el valor de verdad de la proposición compuesta. p: Holmes nació antes que Marx, es

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 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

Matemáticas Discretas TC1003

Matemáticas Discretas TC1003 Matemáticas Discretas TC1003 Módulo I: s Válidos Departamento de Matemáticas ITESM Módulo I: s Válidos Matemáticas Discretas - p. 1/50 En matemáticas y en lógica un argumento no es una disputa. Más bien,

Más detalles

Licenciatura en Ingeniería en Sistemas Inteligentes

Licenciatura en Ingeniería en Sistemas Inteligentes Universidad Autónoma del Estado de México Unidad Académica Profesional Nezahualcóyotl Licenciatura en Ingeniería en Sistemas Inteligentes Unidad de aprendizaje: Lógica Matemática Inferencia Lógica Dra.

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

GUIA ANUAL MATERIA: LÓGICA

GUIA ANUAL MATERIA: LÓGICA GUIA ANUAL MATERIA: LÓGICA Unidad I: Introducción 1. Define: a. Lógica b. Lógica formal c. Lógica material d. Imágenes e. Ideas f. Juicios 2. Cuál es la diferencia entre la lógica y? a. Teoría del conocimiento

Más detalles

LÓGICA PROPOSICIONAL

LÓGICA PROPOSICIONAL LÓGICA PROPOSICIONAL PROPOSICIONES Una proposición es todo enunciado, u oración enunciativa, respecto del cual se tiene un criterio que permite afirmar que su contenido es verdadero o falso, pero no ambos.

Más detalles

CONSERVACION DE LA VERDAD EN LOS ARGUMENTOS INFORMALES?

CONSERVACION DE LA VERDAD EN LOS ARGUMENTOS INFORMALES? CONSERVACION DE LA VERDAD EN LOS ARGUMENTOS INFORMALES? Ángel Tolaba En esta ponencia trataremos de sugerir una dirección analógica entre el tratamiento que se suele hacer de los razonamientos formales

Más detalles

UNIDAD 4: INTRODUCCIÓN A LA LÓGICA

UNIDAD 4: INTRODUCCIÓN A LA LÓGICA UNIDAD 4: INTRODUCCIÓN A LA LÓGICA Bien! hemos pasado a la segunda parte de los contenidos, espero que esos ánimos sigan predispuestos a continuar con el estudio de estos nuevos contenidos. Lo invitamos

Más detalles

Francisco Zúñiga Urbina Jaime Gajardo Falcón

Francisco Zúñiga Urbina Jaime Gajardo Falcón Francisco Zúñiga Urbina Jaime Gajardo Falcón 1) Noción general de metodología jurídica 2) Métodos comunes al pensamiento científico 3) Métodos particulares de la investigación jurídica 1. Conceptos Los

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

Fundamentos de Lógica y Teoría de Conjuntos

Fundamentos de Lógica y Teoría de Conjuntos Índice general 1. Lógica y Teoría de conjuntos 3 1.1. Introducción a la Lógica............................ 3 1.1.1. Repaso histórico (Ref. Grimaldi pág. 187).............. 3 1.1.2. Conceptos básicos (Ref.

Más detalles

Demostración Automática. Tema 2. Procesamiento del conocimiento con la Lógica Matemática

Demostración Automática. Tema 2. Procesamiento del conocimiento con la Lógica Matemática Demostración Automática de Teoremas Tema 2. Procesamiento del conocimiento con la Lógica Matemática Temas Introducción Sistemas de axiomas Teoría de la demostración. Sistema de Kleene Deducción natural

Más detalles

Introducción: Proposiciones, argumentos e inferencias. Inferencias deductivas e inductivas. Deducción: Inferencias transitivas (Silogismos lineales)

Introducción: Proposiciones, argumentos e inferencias. Inferencias deductivas e inductivas. Deducción: Inferencias transitivas (Silogismos lineales) Tema 2.- Deducción. Psicología del Pensamiento, Guión del Tema 2 Prof.: Eduardo Madrid Bloque 1: Razonamiento y variedades del pensamiento. Introducción: Proposiciones, argumentos e inferencias. Inferencias

Más detalles

ESCUELA MILITAR DE INGENIERÍA MISCELÁNEAS DE PROBLEMAS 2013 ÁLGEBRA I

ESCUELA MILITAR DE INGENIERÍA MISCELÁNEAS DE PROBLEMAS 2013 ÁLGEBRA I ESCUELA MILITAR DE INGENIERÍA Elaborado por: Lic. Bismar Choque Nina MISCELÁNEAS DE PROBLEMAS 2013 ÁLGEBRA I A pesar de que la refutación por ejemplo del contrario es un procedimiento válido, los teoremas

Más detalles

Lógica proposicional (2/2) Lógica 2017

Lógica proposicional (2/2) Lógica 2017 Lógica proposicional (2/2) Lógica 2017 Instituto de Computación 16 de marzo Instituto de Computación (InCo) Lógica proposicional (2/2) Curso 2017 1 / 1 Lógica Disciplina matemática Disciplina formal: se

Más detalles

Cálculo Proposicional

Cálculo Proposicional Universidad Técnica ederico Santa María Departamento de Informática undamentos de Informática 1 Cálculo Proposicional Dr. Gonzalo Hernández Oliva Dr. Gonzalo Hernández USM I-1 Cálculo Proposicional 1 1)

Más detalles

PLANTEL 02 CIEN METROS ELISA ACUÑA ROSSETTI GUÍA PARA PRESENTAR EXAMEN DE RECUPERACIÓN O ACREDITACIÓN ESPECIAL (EXTRAORDINARIO):

PLANTEL 02 CIEN METROS ELISA ACUÑA ROSSETTI GUÍA PARA PRESENTAR EXAMEN DE RECUPERACIÓN O ACREDITACIÓN ESPECIAL (EXTRAORDINARIO): PLANTEL 02 CIEN METROS ELISA ACUÑA ROSSETTI GUÍA PARA PRESENTAR EXAMEN DE RECUPERACIÓN O ACREDITACIÓN ESPECIAL (EXTRAORDINARIO): LÓGICA Y ARGUMENTACIÓN CLAVE 510 INSTRUCCIONES: TODAS LAS ACTIVIDADES DEBEN

Más detalles

Matemáticas Discretas TC1003

Matemáticas Discretas TC1003 Matemáticas Discretas TC1003 Módulo I: s Válidos Departamento de Matemáticas ITESM Módulo I: s Válidos Matemáticas Discretas - p. 1/50 En matemáticas y en lógica un argumento no es una disputa. Más bien,

Más detalles

Ejercicios de lógica

Ejercicios de lógica 1. Sistemas formales. Ejercicios de lógica 1. Considere el siguiente sistema formal: Símbolos: M, I, U. Expresiones: cualquier cadena en los símbolos. Axioma: UMUIUU Regla de inferencia: xmyiz xumyuizuu

Más detalles

Razonamiento y tablas de verdad. MSc. Fabricio Díaz Porras Asesoría pedagógica de español DRE San José Central

Razonamiento y tablas de verdad. MSc. Fabricio Díaz Porras Asesoría pedagógica de español DRE San José Central Razonamiento y tablas de verdad MSc. Fabricio Díaz Porras Asesoría pedagógica de español DRE San José Central Antes de iniciar, aclaremos Una oración es una secuencia de símbolos y es perceptible Interrogativas

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

UNIVERSIDAD DE GUANAJUATO

UNIVERSIDAD DE GUANAJUATO UNIVERSIDAD DE GUANAJUATO NOMBRE DE LA ENTIDAD: CAMPUS LEÓN; DIVISIÓN DE CIENCIAS E INGENIERÍAS NOMBRE DEL PROGRAMA EDUCATIVO: Licenciatura en Física NOMBRE DE LA MATERIA: Lógica Matemática CLAVE: FECHA

Más detalles

Conocer las clasificaciones y categorías fundamentales de la lógica formal y no formal. Comprender críticamente conceptos y teorías fundamentales.

Conocer las clasificaciones y categorías fundamentales de la lógica formal y no formal. Comprender críticamente conceptos y teorías fundamentales. 1 Universidad Nacional del Nordeste Departamento de Filosofía Materia: Lógica I Régimen de cursado: cuatrimestral Ubicación en el diseño curricular: 1er. año Profesora: Sonia Raffin Año: 2017 Propuesta

Más detalles

El razonamiento lógico se refiere al uso de entendimiento para pasar de unas proposiciones a otras partiendo de lo ya conocido o de lo que creemos

El razonamiento lógico se refiere al uso de entendimiento para pasar de unas proposiciones a otras partiendo de lo ya conocido o de lo que creemos El razonamiento lógico se refiere al uso de entendimiento para pasar de unas proposiciones a otras partiendo de lo ya conocido o de lo que creemos conocer a lo desconocido o menos conocido. TIPOS DE RAZONAMIENTO

Más detalles

DEDUCCIÓN, INDUCCIÓN, ANALOGÍA Y REDUCCIÓN. Ejemplificación y aplicación introductoria en la investigación científica en las ciencias sociales.

DEDUCCIÓN, INDUCCIÓN, ANALOGÍA Y REDUCCIÓN. Ejemplificación y aplicación introductoria en la investigación científica en las ciencias sociales. LIBRO 6: DEDUCCIÓN, INDUCCIÓN, ANALOGÍA Y REDUCCIÓN. Ejemplificación y aplicación introductoria en la investigación científica en las ciencias sociales. AUTOR: Faustino V. Cárdenas P. --------------------------------------------------------------------------------------------------------

Más detalles

FACULTAD DE DERECHO Y CIENCIA POLÍTICA

FACULTAD DE DERECHO Y CIENCIA POLÍTICA FACULTAD DE DERECHO Y CIENCIA POLÍTICA ESCUELA PROFESIONAL DE DERECHO SÍLABO I. DATOS GENERALES 1.1 Asignatura : Lógica Jurídica. 1.2 Código : 0703-07412 1.3 Nivel : Pregrado 1.4 Semestre Académico : 2016-II

Más detalles

CEPRUNSA EXCELENCIA LÓGICA - 8

CEPRUNSA EXCELENCIA LÓGICA - 8 CERUNA EXCELENCIA LÓGICA - 8 EIÓN 08 - ILOGIMO CATEGÓRICO 1. EL ILOGIMO 1.1. DEFINICIÓN Es una inferencia mediata compuesta por proposiciones categóricas (A E I O), que consiste en obtener una conclusión

Más detalles

Matemáticas Discretas TC1003

Matemáticas Discretas TC1003 Matemáticas Discretas TC1003 Métodos de Demostración Departamento de Matemáticas / Centro de Sistema Inteligentes ITESM Métodos de Demostración Matemáticas Discretas - p. 1/13 Introducción En esta sección

Más detalles

Matemáticas Dicretas LÓGICA MATEMÁTICA

Matemáticas Dicretas LÓGICA MATEMÁTICA Matemáticas Dicretas LÓGICA MATEMÁTICA Esta pagina fue diseñada como un auxiliar y herramienta para aquellos que esten interesados en reforzar y tener mas conocimientos sobre las matematicas discretas.

Más detalles

La Lógica estudia la forma del razonamiento. La Lógica Matemática es la disciplina que trata de métodos de razonamiento. En un nivel elemental, la

La Lógica estudia la forma del razonamiento. La Lógica Matemática es la disciplina que trata de métodos de razonamiento. En un nivel elemental, la LÓGICA MATEMÁTICA OBJETIVOS Definirás proposición simple. Definirás proposiciones compuestas: Disyunción y conjunción. Relacionarás dichas proposiciones con las operaciones de conjuntos: unión e intersección.

Más detalles

Módulo 5 Inducción y Deducción

Módulo 5 Inducción y Deducción Módulo 5 Inducción y Deducción OBJETIVO: Distinguirá razonamientos en que se empleen los métodos inductivo y deductivo; la definición, construcción y forma de graficar en Diagrama de Venn las proposiciones

Más detalles

15.- Cuáles son los pensamientos que estudia la Lógica y de que otro nombre se les conoce?

15.- Cuáles son los pensamientos que estudia la Lógica y de que otro nombre se les conoce? LÓGICA UNIDAD I: INTRODUCCIÓN 1.1 Definición del Concepto de Lógica. 1.- Cuál es la definición Etimológica de Lógica? 2.- Quién es el Fundador de la Lógica y como la define? 3.- Cuál es la definición Nominal

Más detalles

Universidad Abierta y a Distancia de México. Licenciatura en matemáticas. 2 cuatrimestre. Introducción al pensamiento matemático

Universidad Abierta y a Distancia de México. Licenciatura en matemáticas. 2 cuatrimestre. Introducción al pensamiento matemático Universidad Abierta y a Distancia de México Licenciatura en matemáticas 2 cuatrimestre Introducción al pensamiento matemático Clave: 1 Índice... 3 Ficha de identificación... 3 Descripción... 3 Propósitos...

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

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

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

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

Facultad de Ingeniería y Tecnología Informática Técnico en Programación de Computadoras Plan de Estudios 2014 Año 2014 Programa Analítico Lógica (1)

Facultad de Ingeniería y Tecnología Informática Técnico en Programación de Computadoras Plan de Estudios 2014 Año 2014 Programa Analítico Lógica (1) 1. OBJETIVOS: 1- OBJETIVOS GENERALES: El objetivo principal de esta asignatura es introducir al alumno en el estudio de los sistemas finitos, conforme a los avances en la era de las computadoras. Se pretende

Más detalles

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD CURSO DE LÓGICA MATEMÁTICA TRABAJO FINAL PUNTOS A DESARROLLAR

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD CURSO DE LÓGICA MATEMÁTICA TRABAJO FINAL PUNTOS A DESARROLLAR UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD CURSO DE LÓGICA MATEMÁTICA TRABAJO FINAL Con su grupo de trabajo resolver los siguientes puntos, sustentando cada una de sus respuestas. PUNTOS A DESARROLLAR

Más detalles

I. Datos de identificación.

I. Datos de identificación. I. Datos de identificación. Licenciatura Medios Alternos de Solución de Conflictos Unidad de aprendizaje Lógica Clave LMA105 Carga académica 4 0 4 8 Horas teóricas Horas prácticas Total de horas Créditos

Más detalles

LOGICA MATEMATICA. El dar un juicio nos permite comparar las características primarias o secundarias del objeto o termino y valorarlas

LOGICA MATEMATICA. El dar un juicio nos permite comparar las características primarias o secundarias del objeto o termino y valorarlas DEINICIÓN ETIMOLÓGICA DE LÓGICA EL término LOGICA viene de dos voces griegas: Logos, que significa palabra, tratado, pensamiento o razón e icos que significa relacionado con, por lo tanto lógica significa

Más detalles

Fundamentos de Lógica de Predicados

Fundamentos de Lógica de Predicados Chater 1 Fundamentos de Lógica de Predicados Profesor. Carlos Barrón Romero Los temas de Lógica tiene como objetivo: 1. Comrender los rinciios básicos de la lógica de redicados. Reaso. Proosiciones, reresentación

Más detalles

REBECA RAMOS PÉREZ. Formato de Planeación plan Nombre de la Institución: Departamento: Área académica: Créditos: 6 Total de horas: 80 Semestre:

REBECA RAMOS PÉREZ. Formato de Planeación plan Nombre de la Institución: Departamento: Área académica: Créditos: 6 Total de horas: 80 Semestre: Nombre de la Institución: Departamento: COLEGIO TERESA DE ÁVILA FILOSOFÍA Y LETRAS Área académica: FILOSOFÍA Créditos: 6 Total de horas: 80 Semestre: CUARTO Periodo de impartición: ENERO-JUNIO DE 2016

Más detalles

Más sobre Leyes de implicación

Más sobre Leyes de implicación Más sobre Leyes de implicación Dilema constructivo. Se abrevia d.c. Se considera que si hay una disyunción que contiene los antecedentes de dos condicionales, la conclusión será la disyunción de los consecuentes.

Más detalles