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

Documentos relacionados
Capítulo 4. Lógica matemática. Continuar

Introducción a la Lógica

MATEMÁTICAS BÁSICAS LÓGICA MATEMÁTICA CONCEPTO DE LÓGICA MATEMÁTICA

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

Apuntes de Lógica Proposicional

Forma lógica de enunciados

SISTEMA DE NUMEROS REALES

Definición y representación de los

COLEGIO NUESTRO SEÑOR DE LA BUENA ESPERANZA

Operaciones con conjuntos (ejercicios)

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

John Venn Matemático y filósofo británico creador de los diagramas de Venn

Es toda la información que utiliza el computador. Según sea la información que guardemos en los datos, se clasifican en los siguientes tipos:

LICENCIATURA EN MATEMÁTICA. Práctico N 1 Lenguaje de la lógica. proposicional VICTOR GALARZA ROJAS 1 5 / 0 5 /

PROGRAMACIÓN. UNIDAD II. ALGORITMO PROFA : HAU MOY

ALGEBRA DE BOOLE George Boole C. E. Shannon E. V. Hungtington [6]

Lógica Proposicional. Guía Lógica Proposicional. Tema III: Cuantificadores

LÓGICA MATEMÁTICA O FORMAL O SIMBÓLICA

Conjuntos, relaciones y funciones Susana Puddu

Matemáticas Básicas para Computación

Introd. al Pens. Científico Nociones básicas de la lógica ClasesATodaHora.com.ar

En general, un conjunto A se define seleccionando los elementos de un cierto conjunto U de referencia que cumplen una determinada propiedad.

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

TEORÍA DE CONJUNTOS A ={ 1, 2, 3, 4, 5, 6 }

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

UNIDAD I: LÓGICA PROPOSICIONAL

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

Lógica proposicional. Ivan Olmos Pineda

MATEMÁTICAS DISCRETAS. UNIDAD 2 Algebras Booleanas y Circuitos Combinatorios

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

personal.us.es/elisacamol Elisa Cañete Molero Curso 2011/12

Para representar los conjuntos, los elementos y la relación de pertenencia, mediante símbolos, tendremos en cuenta las siguientes convenciones:

Universidad Nacional Abierta y a Distancia UNAD-Lógica Matemática - Georffrey Acevedo G. A que viene la lógica?

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

CAPÍTULO II TEORÍA DE CONJUNTOS

GUÍAS DE ESTUDIO. Programa de alfabetización, educación básica y media para jóvenes y adultos

MATEMÁTICAS BÁSICAS. Autora: Jeanneth Galeano Peñaloza Edición: Oscar Guillermo Riaño

GUÍA BÁSICA DE SCHEME v.4

2. EXPRESIONES 3. OPERADORES Y OPERANDOS 4. INDENTIFICADORES COMO LOCALIDADES DE MEMORIA

UNIDAD 4. Álgebra Booleana

Ficha de Aprendizaje N 13

Introducción. Lógica de proposiciones: introducción. Lógica de proposiciones. P (a) x. Conceptos

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

ƒ : {(1, 4), (2, 5), (3, 6), (4, 7)}.

Matemáticas Propedéutico para Bachillerato

Un conjunto es un grupo, una colección de objetos; a estos objetos se les llama miembros o elementos del conjunto.

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

Conjuntos Los conjuntos se emplean en muchas áreas de las matemáticas, de modo que es importante una comprensión de los conjuntos y de su notación.

Horas Trabajo Estudiante: 128

Algoritmos. Medios de expresión de un algoritmo. Diagrama de flujo

ÁLGEBRA DE BOOLE. 1.- Postulados de HUNTINGTON

NOCIONES PRELIMINARES (*) 1

LOS NUMEROS IRRACIONALES Y SU REPRESENTACIÓN EN LA RECTA NUMERICA

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

Acuerdo 286 Matemáticas

UNIVERSIDAD POPULAR DEL CESAR DEPATAMENTO DE MATEMATICA Y ESTADISTICA ALGEBRA DE BOOLE

Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción

Elementos de un programa en C

