Matemáticas Discretas TC1003

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

Download "Matemáticas Discretas TC1003"

Transcripción

1 Matemáticas Discretas TC1003 Módulo I: Departamento de Matemáticas ITESM Módulo I: Matemáticas Discretas - p. 1/24

2 La forma proposicional más importante es la condicional. La Módulo I: Matemáticas Discretas - p. 2/24

3 La forma proposicional más importante es la condicional. También es la que motiva más errores en su interpretación. Esta forma condicional es la relacionada con la inferencia lógica. Revise en su libro de texto con detenimiento todos los conceptos relacionados con las condicionales. La Módulo I: Matemáticas Discretas - p. 2/24

4 Definición de Forma Condicional Una forma condicional o simplemente una condicional es una proposición de la forma: Si P, entonces Q Donde P y Q son proposiciones. A P se le llamará la hipótesis de la condicional o antecedente de la proposicional y a Q se le llamará conclusión de la condicional o consecuente de la proposicional. En notación matemática la condicional será representada por: P Q La Módulo I: Matemáticas Discretas - p. 3/24

5 s Si n = m, entonces n + m es par. Si n = 0, entonces n + m = m. Si n es múltiplo de 4, entonces n es par. Si Juan pasa con 80 todos los exámenes de Discretas, entonces Juan acredita Discretas. Si el programa de Juan está correcto, entonces al ejecutarlo con los datos del profesor producirá la salida esperada. Si Tomás resolvió correctamente el problema de mate, entonces Tomás obtendrá la respuesta correcta. La Módulo I: Matemáticas Discretas - p. 4/24

6 para enunciar P Q Si P, entonces Q. Si P, también Q. Si P, Q. P implica Q. P es suficiente para Q. Q cuando P. Q cada vez que P. Q, si P. A fin de que Q, basta que P. Q es requerido para que P. P sólo si Q. La Sólo si se cumple Q, se cumple P. Módulo I: Matemáticas Discretas - p. 5/24

7 Observe las construcciones Q sip y P sólo siq la palabra sólo cambia la posición de los elementos de la implicación P Q. Si P : Tener a tiempo el depósito Q: Ir a McAllen En las afirmaciones: Noel dijo: Iré a McAllen si tengo a tiempo el depósito (P Q). P es una condición suficiente para Q. Noel posiblemente tiene otras maneras de llegar. León dijo: Iré a McAllen sólo si tengo a tiempo el depósito (Q P ). P es una condición necesaria para Q. León tiene solo una manera de hacerlo. La Módulo I: Matemáticas Discretas - p. 6/24

8 Jerarquía de Operadores Mayor Jeraquía Menor Jerarquía La Módulo I: Matemáticas Discretas - p. 7/24

9 de la Condicional Note que p q p q F F T F T T T F F T T T Si la hipótesis es falsa, la implicación es verdadera. Si la hipótesis es verdadera, la única posibilidad de que la implicación sea verdadera es que la conclusión sea verdadera. La Módulo I: Matemáticas Discretas - p. 8/24

10 Proposicionales complejas con condicionales Determine la tabla de verdad de: p q q. p q p q p q p q q F F T T T T F T T F F T T F F T T T T T F F T F La Módulo I: Matemáticas Discretas - p. 9/24

11 Proposicionales complejas con condicionales Determine la tabla de verdad de: p q r. p q r q r p q r F F F F T F F T T T F T F T T F T T T T T F F F F T F T T T T T F T T T T T T T La Módulo I: Matemáticas Discretas - p. 10/24

12 Equivalencia Básica de la Condicional Compruebe la equivalencia básica de la condicional: p q p q p q p q p p q F F T T T F T T T T T F F F F T T T F T La Módulo I: Matemáticas Discretas - p. 11/24

13 La de la Condicional La negación de la Condicional: (p q) p q p q p q (p q) q p q F F T F T F F T T F F F T F F T T T T T T F F F La Módulo I: Matemáticas Discretas - p. 12/24

14 Casos en la Condicional: Compruebe la equivalencia: p q r (p r) (q r) p q r p q p q r p r q r (p r) (q r) F F F F T T T T F F T F T T T T F T F T F T F F F T T T T T T T T F F T F F T F T F T T T T T T T T F T F F F F T T T T T T T T Módulo I: Matemáticas Discretas - p. 13/24

