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

Save this PDF as:
 WORD  PNG  TXT  JPG

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

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

Transcripción

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

2 1. Lógica 14 amigos aportan la misma cantidad de dinero, sobre un fondo de 15, para comprar un balón de bolsitas de azúcar y cincuenta y 15 gramos pesan en total 71 gramos. 14 x + 15 = x = 4 Todos los hombres son mortales; Sócrates es un hombre.... Todos los perros tienen pelo; Milú es un perro. p(x) q(x) p(x) q(x) x = 4 x = 4 gramos Sócrates es mortal Milú tiene pelo Lógica: sistema formal que estudia la deducción válida, la validez de los razonamientos, la inferencia; esto es, el proceso de obtener conclusiones a partir de premisas. 2 / 10

3 1. Lógica Oraciones declarativas Todos los números impares son primos Morir es dormir, y tal vez soñar Todos los días de invierno llueve = 5 Proposiciones o enunciados Hoy llueve 15 es un número primo 2 no es un número par pero es primo Predicados Llueve(d) EsPar(n) y EsPrimo(n) No Llueve(d) Oraciones no declarativas Feliz cumpleaños Lázaro, levántate y anda Dime la fecha en que naciste Ay! O es de día o de noche De noche, no se ve el sol Si se ve el sol, es de día Si está nublado, no se ve el sol Representación abreviada P(x) P(x) Q(x) P(d) 3 / 10

4 2. Lógica proposicional Proposiciones o fórmulas proposicionales son fórmula basada en afirmaciones atómicas, que pueden ser verdaderas o falsas. Átomos: P, Q, R, Representan afirmaciones. Pueden ser verdaderas (T) o falsas (F): P Llueve Q El suelo se moja R 3 > 5 Operaciones lógicas principales (conectores, conectivas): Conjunción lógica: y and & && P Q Llueve y el suelo se moja Disyunción lógica: o or P Q Llueve o el suelo se moja Negación lógica: no! P No llueve Ejercicios Interpreta las siguientes proposiciones con el significado atribuido y calcúlalas P Q P Q P Q P Q P R P P P P P (Q R) Inventa algunas fórmulas, y di cuáles de ellas son equivalentes a las anteriores. 4 / 10

5 3. Operaciones lógicas básicas Negación lógica: no! P No llueve P será verdadero cuando P sea falso P será falso cuando P sea verdadero Conjunción lógica: y and & && P Q Llueve y el suelo se moja Disyunción lógica: o or P Q Llueve o el suelo se moja (Ojo: no excluyente) Ejercicios Completa: P Q será verdadero cuando P Q será falso cuando P Q P Q P Q T T T T T F F T F T F T F F F F Calcula: T (F T) T (F T) (F T) (P P) (P P) 5 / 10 P T P P Q será verdadero cuando P Q será falso cuando F F T

6 4. Combinación de operaciones lógicas Efecto de la negación sobre la conjunción: (De Morgan 1) P Q = P Q P Q será verdadero cuando y será falso cuando (completa) Efecto de la negación sobre la disyunción: (De Morgan 2) P Q = P Q P Q será verdadero cuando y será falso cuando (completa) Ejercicios Forma la tabla de verdad siguiente: Usa las tablas de verdad para simplificar: P Q P Q P Q P Q P Q P Q P Q T T T T T F F T F T F T F F F F P P P P P P P P P P Q P P Q Muestra que P Q R = (P Q) (P R). Muestra que P Q R = (P Q) (P R). 6 / 10

7 5. Otras operaciones lógicas O bien (o exclusivo): xor P Q P Q Esta tarde iremos al cine o bien al teatro (pero no a ambos). es cierto justamente cuando lo es P o Q, pero no ambos. Implicación: P Q P Q Ejercicios Si te portas bien, (entonces) iremos hoy al teatro. es cierto justamente cuando lo es Q, independientemente de P, y también cuando ambos, P o Q, son falsos. Forma tablas de verdad para las proposiciones siguientes: P P P P P Q P P P P Q P P Q y simplifica lo que puedas. P Q P Q P Q T T T T T F F F F T F T F F F T 7 / 10

8 6. Algunas reglas de deducción (1/2) Modus ponens p q p q Cuando llueve, soy feliz. Llueve. Soy feliz. p : llueve q : soy feliz Silogismo disyuntivo p q p q Modus tollens p q q p Iremos al cine o al teatro. No iremos al cine. Si tengo dinero, hago lo que quiero No hago lo que quiero. p :... q :... p :... q :... r :... 8 / 10

9 6. Algunas reglas de deducción (2/2) Definición del condicional Ejercicio p q 9 / 10 def Demuestra la equivalencia siguiente, p q q p p q mediante aplicación de reglas conocidas y mediante tablas de verdad. Transitividad del condicional Ejercicio Demuestra la transitividad del condicional mediante tablas de verdad. Ejercicio p q q r r Si tengo dinero, hago lo que quiero Si hago lo que quiero, soy feliz. Demuestra el modus tollens mediante tablas de verdad. p :... q :... r :...