Algoritmos y solución de problemas. Fundamentos de Programación Otoño 2008 Mtro. Luis Eduardo Pérez Bernal

CAPÍTULO 2 NOCIONES BÁSICAS DE TEORÍA DE CONJUNTOS

Electrónica Digital - Guión

Tutorial MT-b11. Matemática Tutorial Nivel Básico. Inecuaciones e intervalos

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

Capítulo 7 OPERADORES Y EXPRESIONES. Presentación resumen del libro: "EMPEZAR DE CERO A PROGRAMAR EN lenguaje C"

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

Algebra de Boole. Algebra de Boole. Ing. José Alberto Díaz García. EL Diseño Lógico. Página 1

4 ; 3. d) 2 y 5 3. a) 2,2 b) c) 2,24 d) 2,236 e) 2,23607

UNIDAD I. ALGORITMOS

GEOMETRÍA. que pasa por el punto P y es paralelo a π. (0,9 puntos) b) Determinar la ecuación del plano π

INSTITUTO SUPERIOR TECNOLÓGICO NORBERT WIENER

Reconocer y analizar oraciones coordinadas y yuxtapuestas

II

El concepto de número

SEMINARIO MENOR DIOCESANO SAN JOSE DE CUCUTA LA JUVENTUD A JESUCRISTO QUEREMOS DEVOLVER PLAN DEMEJORAMIENTO 2012

T. P. Números Racionales: Q. a es igual a 1?, cuándo es menor?, cuándo es mayor?

Introducción. El uso de los símbolos en matemáticas.

CONSERVACION DE LA VERDAD EN LOS ARGUMENTOS INFORMALES?

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

Profesor(a): M. A. Zeferino Galarza Hernández

Matemáticas Discretas

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

Curso SIG. Curso SIG Conceptos Básicos y Funciones. Conceptos Básicos y Funciones. Representaciones del mundo. Curso SIG - Pablo Rebufello 1

Matemáticas financieras

1. Según la naturaleza del verbo principal 2. Según el significado de la oración 3. Según la estructura de la oración

NOCIONES ELEMENTALES DE LÓGICA MATEMÁTICA

Probabilidad y Estadística

INSTITUTO DE FORMACIÓN DOCENTE DE CANELONES DIVISIBILIDAD

Algoritmos y Programas

GUÍA DE EJERCICIOS CONCEPTOS FUNDAMENTALES

VERSIÓN 0. Una proposición equivalente a la proposición compuesta: Tengo un celular nuevo, siempre que disfruto la Navidad y tengo una mascota, es:

ESTRUCTURA Y TECNOLOGÍA DE LOS COMPUTADORES I. TEMA 4 Algebra booleana y puertas lógicas

Haydee Jiménez Tafur Grupo de Algebra. Universidad Pedagógica Nacional Estudiante de maestría en Matemáticas. Universidad Nacional de Colombia.

Tema 3.- Predicados y sentencias condicionales

Tema 2. Fundamentos de la Teoría de Lenguajes Formales

PARTE II LÓGICA COMPUTACIONAL

Tienes una hora y media para resolver el examen. Suerte!

Unidad Didáctica 2. Elementos básicos del lenguaje Java Tipos, declaraciones, expresiones y asignaciones

PROBLEMAS DE CORTE EUCLIDIANO

Asignatura: Matemática Fundamental [405036M-02] Taller 1 Lenguaje Simbólico y lógica proposicional

Conceptos básicos necesarios en la asignatura de Fundamentos de Ordenadores (ETSETB)

Transcripción:

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.

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 proporciona reglas y técnicas para determinar si es o no valido un argumento dado. El razonamiento lógico se emplea en Matemáticas para demostrar teoremas, sin embargo, se usa en forma constante para realizar cualquier actividad en la vida.

