LÓGICA INTRODUCCIÓN A LA DISCIPLINA

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

Download "LÓGICA INTRODUCCIÓN A LA DISCIPLINA"

Transcripción

1 LÓGICA INTRODUCCIÓN A LA DISCIPLINA

2 DE QUÉ TRATA LA LÓGICA? La lógica es una ciencia formal que estudia los principios de la demostración y la inferencia válida. Al lógico le interesan ciertas relaciones entre proposiciones: Consecuencia Equivalencia Consistencia

3 FUNCIONES DEL LENGUAJE Función Informativa: Comunicar información que se realiza mediante la formulación de proposiciones. Función Expresiva: Comunicar sentimientos o actitudes. Función Directiva: Se lo usa con el propósito de originar o impedir una acción manifiesta.

4 FUNCIONES DEL LENGUAJE Indique cuáles de las siguientes oraciones son proposiciones. En todos los casos indique qué tipo de uso del lenguaje cumple cada oración. 1. Prohibido copiar este programa. 2. Windows es un sistema operativo que pertenece a la empresa Microsoft. 3. Me encanta este juego! 4. El Software Libre tiene la misma filosofía que el Open Source. 5. El desarrollo de HTML5 fue regulado por el W3C. 6. Alguien sabe qué versión de Mozilla soporta HTML5? 7. En febrero de 2016 Richard Stallman ofreció una charla sobre Software Libre. 8. Instale GNU Linux. 9. Siento que no es una solución en favor de la libertad de los usuarios el inicio dual. 10. Debe instalar UBUNTU.

5 PROPOSICIÓN Es una expresión de la lengua de la cual tiene sentido decir que es verdadera o que es falsa. Es una expresión lingüística cuya función es informativa.

6 PROPOSICIÓN: ALGUNOS EJEMPLOS Ejemplos: Llueve Está ocurriendo un calentamiento global. La Universidad Nacional de Quilmes está situada en la ciudad de Bernal. El freeware respeta la libertad del usuario.

7 RAZONAMIENTO Es un conjunto de proposiciones de los cuales, uno de ellos, la conclusión, se sigue o se infiere de otro u otros denominados premisas. Razonar es la actividad mental que permite lograr la estructuración y la organización de las ideas para llegar a una conclusión.

8 RAZONAMIENTO: ALGUNOS EJEMPLOS Ejemplos: Todos los metales se dilatan con el calor. El hierro es un metal. Por lo tanto, el hierro se dilata con el calor. El 80 % de los fumadores adquieren cáncer de pulmón. Carlos fue fumador durante 30 años de su vida. En consecuencia, probablemente, Carlos adquiera cáncer de pulmón. La fuerza de gravedad es una constante, que hace que los objetos caigan a una velocidad de 9.8 metros por segundo cada segundo, por lo tanto, si vas a tirar mi computadora desde la azotea, como nos encontramos a 5 metros de altura, y la computadora tiene una masa de 5 kilogramos; como para ese momento alcanzará una aceleración de 4.9 metros por segundo, entonces el impacto será de aproximadamente 24,5 kilogramos, lo que significa que causarán abolladuras en el gabinete y daños en sus componentes, y si cae por su costado derecho, la destrucción de la placa principal. Así que por favor, no lances mi computadora. Cómo reconocemos que estos son razonamientos?

9 INDICADORES Expresiones como por lo tanto, luego, en consecuencia, así pues, se deduce que, se podría concluir que, por ende, podemos afirmar que, etc. indican la conclusión de un argumento, Mientras que expresiones como ya que, pues, puesto que, esto se sigue de que, dado que, en vista de que, etc. sirven a los fines de indicar las premisas o razones para justificar cierta conclusión.

10 RAZONAMIENTOS Dados los siguientes párrafos, determine cuáles son razonamientos y cuáles no. En todos los razonamientos, encierre entre corchetes las premisas, subraye la conclusión y recuadre los indicadores de premisas y conclusión (si los hubiera). 1. Dado que las versiones más nuevas de los navegadores soportan HTML5, y dado que el Microsoft Edge es la última versión del navegador de dicha empresa, se sigue que el Microsoft Edge soporta HTML5. 2. Richard Stallman es un programador estadounidense que desarrolló el editor de texto GNU Emacs, el compilador GCC, y el depurador GDB. Aunque es reconocido principalmente por el establecimiento de un marco de referencia moral, político y legal para el movimiento del software libre, como una alternativa al desarrollo y distribución del software no libre o privativo. (Fuente: Wikipedia) 3. Puesto que las letras y las palabras son más sencillas de recordar que el lenguaje binario, podemos concluir que el lenguaje máquina se modificará por un lenguaje de alto nivel.