10 7. Deducción de una fórmula lógica Simplificando: P Q R? T T T F T T F F T F T T T F F F F T T F F T F F F F T T F F F T (p q r) ( p q r) ( p q r) (p q r) ( p q r) ( p q r) q ( (p r) ( p r) ( p r) ) q ( r ( p r) ) q ( r p) 10 / 10

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

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

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

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

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

Matemáticas Discretas TC1003

Matemáticas Discretas TC1003 Matemáticas Discretas TC1003 en FOL Departamento de Matemáticas / Centro de Sistema Inteligentes ITESM en FOL Matemáticas Discretas - p. 1/23 En esta lectura veremos principalmente cómo se construyen argumentos

Más detalles

2. Si P; Q; R son verdaderas y S; T son falsas, determine el valor de verdad de la proposición: [P =) (R =) T )] () [(:P ^ S) =) (Q =) :T )]

2. Si P; Q; R son verdaderas y S; T son falsas, determine el valor de verdad de la proposición: [P =) (R =) T )] () [(:P ^ S) =) (Q =) :T )] Instituto Tecnológico de Costa Rica Escuela de Matemática I semestre 2012 Cálculo Diferencial e Integral. Prof. Juan José fallas. 1 Leyes de la lógica y reglas de inferencia 2 Ejercicios 1 Leyes de la

Más detalles

INTRODUCCION A LA INTELIGENCIA ARTIFICIAL MÓDULO 6- CÁLCULO DE PREDICADOS Y LÓGICA DE PRIMER ORDEN

INTRODUCCION A LA INTELIGENCIA ARTIFICIAL MÓDULO 6- CÁLCULO DE PREDICADOS Y LÓGICA DE PRIMER ORDEN INTRODUCCION A LA INTELIGENCIA ARTIFICIAL MÓDULO 6- CÁLCULO DE PREDICADOS Y LÓGICA DE PRIMER ORDEN Referencias: Inteligencia Artificial Russell and Norvig Cap.6. Artificial Intellingence Nils Nilsson Ch.4

Más detalles

ANOTACIONES BÁSICAS SOBRE LÓGICA PROPOSICIONAL FILOSOFÍA 1º BACHILLERATO

ANOTACIONES BÁSICAS SOBRE LÓGICA PROPOSICIONAL FILOSOFÍA 1º BACHILLERATO Pág. 1 Lógica Proposicional La lógica proposicional es la más antigua y simple de las formas de lógica. Utilizando una representación primitiva del lenguaje, permite representar y manipular aserciones

Más detalles

Un ejemplo de esta falacia podría ser el siguiente:

Un ejemplo de esta falacia podría ser el siguiente: Una falacia es un razonamiento que parece correcto, pero que no lo es. Hay falacias cuyo fallo reside en un mal paso lógico y otras que simplemente simulan argumentar; las primeras pueden probarse como

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

MATERIAL DE APOYO PARA EL PRIMER CURSO DE MATEMÁTICAS COMPUTACIONALES.

MATERIAL DE APOYO PARA EL PRIMER CURSO DE MATEMÁTICAS COMPUTACIONALES. MATERIAL DE APOYO PARA EL PRIMER CURSO DE MATEMÁTICAS COMPUTACIONALES. Ing. HUGO HUMBERTO MORALES PEÑA MAESTRÍA EN ENSEÑANZA DE LAS MATEMÁTICAS Línea de Matemáticas Computacionales UNIVERSIDAD TECNOLÓGICA

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

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

RAZONAMIENTO MATEMÁTICO

RAZONAMIENTO MATEMÁTICO RAZONAMIENTO MATEMÁTICO I. LÓGICA PROPOSICIONAL A. Proposiciones B. Conectivos proposicionales B.. Negación B.2. Conjunción B.3. Disyunción B.4. Condicional B.5. Bicondicional B.6. Otros conectivos C.

Más detalles

Capítulo 7: Lógica de predicados y cuantificadores

Capítulo 7: Lógica de predicados y cuantificadores Capítulo 7: Lógica de predicados y cuantificadores por G 3 Agosto 2014 Resumen A menudo interesa afirmar que todos, o que solo algunos individuos de cierto universo, o solo uno, cumplen alguna propiedad.

Más detalles

1.1.1 Conectivos lógicos, formas proposicionales y tablas de verdad.

1.1.1 Conectivos lógicos, formas proposicionales y tablas de verdad. Tema 1 Lógica. 1.1 Cálculo proposicional. Definición 1.1 Una proposición es una frase o sentencia declarativa que es verdadera o falsa pero no ambas cosas a la vez. Los dos posibles valores de verdad que

Más detalles