15 de una Condicional Suponga una condicional P Q. Otras condicionales importantes construidas a partir de ella son: La recírpoca (converse): Q P La contrapositiva (contrapositive): La inversa (inverse): Q P La P Q Módulo I: Matemáticas Discretas - p. 14/24

16 s de las variantes de una condicional Si P : Hoy es viernes santo. Q : Mañana es día sábado. y supongamos que R representa P Q. Entonces La contrapositiva de R es: Si mañana no es día sábado, entonces hoy no es viernes santo. La recíproca de R es: Si mañana es día sábado, entonces hoy es viernes santo. La inversa de R es: Si hoy no es viernes santo, entonces mañana no es día sábado. La Módulo I: Matemáticas Discretas - p. 15/24

17 s de las variantes de una condicional Si P : ABCD es un cuadrado. Q : ABCD es un rectángulo. y supongamos que R representa P Q. Entonces La contrapositiva de R es: Si ABCD no es un rectángulo, entonces ABCD no es un cuadrado. La recíproca de R es: Si ABCD es un rectángulo, entonces ABCD es un cuadrado. La inversa de R es: Si ABCD no es un cuadrado, entonces ABCD no es un rectángulo. La Módulo I: Matemáticas Discretas - p. 16/24

18 s de las variantes de una condicional Si P : Tomás siguó al pie de la letra las instrucciones. Q : Tomás llegó a su destino. y supongamos que R representa P Q. Entonces La contrapositiva de R es: Si Tomás no llegó a su destino, entonces Tomás no siguió al pie de la letra las instrucciones. La recíproca de R es: Si Tomás llegó a su destino, entonces Tomás siguió al pie de la letra las instrucciones. La inversa de R es: Si Tomás no siguió al pie de la letra las instrucciones, entonces Tomás no llegó a su destino. La Módulo I: Matemáticas Discretas - p. 17/24

19 Tabla de verdad de una Condicional y su variantes p q p q p q q p p q q p F F T T T T T T F T T F T F F T T F F T F T T F T T F F T T T T La condicional y su contrapositiva sí son equivalentes: p q q p La condicional y su recíproca no son equivalentes: p q q p Módulo I: Matemáticas Discretas - p. 18/24

20 Segunda vista de es requisito para Cuando se dice A es un requisito para B Se está diciendo que: Si no se cumple A, entonces no se cumple B Es decir, A B Esta es la contrapositiva de Por ello es que B A A es un requisito para B se convierte en B A La Módulo I: Matemáticas Discretas - p. 19/24

21 Segunda vista de sólo si Cuando se dice A sólo si B Se está diciendo que: Si no se cumple B, entonces no se cumple A Es decir, B A Esta es la contrapositiva de A B Por ello es que A sólo si B se convierte en A B La Módulo I: Matemáticas Discretas - p. 20/24

22 La Una forma bicondicional es una proposición de la forma: P si y solamente si Q donde P y Q son proposiciones. Esta proposición será representada con la notación: P Q Esta proposición es verdadera si P y Q tienen los mismos valores de verdad (verdadero o falso). La Módulo I: Matemáticas Discretas - p. 21/24

23 de la p q p q F F T F T F T F F T T T La Módulo I: Matemáticas Discretas - p. 22/24

24 de estilo de la bicondicional Si P entonces Q, y recíprocamente, si Q entonces P. Si P entonces Q, y recíprocamente. Si P, y sólo entonces, Q. P si Q, y sólo entonces. P si y sólo si Q. A fin de que P es necesario y suficiente que Q. La Módulo I: Matemáticas Discretas - p. 23/24

25 Temas Vistos La proposición condicional Conversión de Texto a FBF con la condicional Equivalencias de la condicional de la condicional: La contrapositiva, la recíproca y la inversa. La bicondicional La Módulo I: Matemáticas Discretas - p. 24/24

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

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

Más detalles

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

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

EL CONDICIONAL. La tercera y cuarta fila incomoda a mucha gente. Porque?

EL CONDICIONAL. La tercera y cuarta fila incomoda a mucha gente. Porque? EL CONDICIONAL DEFINICIÓN : Sean p y q dos proposiciones. El condicional con antecedente p y consecuente q es la proposición p q, que se lee si p entonces q cuyo valor lógico está dado por la siguiente

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

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

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

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

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

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

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

Tópicos de Matemáticas Discretas

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

Más detalles

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

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 TC1003