11 VALIDEZ Si un razonamiento es válido y sus premisas son verdaderas entonces su conclusión será necesariamente verdadera.

12 Se puede decir que la validez de un argumento depende únicamente de su forma lógica: ya que hay razonamientos válidos que tienen conclusiones falsas y razonamientos no correctos que tienen conclusiones verdaderas. Lo mismo se puede afirmar de las premisas. En general, se puede afirmar que la validez de un argumento es independientemente de la verdad o falsedad tanto de las premisas como de la conclusión. Todos los hombres son venezolanos. Todos los venezolanos son honestos; Luego, todos los hombres son honestos. Este razonamiento es válido porque su forma lógica es válida, aunque tanto las premisas como la conclusión son falsas.

13 VALIDEZ Los razonamientos válidos no pueden tener premisas verdaderas y conclusión falsa. Luego admiten otros valores de verdad. Los razonamientos inválidos admiten cualquier distribución de valores de verdad. R. Válidos R. Inválidos Premisas verdaderas y conclusión verdadera No tiene este caso Premisas falsas y conclusión verdadera Premisas falsas y conclusión falsa Premisas verdaderas y conclusión verdadera Premisas verdaderas y conclusión falsa Premisas falsas y conclusión verdadera Premisas falsas y conclusión falsa

14 Razonamientos válidos: Todos los perros tienen cuatro patas / Bobby es un perro / Bobby tiene cuatro patas Razonamiento inválidos: Las mujeres son siempre rubias / Susa na Gimenez es mujer / Susana Gimenez es rubia

15 VALIDEZ A B C d E f G h i j forma lógica válida inválida válida inválida válida válida premis as Verd verd falsas verd falsas falsas falsas conclus ión Falsa Falsa Verd falsa verd verd falsa

16 TIPOS DE RAZONAMIENTOS Deductivos válidos monótonos No derrotables Necesarios No deductivos inválidos No monótonos Derrotables Contingentes

17 RAZONAMIENTO DEDUCTIVO Deriva directamente de la premisa original, que es universal Ejemplo Todos los perros tienen cuatro patas

18 RAZONAMIENTO INDUCTIVO Consiste en considerar varias experiencias individuales para extraer de ellas un principio más amplio y general. Es importante tener en cuenta que, pese a que se parta de premisas verdaderas, la conclusión puede resultar falsa. Que un razonamiento inductivo derive en una conclusión verdadera es apenas una probabilidad

19 TIPOS DE RAZONAMIENTO Considerando los párrafos que se analizaron en la diapositiva 10, determine para aquellos que eran razonamientos si son deductivos o no deductivos.

20 QUÉ ES LA LÓGICA? Problema Formalización Método Solución

TEMA I. INTRODUCCIÓN A LA LÓGICA Y AL RAZONAMIENTO DEDUCTIVO.

TEMA I. INTRODUCCIÓN A LA LÓGICA Y AL RAZONAMIENTO DEDUCTIVO. Lógica y razonamiento. La lógica es el estudio de los métodos que permiten establecer la validez de un razonamiento, entendiendo como tal al proceso mental que, partiendo de ciertas premisas, deriva en

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

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

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

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

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

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

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

Métodos Numéricos para la Astronomía 2016A

Métodos Numéricos para la Astronomía 2016A Métodos Numéricos para la Astronomía 2016A Licenciatura en Astronomía Departamento de Física y Astronomía, Facultad de Ciencias. Universidad de La Serena José Luis Nilo Castellón En la clase anterior 1.

Más detalles

INTRODUCCIÓN A LA FILOSOFÍA GRADO 8 IV PERIODO La psicología cognitiva ha basado fundamentalmente sus investigaciones en tres aspectos:

INTRODUCCIÓN A LA FILOSOFÍA GRADO 8 IV PERIODO La psicología cognitiva ha basado fundamentalmente sus investigaciones en tres aspectos: INTRODUCCIÓN A LA FILOSOFÍA GRADO 8 IV PERIODO-2012 Tipos de pensamiento La psicología cognitiva ha basado fundamentalmente sus investigaciones en tres aspectos: - el razonamiento deductivo, - el razonamiento