TEMA 4. RAZONAMIENTO DEDUCTIVO (III). RAZONAMIENTO PROPOSICIONAL Introducción a los aspectos formales del razonamiento proposicional.

TEMA 4. RAZONAMIENTO DEDUCTIVO (III). RAZONAMIENTO PROPOSICIONAL Introducción a los aspectos formales del razonamiento proposicional. TEMA 4. RAZONAMIENTO DEDUCTIVO (III). RAZONAMIENTO PROPOSICIONAL 4.1. Introducción a los aspectos formales del razonamiento proposicional. 4.2. El razonamiento disyuntivo. 4.3. El razonamiento condicional.

Más detalles

Capítulo 1 Lógica Proposicional

Capítulo 1 Lógica Proposicional Capítulo 1 Lógica Proposicional 1.1 Introducción El ser humano, a través de su vida diaria, se comunica con sus semejantes a través de un lenguaje determinado (oral, escrito, etc.) por medio de frases

Más detalles

Ejercicios con soluciones de demostración axiomática (lógica proposicional)

Ejercicios con soluciones de demostración axiomática (lógica proposicional) Ejercicios con soluciones de demostración axiomática (lógica proposicional) Pedro López García 1. Dadas las fórmulas: A 1 : b d A 2 : d a A 3 : a b c demostrar que T [A 1, A 2, A 3 ] c 1. T 1 b d Axioma

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

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

Lógica. Matemática discreta. Matemática discreta. Lógica

Lógica. Matemática discreta. Matemática discreta. Lógica Lógica Matemática discreta Lógica: rama de las matemáticas instrumento para representar el lenguaje natural proporciona un mecanismo de deducción 2 y de predicados Razonamientos Cálculo proposicional Cálculo

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

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

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

Matemáticas Discretas, Lógica: Predicados y Cuantificadores

Matemáticas Discretas, Lógica: Predicados y Cuantificadores Matemáticas Discretas, Lógica: Predicados y Cuantificadores Prof. Víctor Bravo 1 1 Universidad de los Andes A-2008 Licencia de Uso Copyright (c), 2007. 2008, ULA. Permission is granted to copy, distribute

Más detalles

Parte 1: Introducción a la lógica funcional Parte 2: Introducción a la teoría intuitiva de conjuntos

Parte 1: Introducción a la lógica funcional Parte 2: Introducción a la teoría intuitiva de conjuntos Parte 1: Introducción a la lógica funcional Parte 2: Introducción a la teoría intuitiva de conjuntos Material preparado por: Prof. Ana María Tosetti Revisado y complementado por: Ing. Freddy Rabín Catedrático

Más detalles

APENDICE REGLAS Y LEYES DE LA LOGICA DE PRIMER ORDEN

APENDICE REGLAS Y LEYES DE LA LOGICA DE PRIMER ORDEN LOGICA (FCE-UBA) APENDICE REGLAS Y LEYES DE LA LOGICA DE PRIMER ORDEN Una regla lógica, o regla de inferencia (deductiva), es una forma válida de razonamiento que es empleada para inferir deductivamente

Más detalles

LÓGICA DE PROPOSICIONES. a) El rumor y el ir y venir incesante de las abejas. b) No te vayas! c) Hoy es martes.

LÓGICA DE PROPOSICIONES. a) El rumor y el ir y venir incesante de las abejas. b) No te vayas! c) Hoy es martes. LÓGICA DE PROPOSICIONES 1. Cuál de las siguientes oraciones es una proposición lógica? a) El rumor y el ir y venir incesante de las abejas. b) No te vayas! c) Hoy es martes. La opción a) no es una proposición

Más detalles

LÓGICA PROPOSICIONAL

LÓGICA PROPOSICIONAL MATEMÁTICA I AÑO LÓGICA PROPOSICIONAL LÓGICA PROPOSICIONAL Nadie aprende si no se ha equivocado al intentarlo... - DE QUÉ TRATA LA LÓGICA? La lógica investiga la relación de consecuencia que se da entre

Más detalles

NOCIONES ELEMENTALES DE LÓGICA MATEMÁTICA

NOCIONES ELEMENTALES DE LÓGICA MATEMÁTICA NOCIONES ELEMENTALES DE LÓGICA MATEMÁTICA Estudiaremos brevemente un lenguaje no contradictorio ni ambivalente que nos permitirá introducirnos a la Matemática: la Lógica Matemática, que estudia las leyes

Más detalles

Material diseñado para los estudiantes del NUTULA, alumnos del profesor Álvaro Moreno.01/10/2010 Lógica Proposicional

Material diseñado para los estudiantes del NUTULA, alumnos del profesor Álvaro Moreno.01/10/2010 Lógica Proposicional Lógica Proposicional INTRODUCCIÓN El humano se comunica con sus semejantes a través de un lenguaje determinado (oral, simbólico, escrito, etc.) construido por frases y oraciones. Estas pueden tener diferentes