Matemáticas Discretas TC1003 Matemáticas Discretas TC1003 Funciones 1-a-1, sobre e inversas Departamento de Matemáticas / Centro de Sistema Inteligentes ITESM Funciones 1-a-1, sobre e inversas Matemáticas Discretas - p. 1/14 Función

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

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

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

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

Más detalles

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

Matemáticas Discretas TC1003

Matemáticas Discretas TC1003 Matemáticas Discretas TC003 : Conceptos Departamento de Matemáticas / Centro de Sistema Inteligentes ITESM : Conceptos Matemáticas Discretas - p. /5 Una función f del conjunto X al conjunto Y es una relación

Más detalles

Matemáticas Discretas. Oscar Bedoya

Matemáticas Discretas. Oscar Bedoya Matemáticas Discretas Oscar Bedoya oscar.bedoya@correounivalle.edu.co http://eisc.univalle.edu.co/~oscarbed/md/ * Lógica proposicional * Concepto de proposición * Valores de verdad * Operadores lógicos

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

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

Matemáticas Básicas para Computación

Matemáticas Básicas para Computación Matemáticas Básicas para Computación MATEMÁTICAS BÁSICAS PARA COMPUTACIÓN 1 Sesión No. 5 Nombre: Tablas de verdad Objetivo Al término de la sesión el participante aplicará los conceptos de lógica a través

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

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

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

El conjuntos de los estudiantes inteligentes de la UPR Río Piedras. El conjunto de los mejores baloncelistas de la NBA.

El conjuntos de los estudiantes inteligentes de la UPR Río Piedras. El conjunto de los mejores baloncelistas de la NBA. 1 Conjuntos Un conjunto es una colección de objetos bien definida. Ejemplos de conjuntos: El conjuntos de todos los estudiantes matriculados en el programa immersión. El conjunto de todos los pueblos de

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

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

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

b) Sea una relación de equivalencia en A y una operación en A. Decimos que y son compatibles si a b a c b c y c a c b para todo a, b, c A

b) Sea una relación de equivalencia en A y una operación en A. Decimos que y son compatibles si a b a c b c y c a c b para todo a, b, c A APENDICE Relaciones y Operaciones Compatibles 1 Definición: a) Sea A un conjunto y una relación entre elementos de A. Decimos que es una relación de equivalencia si es: i Reflexiva: a A, a a. ii Simétrica:

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

Existen diferentes compuertas lógicas y aquí mencionaremos las básicas pero a la vez quizá las más usadas:

Existen diferentes compuertas lógicas y aquí mencionaremos las básicas pero a la vez quizá las más usadas: Compuertas lógicas Las compuertas lógicas son dispositivos electrónicos utilizados para realizar lógica de conmutación. Son el equivalente a interruptores eléctricos o electromagnéticos. para utilizar

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

CONJUNTO: Colección o agregado de ideas u objetos de cualquier especie.

CONJUNTO: Colección o agregado de ideas u objetos de cualquier especie. RESUMEN DE MATEMATICAS I PARTE I CONJUNTOS CONJUNTO: Colección o agregado de ideas u objetos de cualquier especie. A= {números pares} B= { banda de rock} ELEMENTO: Son las ideas u objetos cualesquiera

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

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

EJERCICIOS RESUELTOS 6

EJERCICIOS RESUELTOS 6 LÓGICA I EJERCICIOS RESUELTOS 6 TEMA 6 SEMÁNTICA: TABLAS DE ERDAD Y RESOLUCIÓN ERITATIO-UNCIONAL EJERCICIO 6.01 Comprobar por tablas de verdad si la siguiente fbf es o no satisfacible: ( p q) p q ( p q)

Más detalles

Matemáticas Básicas para Computación

Matemáticas Básicas para Computación Matemáticas Básicas para Computación MATEMÁTICAS BÁSICAS PARA COMPUTACIÓN 1 Sesión No. 6 Nombre: Álgebra Booleana Objetivo Durante la sesión el participante identificará las principales características

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

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

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

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

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

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

Matemáticas - Guía 1 Proposiciones

Matemáticas - Guía 1 Proposiciones LOGROS: 1. Reconoce el conceto e roosición. 2. Clasifica las roosiciones en simles y comuestas. 3. Resuelve roosiciones comuestas utilizando los conectivos lógicos. 4. Halla el valor de verdad de una roosición

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