Más detalles

RAZONAMIENTOS NO DEDUCTIVOS - CARACTERÍSTICAS

RAZONAMIENTOS NO DEDUCTIVOS - CARACTERÍSTICAS RAZONAMIENTOS NO DEDUCTIVOS - CARACTERÍSTICAS a) Las premisas no implican la conclusión. Para indicar esto se utiliza una doble raya antes de la conclusión. La doble raya expresa: Hace probable que b)

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

PONTIFICIA UNIVERSIDAD CATÓLICA DEL ECUADOR FACULTAD DE CIENCIAS ADMINISTRATIVAS Y CONTABLES CARRERA DE CONTABILIDAD Y AUDITORIA

PONTIFICIA UNIVERSIDAD CATÓLICA DEL ECUADOR FACULTAD DE CIENCIAS ADMINISTRATIVAS Y CONTABLES CARRERA DE CONTABILIDAD Y AUDITORIA PONTIFICIA UNIVERSIDAD CATÓLICA DEL ECUADOR FACULTAD DE CIENCIAS ADMINISTRATIVAS Y CONTABLES CARRERA DE CONTABILIDAD Y AUDITORIA HERRAMIENTAS INFORMÁTICAS ENSAYO DEL FREEWARE MARILIN YAJAIRA SALAZAR ALMACHI

Más detalles

Inteligencia en Redes de Comunicaciones - 04 Razonamiento lógico

Inteligencia en Redes de Comunicaciones - 04 Razonamiento lógico El objetivo del Tema 4 es presentar una panorámica general sobre cómo se pueden realizar razonamientos lógicos en un sistema software. 1 Esta es la tabla de contenidos del tema: se estudia la programación

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

SOFTWARE programas. [iniciar] [bibliografía] [créditos]

SOFTWARE programas. [iniciar] [bibliografía] [créditos] SOFTWARE programas [iniciar] [bibliografía] [créditos] PROGRAMA INFORMÁTICO: Un programa o software es un conjunto de instrucciones que una computadora ejecuta para poder realizar una función específica

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

Lógica Matemática. Universidad del Azuay - Marcos Orellana Cordero

Lógica Matemática. Universidad del Azuay - Marcos Orellana Cordero Lógica Matemática Lógica Lógica estudia la forma y la estructura del pensamiento. Lógica es la ciencia que desde el punto de vista puramente formal, estudia la estructura del pensamiento y establece el

Más detalles

RAZONAMIENTO LÓGICO PARA LA ARGUMENTACIÓN JURÍDICA

RAZONAMIENTO LÓGICO PARA LA ARGUMENTACIÓN JURÍDICA ESCUELA DEL MINISTERIO PÚBLICO Dr. Gonzalo Ortiz de Zevallos Roedel RAZONAMIENTO LÓGICO PARA LA ARGUMENTACIÓN JURÍDICA Dr. Luis Alberto Pacheco Mandujano Gerente Central de la Escuela del Ministerio Público

Más detalles

Lógica proposicional 1. Qué es la lógica?

Lógica proposicional 1. Qué es la lógica? Lógica proposicional 1. Qué es la lógica? Juan Carlos León Universidad de Murcia Esquema del tema 1 Lógica proposicional 1. Qué es la lógica? 1.1. Argumentos y consecuencias. Verdad y validez lógica Lo

Más detalles

Charla-coloquio: GNU y Software Libre

Charla-coloquio: GNU y Software Libre Charla-coloquio: GNU y Software Libre GNU y Software Libre El proyecto GNU Software Libre Coloquio ÍNDICE El proyecto GNU ÍNDICE Comienzos. Sistema GNU - Desarrollo del S.O. GNU/Linux vs. Linux Objetivos

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

SOFTWARE LIBRE. Antecedentes históricos (FSF) Qué es el Software Libre? Libertades del Software Libre. Tipos de Licencia. Tipos de Software Libre

SOFTWARE LIBRE. Antecedentes históricos (FSF) Qué es el Software Libre? Libertades del Software Libre. Tipos de Licencia. Tipos de Software Libre SOFTWARE LIBRE Antecedentes históricos (FSF) Qué es el Software Libre? Libertades del Software Libre Tipos de Licencia Tipos de Software Libre Ventajas del Software Libre Antecedentes históricos 60 y 70