DEFINICIÓN Y CLASES DE PROPOSICIONES Una proposición o enunciado es una oración que puede ser falsa o verdadera pero no ambas a la vez. Toda proposición consta de tres partes: un sujeto, un verbo y un complemento referido al verbo. Las proposiciones se indican por medio de una letra minúscula, dos puntos y la proposición propiamente dicha. Ejemplos. Los enunciados p y q pueden tomar un valor de falso o verdadero, por lo tanto, son proposiciones p: México se encuentra en Europa. validas. El inciso r también es una proposición valida, q: 15-6 = 9 aunque el valor de falso o verdadero depende del valor asignado a la variable x en determinado r: 2x -3 > 7 momento. La proposición del inciso s también esta s: Los precios de los teléfonos celulares bajarán a fin de año. perfectamente expresada aunque para decir si es falsa o verdadera se tendría que esperar a que t: Hola cómo estás? terminara el año. Sin embargo, los enunciados t y w w: Cómete esa fruta! no son válidos, ya que no pueden tomar un valor de falso o verdadero, uno de ellos es un saludo y el otro es una orden.

UNA PROPOSICIÓN PUEDE SER: Simples si sólo tienen un sujeto, un verbo y un complemento. En caso contrario, son proposiciones Compuestas. Cerradas si tienen determinado el sujeto. Abiertas si no lo tienen determinado. Afirmativas o Negativas. Según lo afirmen o nieguen. Verdaderas o Falsas según correspondan o no a la realidad.

EJEMPLOS h: "Ana come pizza y bebe refresco", es una proposición compuesta, cerrada y afirmativa. j: "Ella no nada muy rápido", es una proposición simple, abierta y negativa. k: Cuernavaca no está al norte del D.F. y no hace frío", es una proposición compuesta, cerrada, negativa y verdadera. l: 7 + 3 =10 es una proposición simple, cerrada, afirmativa y verdadera. m: 2 2 x ¹ x - es una proposición simple, abierta y negativa. n: a + b = 6 es una proposición compuesta, abierta y afirmativa.

Escribe en tu cuaderno 3 proposiciones con las características mencionadas.

CONECTIVOS LÓGICOS EN PROPOSICIONES COMPUESTAS Existen conectivos u operadores lógicos que permiten formar proposiciones compuestas, es decir, formadas por varias proposiciones. Los operadores o conectores básicos son: Conjunción Disyunción Negación

CONJUNCIÓN Se utiliza para conectar dos proposiciones que se deben cumplir para que se pueda obtener un resultado verdadero. Su símbolo es Ejemplo. Sea el siguiente enunciado: "Voy al cine cuando hay una buena película y cuando tengo dinero " Sean: p: Voy al cine. q: Hay una buena película. r: Tengo dinero. De tal manera que la representación del enunciado anterior usando simbología lógica es como sigue: p = q r

DISYUNCIÓN Con este operador se obtiene un resultado verdadero cuando alguna de las proposiciones es verdadera. Su símbolo es Ejemplo. Sea el siguiente enunciado: Para ir a Toluca puedo tomar la carretera federal o tomar la autopista de cuota Sean: p: Ir a Toluca. q: Tomar la carretera federal. r: Tomar la autopista de cuota. p = q r

NEGACIÓN Su función es negar la proposición. Esto significa que sí alguna proposición es verdadera y se le aplica el operador NEGACIÓN se obtendrá lo contrario (falso) y viceversa. Este operador se indica por medio del símbolo Ejemplo. Sea el siguiente enunciado: El león es el rey de la selva Sean: p: El león es el rey de la selva. p: El león no es el rey de la selva.

RELACIÓN ENTRE LOS OPERADORES Y EL DIAGRAMA DE VENN CONJUNCIÓN (intersección): p = q r Voy al cine cuando hay una buena película y cuando tengo dinero DISYUNCIÓN (unión): p = q r Para ir a Toluca puedo tomar la carretera federal o tomar la autopista de cuota NEGACIÓN (complemento): p: El león no es el rey de la selva.

EJERCICIOS Realiza el diagrama de Venn, de las siguientes proposiciones: Los estudiantes ven clases de matemáticas y español. Quiero ir a la playa en Enero o en Febrero. A algunas personas les gusta ir al cine, al teatro pero no al parque. Hay niños que juegan videojuegos de aventura, acción y autos.