Más detalles

TEMAS DE MATEMÁTICAS (Oposiciones de Secundaria)

TEMAS DE MATEMÁTICAS (Oposiciones de Secundaria) TEMAS DE MATEMÁTICAS (Oposiciones de Secundaria) TEMA 70 LÓGICA PROPOSICIONAL. EJEMPLOS Y APLICACIONES AL RAZONAMIENTO MATEMÁTICO. 1. Introducción. 2. El Lenguaje para la Lógica de Proposiciones. 2.1.

Más detalles

SOBRE LOGICA MATEMATICA. Sandra M. Perilla-Monroy. Departamento de Ciencias Básicas, Universidad Santo Tomás, Bogotá, Colombia.

SOBRE LOGICA MATEMATICA. Sandra M. Perilla-Monroy. Departamento de Ciencias Básicas, Universidad Santo Tomás, Bogotá, Colombia. SOBRE LOGICA MATEMATICA Sandra M. Perilla-Monroy Departamento de Ciencias Básicas, Universidad Santo Tomás, Bogotá, Colombia. Resumen. sandraperilla@usantotomas.edu.co Carrera 9 No 51-11 Bogotá Colombia

Más detalles

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

Taller matemático. Razonamiento. Cristóbal Pareja Flores antares.sip.ucm.es/cpareja Facultad de Estadística Universidad Complutense de Madrid Taller matemático Razonamiento Cristóbal Pareja Flores antares.sip.ucm.es/cpareja Facultad de Estadística Universidad Complutense de Madrid 1. Razonamiento matemático Conocimiento aceptado - Axiomas o

Más detalles

Lógica proposicional. Ivan Olmos Pineda

Lógica proposicional. Ivan Olmos Pineda Lógica proposicional Ivan Olmos Pineda Introducción Originalmente, la lógica trataba con argumentos en el lenguaje natural es el siguiente argumento válido? Todos los hombres son mortales Sócrates es hombre

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

ESCUELA SUPERIOR POLITÉCNICA DEL LITORAL FACULTAD DE CIENCIAS NATURALES Y MATEMÁTICAS DEPARTAMENTO DE MATEMÁTICAS CURSO DE NIVELACIÓN S

ESCUELA SUPERIOR POLITÉCNICA DEL LITORAL FACULTAD DE CIENCIAS NATURALES Y MATEMÁTICAS DEPARTAMENTO DE MATEMÁTICAS CURSO DE NIVELACIÓN S ESCUELA SUPERIOR POLITÉCNICA DEL LITORAL FACULTAD DE CIENCIAS NATURALES Y MATEMÁTICAS DEPARTAMENTO DE MATEMÁTICAS CURSO DE NIVELACIÓN 014 1S PRIMERA EVALUACIÓN DE MATEMÁTICAS PARA CIENCIAS, INGENIERÍAS

Más detalles

Apuntes de Lógica Proposicional

Apuntes de Lógica Proposicional Apuntes de Lógica Proposicional La lógica proposicional trabaja con expresiones u oraciones a las cuales se les puede asociar un valor de verdad (verdadero o falso); estas sentencias se conocen como sentencias

Más detalles

Matemáticas Discretas TC1003

Matemáticas Discretas TC1003 Matemáticas Discretas TC1003 Lógica : Proposiciones, Conectivos, Tablas de Verdad y Departamento de Matemáticas / Centro de Sistema Inteligentes ITESM Lógica Matemáticas Discretas - p. 1/43 En esta lectura

Más detalles

encontramos dos enunciados. El primero (p) nos afirma que Pitágoras era griego y el segundo (q) que Pitágoras era geómetra.

encontramos dos enunciados. El primero (p) nos afirma que Pitágoras era griego y el segundo (q) que Pitágoras era geómetra. Álgebra proposicional Introducción El ser humano, a través de su vida diaria, se comunica con sus semejantes a través de un lenguaje determinado (oral, escrito, etc.) por medio de frases u oraciones. Estas

Más detalles

Notas de Álgebra y Matemática Discreta

Notas de Álgebra y Matemática Discreta Libros de Cátedra Notas de Álgebra y Matemática Discreta Liliana Alcón FACULTAD DE CIENCIAS EXACTAS NOTAS DE ÁLGEBRA Y MATEMÁTICA DISCRETA Liliana Alcón 2014 Alcón, Liliana Notas de algebra y matemática

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

Algoritmos y Estructura de Datos I

Algoritmos y Estructura de Datos I Clase práctica de Especificación - Lógica proposicional Viernes 20 de Marzo de 2015 Menú del día Fórmulas bien formadas Tablas de verdad Tautologías, Contingencias y Contradicciones Relación de fuerza

Más detalles

L OGICA Proposiciones