Más detalles

ESQUEMAS ARGUMENTATIVOS: QUÉ SON Y PARA QUÉ SIRVEN? LILIAN BERMEJO-LUQUE Dpto. de Filosofía I Universidad de Granada

ESQUEMAS ARGUMENTATIVOS: QUÉ SON Y PARA QUÉ SIRVEN? LILIAN BERMEJO-LUQUE Dpto. de Filosofía I Universidad de Granada ESQUEMAS ARGUMENTATIVOS: QUÉ SON Y PARA QUÉ SIRVEN? LILIAN BERMEJO-LUQUE Dpto. de Filosofía I Universidad de Granada lilianbl@ugr.es OBJETIVOS: Caracterizar la Teoría de la Argumentación como que integra

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

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

Tema III Silogismos Categóricos

Tema III Silogismos Categóricos 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

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

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

UNIVERSIDAD NACIONAL DEL NORDESTE Facultad de Ciencias Económicas. Prof./Esp. Norma R. García

UNIVERSIDAD NACIONAL DEL NORDESTE Facultad de Ciencias Económicas. Prof./Esp. Norma R. García UNIVERSIDAD NACIONAL DEL NORDESTE Facultad de Ciencias Económicas Prof./Esp. Norma R. García UNIDAD II: CIENCIA Y LENGUAJE TEMA: Lenguaje Objeto y Metalenguaje. Lógica y Lenguaje. Sentencias y Argumentación.

Más detalles

Sistemas Operativos II S. O. GNU/Linux

Sistemas Operativos II S. O. GNU/Linux Sistemas Operativos II S. O. GNU/Linux S. O. GNU/Linux GNU GNU es un sistema operativo, similar a Unix, que es software libre. El Proyecto GNU se inició en 1983 para desarrollar el sistema operativo GNU.

Más detalles

Razonamientos. Premisas Conclusión Premisas Conclusión V V V V V F F V F V F F F F

Razonamientos. Premisas Conclusión Premisas Conclusión V V V V V F F V F V F F F F 2.3.1.1 Validez e invalidez. Verdad y falsedad es una propiedad de las proposiciones o enunciados. Con las proposiciones o enunciados se pueden construir razonamientos. Pero los razonamientos no son ni

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

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

Software Libre y GNU/Linux en Udondo Gaztetxea

Software Libre y GNU/Linux en Udondo Gaztetxea Software Libre y GNU/Linux en Udondo Gaztetxea 20090325 Leioa Javier Quintano jaxvi javier@jaxvinet.homelinux.org Porqué y cómo de esta charla Porque habéis preguntado por Linux Porque puede ser interesante

Más detalles

Ejercitación modelo. Lógica

Ejercitación modelo. Lógica Ejercitación modelo Lógica TRABAJO PRÁCTICO N º 1 a. Simbolice los siguientes enunciados indicando con qué letra representa cada enunciado simple (atómico) 1. Uno u otro de los directivos estará presente

Más detalles

Inda nd lecio o V i V llena Me M gías. FIN

Inda nd lecio o V i V llena Me M gías. FIN Indalecio Villena Megías. FIN PRIMERA APROXIMACIÓN AL CONCEPTO DE SOFTWARE LIBRE Los programas no son creados directamente en lenguaje binario, sería demasiado complicado. Cuando desarrollamos un software

Más detalles

Introducción a la Operación de Computadoras Personales

Introducción a la Operación de Computadoras Personales Introducción a la Operación de Computadoras Personales Conceptos básicos de computadoras: Software Dr. Diego García Depto. de Ciencias e Ingeniería de la Computación Universidad Nacional del Sur, Bahía

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

Matemáticas Discretas TC1003

Matemáticas Discretas TC1003 Matemáticas Discretas TC1003 Módulo I: Descripción Departamento de Matemáticas ITESM Módulo I: Descripción Matemáticas Discretas - p. 1/15 En esta sección veremos un poco de la historia de la Lógica: desde

Más detalles

CURSO NIVELACIÓN LÓGICA MATEMÁTICA PROYECTO UNICOMFACAUCA TU PROYECTO DE VIDA LAS PROPOSICIONES

