MATEMÁTICAS BÁSICAS. 23 de febrero de Universidad Nacional de Colombia MATEMÁTICAS BÁSICAS
|
|
|
- Ana Castillo Giménez
- hace 7 años
- Vistas:
Transcripción
1 23 de febrero de 2009
2 Parte I Lógica
3 Proposiciones Considere las siguientes frases Páseme el lápiz = = 2 5 Qué hora es? En Bogotá todos los días llueve Yo estoy mintiendo Maradona fue mejor jugador que Pelé.
4 Proposiciones Considere las siguientes frases Páseme el lápiz. Es una orden = 5. Es verdadero = 2 5. Es falso Qué hora es? Es una pregunta. En Bogotá todos los días llueve. Es falso. Yo estoy mintiendo. Es una paradoja. Maradona fue mejor jugador que Pelé. Es una opinión.
5 Proposiciones Definición Una proposición es un enunciado u oración declarativa de la cual se puede afirmar que es falsa (F) o verdadera (V) pero no ambas cosas a la vez
6 Proposiciones Proposiciones Compuestas Son aquellas que están formadas por proposiciones simples, su valor de verdad depende de los valores de verdad de cada una de las proposiciones simples y del tipo de conectivo.
7 Proposiciones Ejemplos Julián estudia química y música. Si compro el libro, entonces no voy a cine.
8 Conectivos lógicos Los siguientes son los conectivos lógicos más usados Los conectivos lógicos son las palabras como y, o, no, si... entonces, que permiten combinar proposiciones simples para producir otras, llamadas proposiciones compuestas. Sus símbolos son: Negación Conjunción Disyunción ó exclusivo Condicional Bi condicional
9 Proposiciones Ejemplo Julián estudia química y música. Es un enunciado de la forma p q, donde p : q : Julián estudia química, Julián estudia música.
10 Proposiciones Ejercicio Simbolizar las siguientes proposiciones en términos de p, q, r. Este semestre inscribí Inglés I y Matemáticas Básicas. O inicio clases esta semana, ó presto el servicio militar. Si termino la carrera, entonces hago una maestría. Si paso Matemáticas Básicas, entonces puedo ver Cálculo Diferencial. Puedo ver Inglés II si pasó Inglés I. Mañana a las 9 am, o voy a jugar fútbol, ó a estudiar a la biblioteca.
11 Proposiciones Ejercicio Simbolizar las siguientes proposiciones matemáticas. Dos es mayor que cinco. Cuatro no es un número impar. Cinco es igual a tres o cinco es mayor que seis. No es cierto que: si un número es par entonces es primo. Si ocho es menor que cinco o mayor que siete, entonces no es igual a seis.
12 Proposiciones Ejercicio Negar las siguientes proposiciones. El viento sopla muy fuerte. El amigo de Juan tiene razón. No ocurre que 3 7. Las elecciones presidenciales siempre terminan en armonía.
13 Proposiciones Proposiciones Si p y q son proposiciones simples, entonces p, q, p q, q p, p q, q p, p q, q p, p q, q p también lo son.
14 Negación Negación Dada una proposición p, llamaremos a p la negación de p. Si p es verdadera (V) p es falsa (F), si p es falsa entonces p es verdadera. p se lee como no p es falso que... no es cierto que...
15 Negación Negación Dada una proposición p, llamaremos a p la negación de p. Si p es verdadera (V) p es falsa (F), si p es falsa entonces p es verdadera. p se lee como no p es falso que... no es cierto que...
16 Negación Negación Dada una proposición p, llamaremos a p la negación de p. Si p es verdadera (V) p es falsa (F), si p es falsa entonces p es verdadera. p se lee como no p es falso que... no es cierto que...
17 Negación Negación p V F p
18 Negación Negación p p V F F
19 Negación Negación p p V F F V
20 Conjunción Conjunción Dadas las proposiciones p, q, a la proposición p q se le denomina la conjunción de p y q, y será verdadera cuando los dos enunciados p, q sean simultáneamente verdaderos, y falsa en cualquier otro caso. p q se lee p y q
21 Conjunción Conjunción p q p q V V V F F V F F
22 Conjunción Conjunción p q p q V V V V F F V F F
23 Conjunción Conjunción p q p q V V V V F F F V F F
24 Conjunción Conjunción p q p q V V V V F F F V F F F
25 Conjunción Conjunción p q p q V V V V F F F V F F F F
26 Disyunción Disyunción Dadas las proposiciones p, q a la proposición p q se le denomina la disyunción de p con q, la cual será verdadera cuando al menos una de las dos sea verdadera, esto es la disyunción es falsa únicamente cuando las dos proposiciones sean falsas. p q se lee p o q
27 Disyunción Disyunción p q p q V V V F F V F F
28 Disyunción Disyunción p q p q V V V V F F V F F
29 Disyunción Disyunción p q p q V V V V F V F V F F
30 Disyunción Disyunción p q p q V V V V F V F V V F F
31 Disyunción Disyunción p q p q V V V V F V F V V F F F
32 Disyunción exclusiva Disyunción exclusiva Dadas las proposiciones p, q, la proposición p q se conoce como la disyunción exclusiva de p y q, la cual es verdadera cuando una es verdadera y la otra es falsa. p q se lee p ó exclusivo q
33 Disyunción exclusiva Disyunción exclusiva p q p q V V V F F V F F
34 Disyunción exclusiva Disyunción exclusiva p q p q V V F V F F V F F
35 Disyunción exclusiva Disyunción exclusiva p q p q V V F V F V F V F F
36 Disyunción exclusiva Disyunción exclusiva p q p q V V F V F V F V V F F
37 Disyunción exclusiva Disyunción exclusiva p q p q V V F V F V F V V F F F
38 Condicional o implicación Condicional o implicación Dadas las proposiciones p, q a la proposición p q la denominaremos condicional, la cual es verdadera en todos los casos salvo en el caso en que p sea verdadero y q sea falso. p q se lee Si p entonces q p solo si q p es condición suficiente para q q es condición necesaria para p
39 Condicional o implicación Condicional o implicación Dadas las proposiciones p, q a la proposición p q la denominaremos condicional, la cual es verdadera en todos los casos salvo en el caso en que p sea verdadero y q sea falso. p q se lee Si p entonces q p solo si q p es condición suficiente para q q es condición necesaria para p
40 Condicional o implicación Condicional o implicación Dadas las proposiciones p, q a la proposición p q la denominaremos condicional, la cual es verdadera en todos los casos salvo en el caso en que p sea verdadero y q sea falso. p q se lee Si p entonces q p solo si q p es condición suficiente para q q es condición necesaria para p
41 Condicional o implicación Condicional o implicación Dadas las proposiciones p, q a la proposición p q la denominaremos condicional, la cual es verdadera en todos los casos salvo en el caso en que p sea verdadero y q sea falso. p q se lee Si p entonces q p solo si q p es condición suficiente para q q es condición necesaria para p
42 Condicional o implicación Condicional p q p q V V V F F V F F
43 Condicional o implicación Condicional p q p q V V V V F F V F F
44 Condicional o implicación Condicional p q p q V V V V F F F V F F
45 Condicional o implicación Condicional p q p q V V V V F F F V V F F
46 Condicional o implicación Condicional p q p q V V V V F F F V V F F V
47 Bi-condicional, equivalencia o doble implicación Bi-condicional, equivalencia o doble implicación Dadas las proposiciones p, q a la proposición p q la denominaremos bi-condicional, la cual es verdadera cuando p y q tomen el mismo valor de verdad. p q se lee p si y sólo si q p es condición necesaria y suficiente para q
48 Bi-condicional, equivalencia o doble implicación Bi-condicional, equivalencia o doble implicación Dadas las proposiciones p, q a la proposición p q la denominaremos bi-condicional, la cual es verdadera cuando p y q tomen el mismo valor de verdad. p q se lee p si y sólo si q p es condición necesaria y suficiente para q
49 Bi-condicional, equivalencia o doble implicación Bi-condicional p q p q V V V F F V F F
50 Bi-condicional, equivalencia o doble implicación Bi-condicional p q p q V V V V F F V F F
51 Bi-condicional, equivalencia o doble implicación Bi-condicional p q p q V V V V F F F V F F
52 Bi-condicional, equivalencia o doble implicación Bi-condicional p q p q V V V V F F F V F F F
53 Bi-condicional, equivalencia o doble implicación Bi-condicional p q p q V V V V F F F V F F F V
54 Tablas de verdad Cuántas posibilidades se dan para determinar el valor de verdad de una proposición? Depende del número de proposiciones, sabiendo que cada una de ellas tiene dos valores posibles Si el número de proposiciones es n entonces el número de posibilidades es...
55 Diagrama de Árbol
56 Eliminación de algunos paréntesis Reglas Regla 1 El es más potente que otros términos de enlace. Regla 2 El signo de negación es más débil que cualquiera de los otros tres términos de enlace.
57 Eliminación de algunos paréntesis Ejemplo Junto a cada una de las siguientes proposiciones se indica el tipo de proposición al que pertenece. Añadir sólo los paréntesis necesarios. condicional disyunción conjunción negación condicional conjunción p q r p q r r s t p q p q r p q r
58 Tautologías y Contradicciones Definición Una tautología es una proposición cuyo valor de verdad es verdadero independientemente de los valores de verdad de las proposiciones que la componen. Si la proposición es una equivalencia, se dice que las dos proposiciones que ella conecta son lógicamente equivalentes. Si es una implicación, la primera proposición implica lógicamente a la segunda. Una contradicción es una proposición cuyo valor de verdad siempre es falso.
59 Equivalencia lógica Definición Diremos que dos fórmulas son equivalentes si tienen exactamente la misma tabla de verdad, para indicar esto, usaremos el símbolo.
60 Equivalencia lógica Ejemplos p p p p p p
61 Equivalencia lógica Ejemplo. Ley conmutativa p q q p p q q p
62 Equivalencia lógica Ejemplos p p es una tautología p p es una contradicción p p
63 Equivalencia lógica Ejemplo. Ley asociativa p (q r) (p q) r p (q r) (p q) r
64 Equivalencia lógica Ejemplo. Ley distributiva p (q r) (p q) (p r) p (q r) (p q) (p r)
65 Equivalencia lógica Ejemplo. Leyes de De Morgan (p q) p q (p q) p q
66 Equivalencia lógica Ejemplo. Negación del condicional y del bi-condicional (p q) p q (p q) p q p q
67 Equivalencia lógica Ejemplos p q q p p q (p q) (q p)
68 IMPORTANTE!!! La proposición original y su contrarrecíproca son equivalentes Original Contrarrecíproca Original Contrarrecíproca p q p q q p V V V V V F F F F V V V F F V V
69 IMPORTANTE!!! La proposición contraria y la recíproca son equivalentes Contraria Recíproca Original Contraria recíproca p q p q p q q p V V V V V V F F V V F V V F F F F V V V
70 Proposiciones Ejercicio Escriba la contraria, la recíproca y la contrarrecíproca de las siguientes proposiciones Si nací en Bogotá entonces nací en Colombia Si no compro el iphone entonces compro el ipod.
71 Predicados Definición Un predicado es una frase en la cual intervienen variables, se transforma en proposición al ser reemplazadas las variables por constantes.
72 Predicados Ejemplo Consideremos la proposición p : x > 4 Cuál es el valor de verdad de p? Cuál es el contexto en el que la proposición tiene sentido? Cuál es el conjunto más grande en el cual la proposición se hace verdadera?
73 Predicados Ejemplo Consideremos la proposición p : x > 4 Cuál es el valor de verdad de p? Cuál es el contexto en el que la proposición tiene sentido? Cuál es el conjunto más grande en el cual la proposición se hace verdadera?
74 Predicados Ejemplo Consideremos la proposición p : x > 4 Cuál es el valor de verdad de p? Cuál es el contexto en el que la proposición tiene sentido? Cuál es el conjunto más grande en el cual la proposición se hace verdadera?
75 Predicados Ejercicio Dado que x = 4, y = 2 y z = 5, encuentre el valor de verdad de (x + y = 6 y z < 0) ó z = 0. x = 0 y (y + z > x ó z = 0). y + z = z + y y 0 + x = x. y + x > y + x + z o z = 0.
76 Cuantificadores Cuantificadores universales y existenciales Las palabras todo, cada uno, todos y ninguno se denominan cuantificadores universales. Las palabras y frases como hay y al menos uno se conocen como cuantificadores existenciales.
77 Cuantificadores Notación El cuantificador universal se simboliza por, ( x)(p(x)) se lee para todo x se satisface p(x). El cuantificador existencial se simboliza por, ( x)(p(x)) se lee existe un x que satisface p(x).
78 Cuantificadores Ejemplos Todas las niñas en esta clase visten de rosado. Todos los hombres de esta clase son caballeros. Todos los estudiantes de esta clase están inscritos en Inglés I. Algunos estudiantes de esta clase están repitiendo la materia. Ningún estudiante de esta clase usa tenis rojos. Cuál es la negación de cada una de las proposiciones anteriores?
79 Ejercicio Determine el valor de verdad de cada una de las siguientes proposiciones Todo entero no negativo es un entero Todo número natural es un entero Existe un número racional que no es un entero Existe un número entero que no es natural Todos los números racionales son reales Algunos números racionales no son enteros
80 Cuantificadores Negación de cuantificadores La negación de para todo x se tiene el predicado p(x) es: existe un x para el cual NO se cumple p(x). En símbolos (( x)(p(x))) ( x)( (p(x))) La negación de existe un x para el cual se tiene p(x) es: para todo x NO se cumple que p(x). En símbolos: (( x)(p(x))) ( x)( (p(x)))
81 Negación de cuantificadores Ejercicio Escriba la negación de las siguientes proposiciones. Algunos estudiantes aprobarán este curso. Todos los estudiantes de la Universidad aman las matemáticas. Ningún estudiante es perfecto. Hay estudiantes más inteligentes que Einstein.
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
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
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í
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.
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
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
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
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
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
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
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
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
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
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
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](/thumbs/49/25492005.jpg "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)
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,
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
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.
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.
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
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
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
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
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
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
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
Benemérita Universidad Autónoma de Puebla
Tarea No. 1 Matemáticas Elementales Profesor Fco. Javier Robles Mendoza Benemérita Universidad Autónoma de Puebla Facultad de Ciencias de la Computación Lógica y Conjuntos 1. Considere las proposiciones
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
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
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
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
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
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
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.
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
En matemáticas el concepto de conjunto es considerado primitivo y no se da una definición de este, por lo tanto la palabra CONJUNTO debe aceptarse
En matemáticas el concepto de conjunto es considerado primitivo y no se da una definición de este, por lo tanto la palabra CONJUNTO debe aceptarse lógicamente como un término no definido. Un conjunto se
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
La Lógica estudia la forma del razonamiento. La Lógica Matemática es la disciplina que trata de métodos de razonamiento. En un nivel elemental, la
LÓGICA MATEMÁTICA OBJETIVOS Definirás proposición simple. Definirás proposiciones compuestas: Disyunción y conjunción. Relacionarás dichas proposiciones con las operaciones de conjuntos: unión e intersección.
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
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.
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
REGLAS Y LEYES LOGICAS
LOGICA II REGLAS Y LEYES LOGICAS Una regla lógica, o regla de inferencia (deductiva), es una forma válida de razonamiento que es empleada para inferir deductivamente ciertos enunciados a partir de otros.
John Venn Matemático y filósofo británico creador de los diagramas de Venn
Georg Cantor Matemático Alemán creador de la teoría de conjuntos John Venn Matemático y filósofo británico creador de los diagramas de Venn August De Morgan Matemático ingles creador de leyes que llevan
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.
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 )]](/thumbs/52/30304807.jpg "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
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
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
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
Capitulo I - Lógica Matemática
UNIERSIDAD PRIADA DE MOQUEGUA JOSE CARLOS MARIATEGUI Caitulo I - Lógica Matemática Todos los tóicos relativos a las matemáticas se razonan desde el unto de vista lógico y or lo tanto hay ue tener muy en
10.4 Sistemas de ecuaciones lineales
Programa Inmersión, Verano 2016 Notas escritas por Dr. M Notas del cursos. Basadas en los prontuarios de MATE 001 y MATE 02 Clase #11: martes, 14 de junio de 2016. 10.4 Sistemas de ecuaciones lineales
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
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
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
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
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
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
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
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 -
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
Pregunta 1 Es correcta esta definición? Por qué?
TEORÍA DE CONJUNTOS. En un libro de COU de 1975 puede leerse la siguiente definición de conjunto: Un conjunto es una colección de objetos, cualquiera que sea su naturaleza. Pregunta 1 Es correcta esta
Proposiciones En nuestro lenguaje usualmente se hace uso de cuatro tipos de proposiciones, a saber:
GRUPO TEMATICO: Proposiciones lógicas. Valor de verdad de una proposición. Introducción a la teoría de conjuntos. Operaciones con conjuntos. Números enteros y su representación. Proposiciones lógicas Proposiciones
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
Semana02[1/23] Conjuntos. 9 de marzo de Conjuntos
![Semana02[1/23] Conjuntos. 9 de marzo de Conjuntos](/thumbs/53/31721818.jpg "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
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
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
UNIDAD II: TEORÍA DE CONJUNTOS 2.1. INTRODUCCIÓN
UNDD : TEORÍ DE CONJUNTOS 2.1. NTRODUCCÓN Según Georg Cantor un conjunto es la reunión, agrupación o colección de elementos bien definidos que tienen una propiedad en común, concepto que ha penetrado y
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
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
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
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
UNIVERSIDAD DE ANTIOQUIA SEMILLERO DE MATEMÁTICAS NIVEL 11 TALLER N º 2 LÓGICA MATEMÁTICA
UNIVERSIDAD DE ANTIOQUIA SEMILLERO DE MATEMÁTICAS NIVEL 11 TALLER N º 2 LÓGICA MATEMÁTICA RESEÑA HISTÓRICA Etimológicamente la palabra lógica viene del Griego "logos = razón, idea, razonamiento". Entendida
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
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
PREPARATORIA ABIERTA Cuestionario matemáticas I. Modulo I al XVI MODULO I
PREPARATORIA ABIERTA Cuestionario matemáticas I Modulo I al XVI MODULO I 1. - Es una colección o agregado de ideas u objetos de cualquier especie siempre y cuando estén tan claros y definidos como para
Curso de ingreso Matemática 0
Curso de ingreso 016 Matemática 0 Versión: Capítulo 1- Lógica y Conjuntos CAPÍTULO 1: Lógica y Conjuntos... 1.1 Proposiciones... 1. Conectivos Lógicos...5 1. Esquemas proposicionales en una indeterminada...
Curso de ingreso Matemática 0
Curso de ingreso 017 Matemática 0 CAPÍTULO 1: Lógica y Conjuntos...3 1.1 Proposiciones...3 1. Conectivos Lógicos...5 1..1 Operaciones Proposicionales...5 1.. Equivalencia lógica...1 1..3 Tautología...13
Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción
Curso 0: Matemáticas y sus Aplicaciones Tema 5. Lógica y Formalismo Matemático Leandro Marín Dpto. de Matemática Aplicada Universidad de Murcia 2012 1 Proposiciones y Conectores Lógicos 2 Tablas de Verdad
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
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,
En general, un conjunto A se define seleccionando los elementos de un cierto conjunto U de referencia que cumplen una determinada propiedad.
nidad 3: Conjuntos 3.1 Introducción Georg Cantor [1845-1918] formuló de manera individual la teoría de conjuntos a finales del siglo XIX y principios del XX. Su objetivo era el de formalizar las matemáticas
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)
Apuntes de Lógica Introducción Nociones de Lógica elemental Tablas de verdad Tautología y Contradicción Equivalencia lógica Algebra de proposiciones
Apuntes de Lógica 1. Introducción 2. Nociones de Lógica elemental.proposiciones.conjunción.disyunción.negación.condicional.bicondicional.ejercicios 3. Tablas de verdad.construcción de tablas de verdad
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
1. Construir una tabla de verdad para las siguientes proposiciones.
Universidad de Valparaíso Instituto de Matemáticas Guía de Lógica 1. Construir una tabla de verdad para las siguientes proposiciones. a) [(p r) (r p)] [p q] b) (p (p q)) (p q) c) [(p q) (q r)] (p r). Determinar
ALGEBRA DE BOOLE George Boole C. E. Shannon E. V. Hungtington [6]
![ALGEBRA DE BOOLE George Boole C. E. Shannon E. V. Hungtington [6]](/thumbs/51/28877791.jpg "ALGEBRA DE BOOLE George Boole C. E. Shannon E. V. Hungtington [6]")
ALGEBRA DE BOOLE El álgebra booleana, como cualquier otro sistema matemático deductivo, puede definirse con un conjunto de elementos, un conjunto de operadores y un número de axiomas no probados o postulados.
INTRODUCCION A LA LÓGICA DE ENUNCIADOS
INTRODUCCION A LA LÓGICA DE ENUNCIADOS Carlos S. Chinea 0. Enunciados: Lo fundamental en el lenguaje ordinario, la herramienta para manifestar las ideas, sentimientos, descripción de situaciones diversas,
Unidad 1 LÓGICA Y CONJUNTOS
Unidad 1 LÓGICA Y CONJUNTOS 1.1. Proposiciones, clases y valor de verdad 1.2. Operadores lógicos. 1.3. Negación 1.4. Conjunción 1.5. Disyunción inclusiva y exclusiva. 1.6. Condicional. 1.7. Bicondicional
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
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
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
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
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,
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
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
Inducción Matemática Conjuntos Funciones. Matemática Discreta. Agustín G. Bonifacio UNSL. Repaso de Inducción, Conjuntos y Funciones
UNSL Repaso de Inducción, y Inducción Matemática (Sección 1.7 del libro) Supongamos que queremos demostrar enunciados del siguiente tipo: P(n) : La suma de los primeros n números naturales es n(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.
Estructuras Algebraicas
Tema 1 Estructuras Algebraicas Definición 1 Sea A un conjunto no vacío Una operación binaria (u operación interna) en A es una aplicación : A A A Es decir, tenemos una regla que a cada par de elementos
Álgebra e Introducción al Cálculo Dra. Irene F. Mikenberg
Álgebra e Introducción al Cálculo Dra. Irene F. Mikenberg Álgebra e Introducción al Cálculo Dra. Irene F. Mikenberg Álgebra e Introducción al Cálculo Dra. Irene F. Mikenberg Facultad de Matemáticas Pontificia
ELEMENTOS DE LA MATEMATICA
ELEMENTOS DE LA MATEMATICA SEMESTRE: Primero CODIGO ANTERIOR: 22G7 CODIGO: 8101 REQUISITOS: No tiene CREDITOS: 6 HORAS DE TEORIA: 4 HORAS DE PRACTICA : 4 TEMA 1: Lógica simbólica. Las conectivas lógicas.
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