L OGICA Proposiciones CAPíTULO 4 LÓGICA Uno de los procesos por los cuales adquirimos conocimiento es el proceso de razonamiento. A su vez, hay una variedad de modos o formas mediante las cuales razonamos o argumentamos a favor

Más detalles

Facultad de Informática. Módulo 1 Lógica. Matemática 0 UNLP. Curso de Ingreso 2013 Matemática 0 Página 1

Facultad de Informática. Módulo 1 Lógica. Matemática 0 UNLP. Curso de Ingreso 2013 Matemática 0 Página 1 Matemática 0 UNLP Curso de Ingreso 2013 Matemática 0 Página 1 Contenido 1.1 Álgebra de proposiciones 3 Expresiones No Proposicionales 4 Enunciados Abiertos 4 Clasificación de las Proposiciones 4 1.2 Conectivos

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

Una proposición es una afirmación que debe ser cierta o falsa (aunque no lo sepamos).

Una proposición es una afirmación que debe ser cierta o falsa (aunque no lo sepamos). Lógica intuitiva Una proposición es una afirmación que debe ser cierta o falsa (aunque no lo sepamos). A : Las águilas vuelan B : El cielo es rosa C : No existe vida extraterrestre D : 5 < 3 E : Algunos

Más detalles

LÓGICA PROPOSICIONAL LÓGICA PROPOSICIONAL

LÓGICA PROPOSICIONAL LÓGICA PROPOSICIONAL PROPOSICIONES LÓGICA PROPOSICIONAL ^ = : verdadero = : falso v v TABLAS DE ERDAD conjunción disjunción disjunción exclusiva. + PROPOSICIONES ~ es la negación de ~ es el ouesto de ~ LÓGICA PROPOSICIONAL

Más detalles

Conjuntos, relaciones y funciones Susana Puddu

Conjuntos, relaciones y funciones Susana Puddu Susana Puddu 1. Repaso sobre la teoría de conjuntos. Denotaremos por IN al conjunto de los números naturales y por ZZ al de los enteros. Dados dos conjuntos A y B decimos que A está contenido en B o también

Más detalles

Coordinación de Matemática I (MAT021) 1 er Semestre de 2013 Semana 1: Lunes 11 Viernes 16 de Marzo. Contenidos

Coordinación de Matemática I (MAT021) 1 er Semestre de 2013 Semana 1: Lunes 11 Viernes 16 de Marzo. Contenidos Coordinación de Matemática I (MAT021) 1 er Semestre de 2013 Semana 1: Lunes 11 Viernes 16 de Marzo Complementos Contenidos Clase 1: Elementos de lógica: Conectivos, tablas de verdad, tautologías y contingencias.

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

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

La función proposicional no es una proposición, por lo tanto, no se puede decir nada acerca de su valor de verdad.

La función proposicional no es una proposición, por lo tanto, no se puede decir nada acerca de su valor de verdad. UNIDAD 1 LOGICA MATEMATICA 1.3 Cuantificadores Logica de predicados Esta lógica nos permite hacer afirmaciones con respecto a relaciones entre objetos o sus propiedades que satisfacen elementos de un determinado

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

Capítulo 1: Fundamentos: Lógica y Demostraciones Clase 1: Lógica Proposicional

Capítulo 1: Fundamentos: Lógica y Demostraciones Clase 1: Lógica Proposicional Capítulo 1: Fundamentos: Lógica y Demostraciones Clase 1: Lógica Proposicional Matemática Discreta - CC3101 Profesor: Pablo Barceló P. Barceló Matemática Discreta - Cap. 1: Fundamentos: Lógica y Demostraciones

Más detalles

No ~ Si entonces Sí y sólo si

No ~ Si entonces Sí y sólo si Principios de lógica. Principios de la lógica y o Objetivo general Establecer el valor de verdad de muchos de los enunciados lógicos, utilizando las leyes de la lógica y las de las inferencias, ya sea

Más detalles

GUIA DE TRABAJOS TEORICO PRACTICOS Nº 2: RAZONAMIENTOS PARA LA LOGICA PROPOSICIONAL

GUIA DE TRABAJOS TEORICO PRACTICOS Nº 2: RAZONAMIENTOS PARA LA LOGICA PROPOSICIONAL CENTRO EDUCATIVO DE NIVEL TERCIARIO N 2 INTRODUCCIÓN A LA LOGICA SIMBOLICA PRIMER AÑO GUIA DE TRABAJOS TEORICO PRACTICOS Nº 2: RAZONAMIENTOS PARA LA LOGICA PROPOSICIONAL La lógica deductiva es la ciencia

Más detalles

Matemáticas Discretas Tc1003 Lógica Matemática. Lógica Matemática