UNIVERSIDAD NACIONAL AUTÓNOMA DE MÉXICO FACULTAD DE CIENCIAS CARRERA DE MATEMÁTICO CONJUNTOS Y LÓGICA

UNIVERSIDAD NACIONAL AUTÓNOMA DE MÉXICO FACULTAD DE CIENCIAS CARRERA DE MATEMÁTICO CONJUNTOS Y LÓGICA UNIVERSIDAD NACIONAL AUTÓNOMA DE MÉXICO FACULTAD DE CIENCIAS CARRERA DE MATEMÁTICO CONJUNTOS Y LÓGICA SEMESTRE: Segundo a cuarto CLAVE: 0271 HORAS A LA SEMANA/SEMESTRE TEÓRICAS PRÁCTICAS CRÉDITOS 5/80

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

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

OPERADORES Y EXPRESIONES

OPERADORES Y EXPRESIONES OPERADORES Y EXPRESIONES Una expresión es una combinación de variables, literales y operadores, que representan un valor Operadores aritméticos Operador Función + suma - resta * producto / división % operador

Más detalles

INSTITUTO DE AYUDA POLITÉCNICA Quisquís 1020 entre Avenida del Ejército y García Moreno. 2282705 086412883

INSTITUTO DE AYUDA POLITÉCNICA Quisquís 1020 entre Avenida del Ejército y García Moreno. 2282705 086412883 . PROPOSICIONES PROPOSICIÓN: Una proposición es una unidad semántica que, o sólo es verdadera o sólo es falsa. Por esta razón, las oraciones que no son falsas ni verdaderas, las que son falsas y verdaderas

Más detalles

Lógica. Lógica Proposicional. Cuáles de las siguientes frases son proposiciones? Proposición

Lógica. Lógica Proposicional. Cuáles de las siguientes frases son proposiciones? Proposición Lógica Lógica Proposicional Escuela de Ingeniería Industrial Pontificia Universidad Católica de Valparaíso, Chile rgatica@ucv.cl Proposición Definición: Una proposición o enunciado es una frase que a la

Más detalles

Horas Trabajo Estudiante: 128

Horas Trabajo Estudiante: 128 PROGRAMAS DE:: CIIENCIIAS BÁSIICAS E IINGENIIERÍÍAS DEPARTAMENTO DE MATEMÁTIICAS Y ESTADÍÍSTIICA CONTENIIDOSS PPROGRAMÁTIICOSS PPOR UNIIDADESS DE APPRENDIIZAJJE Curso: Créditos: 3 Lógica Matemática Horas

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

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

TEMA 1: GEOMETRÍA EN EL ESPACIO

TEMA 1: GEOMETRÍA EN EL ESPACIO MATEMÁTICA 2do año A y B Marzo, 2012 TEMA 1: GEOMETRÍA EN EL ESPACIO Ejercicio 1: Indica si cada una de las siguientes proposiciones es verdadera o falsa: Por un punto pasa una recta y una sola Dos puntos

Más detalles

GUIA DE TRABAJOS TEORICO PRACTICO N 1: LÓGICA DE LAS PROPOSICIONES

GUIA DE TRABAJOS TEORICO PRACTICO N 1: LÓGICA DE LAS PROPOSICIONES CENTRO EDUCATIVO DE NIVEL TERCIARIO N 2 INTRODUCCIÓN A LA LOGICA SIMBOLICA PRIMER AÑO AÑO: 2005 GUIA DE TRABAJOS TEORICO PRACTICO N 1: LÓGICA DE LAS PROPOSICIONES La lógica es una ciencia formal, o sea,

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

Soluciones oficiales de los problemas de la Final de la XXI Olimpiada Nacional de Matemática 2009

Soluciones oficiales de los problemas de la Final de la XXI Olimpiada Nacional de Matemática 2009 Soluciones oficiales de los problemas de la Final de la XXI Olimpiada Nacional de Matemática 009 Comisión Académica 1 Nivel Menor Problema 1. Considere un triángulo cuyos lados miden 1, r y r. Determine

Más detalles

Capítulo 2 Conjuntos. 2.1 Introducción. 2.2 Determinación de conjuntos. Definición:

Capítulo 2 Conjuntos. 2.1 Introducción. 2.2 Determinación de conjuntos. Definición: Capítulo 2 Conjuntos 2.1 Introducción El concepto de conjunto, de singular importancia en la ciencia matemática y objeto de estudio de una de sus disciplinas más recientes, está presente, aunque en forma