CURSO NIVELACIÓN LÓGICA MATEMÁTICA PROYECTO UNICOMFACAUCA TU PROYECTO DE VIDA LAS PROPOSICIONES LAS PROPOSICIONES Objetivo Brindar al estudiante un concepto claro en la formulación, interpretación y aplicabilidad de las proposiciones. La interpretación de las proposiciones compuestas permite al estudiante

Más detalles

La Lógica Proposicional

La Lógica Proposicional La Lógica Proposicional 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 o falsa. Las proposiciones

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

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

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

SILABO POR ASIGNATURA 1. INFORMACION GENERAL. [CORONEL ALVARADO RUTH MARIELA SEPTIEMBRE 2016-FEBRERO 2017 [PRESENCIAL]

SILABO POR ASIGNATURA 1. INFORMACION GENERAL. [CORONEL ALVARADO RUTH MARIELA SEPTIEMBRE 2016-FEBRERO 2017 [PRESENCIAL] SILABO POR ASIGNATURA 1. INFORMACION GENERAL Coordinador: CORONEL ALVARADO RUTH MARIELA (ruth.coronel@ucuenca.edu.ec) Facultad(es): [FACULTAD DE FILOSOFÍA, LETRAS Y CIENCIAS DE LA EDUCACIÓN] Escuela: [CARRERA

Más detalles

Razonamiento Automático. Representación en Lógica de Predicados. Aplicaciones. Lógica de Predicados. Sintáxis y Semántica

Razonamiento Automático. Representación en Lógica de Predicados. Aplicaciones. Lógica de Predicados. Sintáxis y Semántica Razonamiento Automático II.1 Representación en Lógica de Predicados Razonamiento en IA se refiere a razonamiento deductivo n Nuevos hechos son deducidos lógicamente a partir de otros. Elementos: n Representación

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

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

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

Razonamiento CONOCIMIENTO

Razonamiento CONOCIMIENTO El Razonamiento Para lograr entender qué es el razonamiento, hay que recapitular los elementos anteriores, el concepto entendido como la representación que enumera las características esenciales de un

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

No se comprende o interioriza la importancia de las palabras y del lenguaje preciso!

No se comprende o interioriza la importancia de las palabras y del lenguaje preciso! 1 Ideas a debatir: La Ciencia es a) una profesión b) un trabajo c) una carrera No se comprende o interioriza la importancia de las palabras y del lenguaje preciso! Ideas a debatir: Hacer Ciencia no es

Más detalles

UNIDAD III. Módulo 12 Predicamentos y predicables ESQUEMA RESUMEN INFERENCIAS INMEDIATAS

UNIDAD III. Módulo 12 Predicamentos y predicables ESQUEMA RESUMEN INFERENCIAS INMEDIATAS UNIDAD III Módulo 12 Predicamentos y predicables OBJETIVO: Al concluir el estudio de este módulo el alumno: podrá analizar la diferencia que existe entre las inferencias inmediatas y el razonamiento; identificar

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

Indique la respuesta correcta (d=ninguna de las anteriores, e=todas las anteriores)

Indique la respuesta correcta (d=ninguna de las anteriores, e=todas las anteriores) Parcial 4. Indique la respuesta correcta (d=ninguna de las anteriores, e=todas las anteriores) 1. Inteligencia es: a. La capacidad para combinar información. c. El proceso que permite elaborar conocimiento.

Más detalles

Inteligencia en Redes de Comunicaciones. Razonamiento lógico. Julio Villena Román.

Inteligencia en Redes de Comunicaciones. Razonamiento lógico. Julio Villena Román. Inteligencia en Redes de Comunicaciones Razonamiento lógico Julio Villena Román jvillena@it.uc3m.es Índice La programación lógica Lógica de predicados de primer orden Sistemas inferenciales IRC 2009 -

Más detalles

Tema 10: Conceptos Metalógicos

Tema 10: Conceptos Metalógicos Facultad de Informática Grado en Ingeniería Informática Lógica PARTE 2: LÓGICA DE PRIMER ORDEN Tema 10: Conceptos Metalógicos Profesor: Javier Bajo jbajo@fi.upm.es Madrid, España 12/11/2012 Introducción

Más detalles

Sistemas Operativos. Software Libre

Sistemas Operativos. Software Libre Sistemas Operativos. Software Libre Introducción (I) Computadora: sistema electrónico que es capaz de realizar una serie de operaciones sobre unos datos de entrada y producir un conjunto de datos de salida

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

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

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

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

Introducción a Linux