Matemáticas Discretas Tc1003 Lógica Matemática. Lógica Matemática OBJETIVOS Unidad Tema Subtema Objetivos II 2.1 Lógica Proosicional 2.2 Lógica de Predicados 2.3 Métodos de Demostración El establecimiento de cualuier teoría o conceto se hace mediante declaraciones y/o

Más detalles

Lógica de Predicados

Lógica de Predicados Lógica de Predicados En las últimas décadas, ha aumentado considerablemente el interés de la informática por la aplicación de la lógica a la programación. De hecho, ha aparecido un nuevo paradigma de programación,

Más detalles

LÓGICA DE PREDICADOS DE PRIMER ORDEN INTRODUCCIÓN A LOS SISTEMAS FORMALES

LÓGICA DE PREDICADOS DE PRIMER ORDEN INTRODUCCIÓN A LOS SISTEMAS FORMALES LÓGICA DE PREDICADOS DE PRIMER ORDEN INTRODUCCIÓN A LOS SISTEMAS FORMALES POR QUÉ INTRODUCIR UN NUEVO SISTEMA? Todos los hombres son mortales Sócrates es hombre Sócrates es mortal Se trata de un razonamiento

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

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

Grado en Ingeniería Informática Fundamentos matemáticos para la informática Curso Introducción a la lógica matemática

Grado en Ingeniería Informática Fundamentos matemáticos para la informática Curso Introducción a la lógica matemática Grado en Ingeniería Informática Fundamentos matemáticos para la informática Curso 2009-10 Introducción a la lógica matemática Lógica es la disciplina que se ocupa de los métodos de razonamiento, suministrando

Más detalles

TEMA 3: LOGICA. 2. Los razonamientos o inferencias

TEMA 3: LOGICA. 2. Los razonamientos o inferencias TEMA 3: LOGICA 1. La lógica y su objeto A menudo habrás escuchado frases como las siguientes: «con lo poco que has estudiado, es lógico que suspendas», o «por lógica, si seguimos el camino, llegaremos

Más detalles

CAPÍTULO I ÁLGEBRA DE PROPOSICIONES

CAPÍTULO I ÁLGEBRA DE PROPOSICIONES ÁLGEBRA DE PROPOSICIONES 1 CAPÍTULO I ÁLGEBRA DE PROPOSICIONES 1.1 PROPOSICIÓN Proosición (o enunciado) es una afirmación verbal a la ue uede asociarse un valor de verdad, es decir, uede ser verdadera

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

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

Lógica Proposicional, Teoremas y Demostraciones

Lógica Proposicional, Teoremas y Demostraciones Lógica Proposicional, Teoremas y Demostraciones Manuel Maia 19 de marzo de 2012 1 Proposiciones Una proposición es una oración declarativa o una expresión matemática que es verdadera o es falsa, pero no

Más detalles

INTRODUCCIÓN A LA LÓGICA MATEMÁTICA

INTRODUCCIÓN A LA LÓGICA MATEMÁTICA INTRODUCCIÓN A LA LÓGICA MATEMÁTICA La Lógica es la disciplina que se ocupa de los métodos de razonamiento, suministrando reglas y técnicas que nos permiten decidir si una argumentación, una deducción,

Más detalles

PRIMERA EVALUACIÓN DE MATEMÁTICAS PARA INGENIERÍAS Y EDUCACIÓN COMERCIAL GUAYAQUIL, 29 DE JUNIO DE 2015 HORARIO: 08H30 10H30 VERSIÓN 1.

PRIMERA EVALUACIÓN DE MATEMÁTICAS PARA INGENIERÍAS Y EDUCACIÓN COMERCIAL GUAYAQUIL, 29 DE JUNIO DE 2015 HORARIO: 08H30 10H30 VERSIÓN 1. ESCUELA SUPERIOR POLITÉCNICA DEL LITORAL FACULTAD DE CIENCIAS NATURALES Y MATEMÁTICAS DEPARTAMENTO DE MATEMÁTICAS CURSO DE NIVELACIÓN 2015 1S PRIMERA EVALUACIÓN DE MATEMÁTICAS PARA INGENIERÍAS Y EDUCACIÓN

Más detalles

ÍNDICE PRIMERA PARTE METODOLOGÍA JURÍDICA

ÍNDICE PRIMERA PARTE METODOLOGÍA JURÍDICA ÍNDICE INTRODUCCIÓN... 15 PRIMERA PARTE METODOLOGÍA JURÍDICA INTRODUCCIÓN... 21 CAPÍTULO I. LA APLICACIÓN DEL DERECHO. CASOS FÁCILES, CASOS DIFÍCILES Y JUSTIFICACIÓN DE LA RESPUESTA... 25 1. INTRODUCCIÓN...

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

GUIA DE TRABAJOS TEÓRICO PRACTICOS Nº3: LOGICA DE PREDICADOS