Más detalles

Conjuntos. () April 4, / 32

Conjuntos. () April 4, / 32 Conjuntos En general, un conjunto A se de ne seleccionando los elementos de un cierto conjunto U de referencia (o universal) que cumplen una determinada propiedad. () April 4, 2014 1 / 32 Conjuntos En

Más detalles

Universidad de Puerto Rico Departamento de Matemáticas MATE 3023 Repaso 2(Lógica)

Universidad de Puerto Rico Departamento de Matemáticas MATE 3023 Repaso 2(Lógica) Universidad de Puerto Rico Departamento de Matemáticas MATE 3023 Repaso 2(Lógica) Apellidos: No. Estudiante: Nombre: Sección: Conceptos Básicos de Lógica: Lógica es el estudio de como razonar correctamente.

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

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

Semana02[1/23] Conjuntos. 9 de marzo de Conjuntos

Semana02[1/23] Conjuntos. 9 de marzo de Conjuntos Semana02[1/23] 9 de marzo de 2007 Introducción Semana02[2/23] La teoría de conjuntos gira en torno a la función proposicional x A. Los valores que hacen verdadera la función proposicional x A son aquellos

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

RESPUESTAS REPARTIDO 3 PARA ESCRITO TEORICO Diego Danieli 2IA UTU BUCEO AXIOMAS - TEOREMAS CÓMO SE CONSTRUYE LA GEOMETRIA MODERNA?

RESPUESTAS REPARTIDO 3 PARA ESCRITO TEORICO Diego Danieli 2IA UTU BUCEO AXIOMAS - TEOREMAS CÓMO SE CONSTRUYE LA GEOMETRIA MODERNA? AXIOMAS - TEOREMAS CÓMO SE CONSTRUYE LA GEOMETRIA MODERNA? FUNDAMENTOS 1 Comenzó siendo un conjunto de reglas y conocimientos obtenidos por la experiencia, usados por los constructores y medidores de terrenos.

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

Eje 2. Razonamiento lógico matemático

Eje 2. Razonamiento lógico matemático Razonamiento deductivo e inductivo La historia de las matemáticas se remonta al antiguo Egipto y Babilonia. Ante la necesidad de resolver problemas a través de errores y victorias, estas culturas lograron

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

UNIVERSIDAD NACIONAL DE SANTIAGO DEL ESTERO

UNIVERSIDAD NACIONAL DE SANTIAGO DEL ESTERO UNIVERSIDAD NACIONAL DE SANTIAGO DEL ESTERO FACULTAD DE CIENCIAS EXACTAS Y TECNOLOGÍAS L Ó G I C A Carrera: Programador Universitario en Informática Equipo Docente: Miriam Alagastino Ximena Villarreal

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

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

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

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

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

TABLA DE CONTENIDO DEL ÁREA DE MATEMÁTICAS:

TABLA DE CONTENIDO DEL ÁREA DE MATEMÁTICAS: TABLA DE CONTENIDO DEL ÁREA DE MATEMÁTICAS: Las Siguientes tablas de contenido fueron determinadas a partir de la guía de evaluación de graduandos 2016 y currículum nacional base (CNB) de la carrera de

Más detalles

Tutoría Completa - Curso de Matemática para 1, 2 y 3 Básico

Tutoría Completa - Curso de Matemática para 1, 2 y 3 Básico Tutoría Completa - Curso de Matemática para 1, 2 y 3 Básico Contenido 1 Básico 1. Proposiciones y cuantificadores a. Proposiciones b. Negación c. Conjunción d. Disyunción e. Condicional f. Doble condicional

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

MA3002. Matemáticas Avanzadas para Ingeniería: Números Complejos. Departamento de Matemáticas. Introducción. Igualdad. Suma y resta.

MA3002. Matemáticas Avanzadas para Ingeniería: Números Complejos. Departamento de Matemáticas. Introducción. Igualdad. Suma y resta. MA3002 Los números complejos, simbolizados por C, son una generalización los números reales. Una generalización algebraica muy interesante: Toda ecuación polinomial c n z n + c n 1 z n 1 + + c 1 z + c

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

MATEMÁTICAS DISCRETAS. Alberto Soto Aguilar