Introducción a Linux Introducción a Linux Aplicaciones prácticas del software libre Copyright (c) 2006 Guillermo Valdez Lozano. E-mail: guivaloz(en)gmail.com http://www.movimientolibre.com Se otorga permiso para copiar, distribuir

Más detalles

Guía 1: Secuencia de series Numéricas

Guía 1: Secuencia de series Numéricas Guía 1: Secuencia de series Numéricas Contenidos Orden lógico de series Objetivos Desarrollar la habilidad mental y lógico a través del ordenamiento de series de números Resumen Existen varios tipos de

Más detalles

Inductivismo Ingenuo:

Inductivismo Ingenuo: Inductivismo Ingenuo: 1.-SEGÚN EL INDUCTIVISMO INGENUO, CON QUE COMIENZA LA CIENCIA? La ciencia comienza con la observación. 2.- COMO DEBE TENER LOS ÓRGANOS SENSORIALES EL OBSERVADOR CIENTÍFICO, COMO DEBE

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

Métodos de Análisis e Interpretación

Métodos de Análisis e Interpretación Análisis e Interpretación de Datos Aplicaciones Empresariales Métodos de Análisis e Interpretación Semana 6 Nelson José Pérez Díaz Lógica La ciencia del razonamiento, del examen, del pensamiento y la inferencia

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

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

LÓGICA PROPOSICIONAL

LÓGICA PROPOSICIONAL LÓGICA PROPOSICIONAL QUE ES LA LÓGICA? El sentido ordinario de la palabra lógica se refiere a lo que es congruente, ordenado, bien estructurado. Lo ilógico es lo mismo que incongruente, desordenado, incoherente.

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

Introducción al Software Libre

Introducción al Software Libre Introducción al Software Libre Jorge Juan . 2014, 2015. Usted es libre de copiar, distribuir y comunicar públicamente la obra y de hacer obras derivadas bajo las condiciones de la licencia

Más detalles

Unidad 02: El Sistema Operativo. Curso TIC - UGB 2012

Unidad 02: El Sistema Operativo. Curso TIC - UGB 2012 Unidad 02: El Sistema Operativo Curso TIC - UGB 2012 Que es un Sistema Operativo? Es un conjunto de programas que gestionan los recursos de hardware y provee servicios a los programas de aplicación. Es

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

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

Software y Sistemas Operativos

Software y Sistemas Operativos 2. Software y Sistemas Operativos 1 Sistemas Operativos Un ordenador es una máquina compleja Procesador Memoria Disco duro Etc Cómo podemos hacer uso de esa máquina de una manera sencilla y eficiente?

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

1-Copia en tu cuaderno el esquema y busca en Internet el significado de cada uno de los términos que aparecen.

1-Copia en tu cuaderno el esquema y busca en Internet el significado de cada uno de los términos que aparecen. 1-Copia en tu cuaderno el esquema y busca en Internet el significado de cada uno de los términos que aparecen. SOFTWARE : Es equipamiento lógico o soporte lógico de un computador digital, y comprende el

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

Grupo # 2. Richard Stallman Proyecto GNU/LINUX. Daniel Salazar Jetssenia Angulo Luis Davila Luis Gonzales John Arbelaez

Grupo # 2. Richard Stallman Proyecto GNU/LINUX. Daniel Salazar Jetssenia Angulo Luis Davila Luis Gonzales John Arbelaez Grupo # 2 Richard Stallman Proyecto GNU/LINUX Daniel Salazar Jetssenia Angulo Luis Davila Luis Gonzales John Arbelaez Richard Stallman Quien es Richard Stallman :. Richard Matthew Stallman (a quien se

Más detalles

Métodos Numéricos para la Astronomía 2016A

Métodos Numéricos para la Astronomía 2016A Métodos Numéricos para la Astronomía 2016A Licenciatura en Astronomía Departamento de Física y Astronomía, Facultad de Ciencias. Universidad de La Serena José Luis Nilo Castellón Descripción El presente

Más detalles

Introducción al razonamiento verbal

Introducción al razonamiento verbal Introducción al razonamiento verbal Por: Alejandra Cruz Bernal Figura 1. Solution Stock Image (Vuono & Freedigitalphotos.net, 2010). Razonamiento deductivo Has reflexionado sobre cómo solucionas una situació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

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