GUIA DE TRABAJOS TEÓRICO PRACTICOS Nº3: LOGICA DE PREDICADOS CENTRO EDUCATIVO DE NIVEL TERCIARIO N 2 INTRODUCCIÓN A LA LOGICA SIMBOLICA PRIMER AÑO GUIA DE TRABAJOS TEÓRICO PRACTICOS Nº3: LOGICA DE PREDICADOS 1.-Estructura de las proposiciones El desarrollo del cálculo

Más detalles

Definición y representación de los

Definición y representación de los Definición y representación de los circuitos lógicos. LÁMARA R + - + - OBJETIVO GENERAL BATERÍA Utilizar el álgebra booleana para analizar y describir el funcionamiento de las combinaciones de las compuertas

Más detalles

PALABRAS EN SÍMBOLOS. O : Observar el cambio A : Aprobar -O : No observar el cambio

PALABRAS EN SÍMBOLOS. O : Observar el cambio A : Aprobar -O : No observar el cambio PALABRAS EN SÍMBOLOS Este capítulo corresponde a la transformación de los razonamientos conceptualmente expresados a símbolos lógicos. La meta de esta tarea lógica es determinar si los razonamientos son

Más detalles

Capítulo 1 Lógica y Conjuntos

Capítulo 1 Lógica y Conjuntos Capítulo Lógica y Conjuntos Introducción Todos estamos familiarizados con la idea de que algunas personas poseen una mentalidad lógica mientras que otras no. No siempre resulta sencillo seguir razonamientos

Más detalles

color (yerba, verde) el mismo predicado, pero con diferentes argumentos, puede no ser verdadero: color (yerba, azul) o color (cielo, verde)

color (yerba, verde) el mismo predicado, pero con diferentes argumentos, puede no ser verdadero: color (yerba, azul) o color (cielo, verde) Lógica de Predicados La principal debilidad de la lógica proposicional es su limitada habilidad para expresar conocimiento. Existen varias sentencias complejas que pierden mucho de su significado cuando

Más detalles

Forma lógica de enunciados

Forma lógica de enunciados Forma lógica de enunciados Marisol Miguel Cárdenas Lenguaje natural y lenguaje formal El lenguaje natural es aquel que utilizamos cotidianamente. Surge históricamente dentro de la sociedad y es aprendido

Más detalles

Lógica Proposicional

Lógica Proposicional Existen en la realidad un número considerable de problemas con los que una persona se enfrenta y de los cuales se deben deducir ciertos datos para poder resolverlos. Generalmente la forma en que las personas

Más detalles

Tema 9: Cálculo Deductivo

Tema 9: Cálculo Deductivo Facultad de Informática Grado en Ingeniería Informática Lógica PARTE 2: LÓGICA DE PRIMER ORDEN Tema 9: Cálculo Deductivo Profesor: Javier Bajo jbajo@fi.upm.es Madrid, España 24/10/2012 Introducción a la

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

MATEMÁTICA 1 JRC El futuro pertenece a aquellos que creen en la belleza de sus sueños

MATEMÁTICA 1 JRC El futuro pertenece a aquellos que creen en la belleza de sus sueños MATEMÁTICA 1 JRC LÓGICA Es la ciencia formal que estudia los principios y procedimientos que permiten demostrar la validez o invalidez de una inferencia, es decir, reconocer entre un razonamiento correcto

Más detalles

INSTITUCION EDUCATIVA LA PRESENTACION NOMBRE ALUMNA: ASIGNATURA: MATEMATICAS. NOTA

INSTITUCION EDUCATIVA LA PRESENTACION NOMBRE ALUMNA: ASIGNATURA: MATEMATICAS. NOTA INSTITUCION EDUCATIA LA PRESENTACION NOMBRE ALUMNA: AREA : MATEMATICAS ASIGNATURA: MATEMATICAS. NOTA DOCENTE: HUGO HERNAN BEDOYA TIPO DE GUIA: CONCEPTUAL - EJERCITACION PERIODO GRADO ECHA N DURACION 1

Más detalles

Métodos de Inteligencia Artificial

Métodos de Inteligencia Artificial Métodos de Inteligencia Artificial L. Enrique Sucar (INAOE) esucar@inaoep.mx ccc.inaoep.mx/esucar Tecnologías de Información UPAEP Contenido Lógica proposicional Lógica de predicados Inferencia en lógica

Más detalles

Unidad 2.- Lógica y tablas de verdad. Lógica

Unidad 2.- Lógica y tablas de verdad. Lógica Lógica Algebra Booleana Las álgebras booleanas, estudiadas por primera vez en detalle por George Boole, constituyen un área de las matemáticas que ha pasado a ocupar un lugar prominente con el advenimiento

Más detalles

ELEMENTOS DE LÓGICA Y TEORÍA DE CONJUNTOS. Dra. Patricia Kisbye Dr. Alejandro L. Tiraboschi