MATEMÁTICAS DISCRETAS. Alberto Soto Aguilar UNIVERSIDAD ESTATAL A DISTANCIA ESCUELA DE CIENCIAS EXACTAS Y NATURALES GUÍA DE ESTUDIO PARA EL CURSO 841 MATEMÁTICAS DISCRETAS Alberto Soto Aguilar 2007 Producción Académica Licda Ana M a Sandoval Poveda

Más detalles

APUNTES DE GEOMETRÍA ANALÍTICA

APUNTES DE GEOMETRÍA ANALÍTICA CAPÍTULO 1: LA RECTA EN EL PLANO Conceptos Primitivos: Punto, recta, plano. APUNTES DE GEOMETRÍA ANALÍTICA Definición 1 (Segmento) Llamaremos segmento a la porción de una línea recta comprendida entre

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

Matemáticas Discretas TC1003

Matemáticas Discretas TC1003 Matemáticas Discretas TC1003 Relaciones entre Conjuntos: Propiedades Departamento de Matemáticas / Centro de Sistema Inteligentes ITESM Relaciones entre Conjuntos: Propiedades Matemáticas Discretas - p.

Más detalles

Un poco de Lógica...

Un poco de Lógica... Seminario Universitario Matemática Módulo 1 Un poco de Lógica... Introducción La matemática exige un lenguaje claro y preciso, es decir que no admita ambigüedades. Para lograrlo, se vale de la lógica simbólica

Más detalles

EJERCICIOS SOBRE PROPOSICIÓN. DEFINICIÓN Y CLASES

EJERCICIOS SOBRE PROPOSICIÓN. DEFINICIÓN Y CLASES INSTRUCCIÓN. Resuelve los problemas propuestos del modo siguiente: primero en forma individual, luego en forma grupal y por último preséntalo en forma grupal en un máximo de cinco (05) integrantes. EJERCICIOS

Más detalles

Motivaciones históricas en la construcción de lógicas multivaluadas. Susan Haack, Filosofía de las lógicas (1978), capítulo 11

Motivaciones históricas en la construcción de lógicas multivaluadas. Susan Haack, Filosofía de las lógicas (1978), capítulo 11 Motivaciones históricas en la construcción de lógicas multivaluadas Susan Haack, Filosofía de las lógicas (1978), capítulo 11 Repaso Las lógicas multivaluadas son aquellas en donde hay más de dos valores

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

Escuela de Ingeniería - Universidad de Chile Escuela de Verano 2011 Matemáticas III. Guía de Problemas N 1 *

Escuela de Ingeniería - Universidad de Chile Escuela de Verano 2011 Matemáticas III. Guía de Problemas N 1 * Escuela de Ingeniería - Universidad de Chile Escuela de Verano 2011 Matemáticas III Profesor: Pablo Dartnell Auxiliares: Roberto Castillo y Andrés Zúñiga Guía de Problemas N 1 * P1.- Sean p, q y r proposiciones.

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

1.1. PROPOSICIONES CAPÍTULO 1. LÓGICA. 1.1.4. Tabla de verdad

1.1. PROPOSICIONES CAPÍTULO 1. LÓGICA. 1.1.4. Tabla de verdad CAPÍTULO 1 Lógica En lógica se analiza, entre otros muchos temas, si un razonamiento dado es correcto o no. Si bien sus aplicaciones prácticas son muy diversas, mencionaremos apenas dos: en las demostraciones

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

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

EJEMPLO DE PREGU,TAS

EJEMPLO DE PREGU,TAS EJEMPLO DE PREGU,TAS MATEMÁTICAS PRIMERO, SEGU,DO Y TERCERO DE BACHILLERATO 1. Lógica proposicional Esta competencia se refiere al conocimiento que usted posee sobre el lenguaje de las proposiciones y

Más detalles

TRABAJO PRACTICO Nº 1 FUNDAMENTOS DE LOGICA SIMBOLICA Y TEORIA DE CONJUNTOS

TRABAJO PRACTICO Nº 1 FUNDAMENTOS DE LOGICA SIMBOLICA Y TEORIA DE CONJUNTOS Trabajo Práctico Nº 1 Fundamentos de Lógica Simbólica y Teoría de Conjuntos. TRABAJO PRACTICO Nº 1 FUNDAMENTOS DE LOGICA SIMBOLICA Y TEORIA DE CONJUNTOS FUNDAMENTOS DE LOGICA SIMBOLICA 1) Para describir

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