Informática Educativa Breve y Muy resumida Historia de la informática a través de algunos personajes y algunos conceptos interesantes

Informática Educativa Breve y Muy resumida Historia de la informática a través de algunos personajes y algunos conceptos interesantes Informática Educativa Breve y Muy resumida Historia de la informática a través de algunos personajes y algunos conceptos interesantes Profesor: Iván Pérez Email: ivanestebanperez@gmail.com Breve y Muy

Más detalles

Nociones básicas de lógica elemental 1. Los razonamientos como tema de la lógica. Componentes de los razonamientos: premisas y conclusión

Nociones básicas de lógica elemental 1. Los razonamientos como tema de la lógica. Componentes de los razonamientos: premisas y conclusión Nociones básicas de lógica elemental 1. Los razonamientos como tema de la lógica. Componentes de los razonamientos: premisas y conclusión La lógica estudia los razonamientos, pero no los razonamientos

Más detalles

Lógica de proposiciones (5)

Lógica de proposiciones (5) Lógica de proposiciones (5) Fundamentos de Informática I I..I. Sistemas (2005-06) César Llamas Bello Universidad de Valladolid 1 Lógica Índice Lógica proposicional ecuacional Lógica: semántica Semántica

Más detalles

Cuantificadores y Métodos de Demostración

Cuantificadores y Métodos de Demostración Cuantificadores y Métodos de Demostración 1. Cuantificadores... 1 1.1. Cuantificador Existencial... 2 1.2. Cuantificador Universal... 3 2. Métodos de Demostración... 4 1. Cuantificadores Hasta ahora habíamos

Más detalles

En general, se considera válido un razonamiento cuando sus premisas ofrecen soporte suficiente a su conclusión.

En general, se considera válido un razonamiento cuando sus premisas ofrecen soporte suficiente a su conclusión. Se llama razonamiento lógico al proceso mental de realizar una inferencia de una conclusión a partir de un conjunto de premisas. La conclusión puede no ser una consecuencia lógica de las premisas y aun

Más detalles

Examen final de Lógica y argumentación (Fecha: xxxxxxxx)

Examen final de Lógica y argumentación (Fecha: xxxxxxxx) 1 Examen final de Lógica y argumentación (Fecha: xxxxxxxx) Nombre: Código: Profesor y grupo: 1. 1 (6%) Construya un silogismo de forma: oao-3, con estas especificaciones: Término mayor: Rascacielos Término

Más detalles

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

DESARROLLO DE PENSAMIENTO LÓGICO MATEMÁTICO

DESARROLLO DE PENSAMIENTO LÓGICO MATEMÁTICO CURSO: DESARROLLO DE PENSAMIENTO LÓGICO MATEMÁTICO 1 SEMSTRE: I 2 CÓDIGO: 602106 3 COMPONENTE: 4 CICLO: 5 ÁREA: Formación Básica 6 FECHA DE APROBACIÓN: Básico de formación inicial 7 NATURALEZA: Teórico

Más detalles

Filosofía de la ciencia: inducción y deducción. Metodología I. Los clásicos Prof. Lorena Umaña

Filosofía de la ciencia: inducción y deducción. Metodología I. Los clásicos Prof. Lorena Umaña Filosofía de la ciencia: inducción y deducción Metodología I. Los clásicos Prof. Lorena Umaña Filosofía de la ciencia: noción de argumento La filosofía de la ciencia debe considerarse como una de las corrientes

Más detalles

Introducción. Ejemplos de expresiones que no son proposiciones

Introducción. Ejemplos de expresiones que no son proposiciones Introducción El objetivo de los matemáticos es descubrir y comunicar ciertas verdades. Las matemáticas son el lenguaje de los matemáticos y una demostración, es un método para comunicar una verdad matemática

Más detalles

DEL CONTRAEJEMPLO MATEMÁTICAS-I GRADO EN INGENIERÍA MULTIMEDIA

DEL CONTRAEJEMPLO MATEMÁTICAS-I GRADO EN INGENIERÍA MULTIMEDIA EJERCICIOS PROPUESTOS ESTUDIO DE LA VALIDEZ DE RAZONAMIENTOS CON LÓGICA DE PRIMER ORDEN USANDO TABLAS DE VERDAD Y MÉTODO DEL CONTRAEJEMPLO MATEMÁTICAS-I. 2011-12 GRADO EN INGENIERÍA MULTIMEDIA Colección

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