ELEMENTOS DE LÓGICA Y TEORÍA DE CONJUNTOS. Dra. Patricia Kisbye Dr. Alejandro L. Tiraboschi ELEMENTOS DE LÓGICA Y TEORÍA DE CONJUNTOS Dra. Patricia Kisbye Dr. Alejandro L. Tiraboschi 3 INTRODUCCIÓN Estas notas han sido elaboradas con el objetivo de ofrecer al ingresante a las carreras de la

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

Lógica Simbólica y Teoría de Conjuntos Parte I Juan Carlos Bressan y Ana E. Ferrazzi de Bressan

Lógica Simbólica y Teoría de Conjuntos Parte I Juan Carlos Bressan y Ana E. Ferrazzi de Bressan Lógica Simbólica y Teoría de Conjuntos Parte I Juan Carlos Bressan y Ana E Ferrazzi de Bressan Resumen En este trabajo, la utilización de la lógica simbólica y de los conjuntos se hace desde un punto de

Más detalles

INTRODUCCIÓN A LA LÓGICA

INTRODUCCIÓN A LA LÓGICA UNIVERSIDAD NACIONAL DE RÍO CUARTO FACULTAD DE CIENCIAS EXACTAS, FÍSICO-QUÍMICAS Y NATURALES DEPARTAMENTO DE MATEMÁTICA INTRODUCCIÓN A LA LÓGICA Para el ingreso a las carreras de Matemática Material preparado

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

Índice Unidad 1: Lógica y teoría de conjuntos... 2

Índice Unidad 1: Lógica y teoría de conjuntos... 2 MATEMÁTICA DISCRETA Índice Unidad 1: Lógica y teoría de conjuntos... 2 1. Definiciones... 2 2. Leyes de la lógica... 2 3. Reglas de inferencia... 3 4. Lógica de predicados... 3 5. Teoría de conjuntos...

Más detalles

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

La Lógica. Grado Décimo GRUPO CUATRO. Ficha No. 003 MARZO 3 de 2016

La Lógica. Grado Décimo GRUPO CUATRO. Ficha No. 003 MARZO 3 de 2016 La Lógica Grado Décimo GRUPO CUATRO 1 PUEDE PROBARSE TODO? El ideal de un método estrictamente científico de la matemática, que he tratado de realizar aquí, y que bien pudiera ser denominado euclídeo,

Más detalles

Lógica Matemática. Cont... Cont... Capítulo 1: Lógica Matemática Y Demostraciones

Lógica Matemática. Cont... Cont... Capítulo 1: Lógica Matemática Y Demostraciones Matemáticas Discretas Capítulo 1: Y Demostraciones La lógica: Estudio del razonamiento. Se analiza si un razonamiento es correcto. Se centra en las relaciones entre los enunciados No se centra en el contenido

Más detalles

Lógica Matemática, Sistemas Formales, Cláusulas de Horn

Lógica Matemática, Sistemas Formales, Cláusulas de Horn Lógica Matemática, Sistemas Formales, Cláusulas de Horn Lic. José Manuel Alvarado La lógica se ocupa de las argumentaciones válidas. Las argumentaciones ocurren cuando se quiere justificar una proposición

Más detalles

Compuertas Lógicas. Sergio Stive Solano Sabié. Agosto de 2012 MATEMÁTICA. Sergio Solano. Compuertas lógicas NAND, NOR, XOR y XNOR

Compuertas Lógicas. Sergio Stive Solano Sabié. Agosto de 2012 MATEMÁTICA. Sergio Solano. Compuertas lógicas NAND, NOR, XOR y XNOR XOR y Lógicas Sergio Stive Solano Agosto de 2012 XOR y Lógicas Sergio Stive Solano Agosto de 2012 XOR y XOR y Con las puertas básicas podemos implementar cualquier función booleana. Sin embargo existen

Más detalles

3.1 Reglas de equivalencia

3.1 Reglas de equivalencia 3.1 Reglas de equivalencia En esta sección estudiarás y aplicarás algunas reglas de equivalencia de proposiciones lógicas. Es decir, vamos a empezar a aplicar algunas reglas que nos permitirán transformar

Más detalles

PRINCIPIOS DE LÓGICA. 1.1 CONCEPTO Y PROPÓSITO DE LA DE LÓGICA. UNIDAD 1. FUNDAMENTOS DE LÓGICA. Competencias:

PRINCIPIOS DE LÓGICA. 1.1 CONCEPTO Y PROPÓSITO DE LA DE LÓGICA. UNIDAD 1. FUNDAMENTOS DE LÓGICA. Competencias: UNIDAD 1. FUNDAMENTOS DE LÓGICA. MAPA CONCEPTUAL LÓGICA MATEMÁTICA Como Es Ciencia de la razón Aporta Desarrolla Acción Pedagógica Genera Nuevos Saberse Que desarrollan Habilidades de Pensamiento Aprendizaje

Más detalles