Mtra. Carolina Galaviz Inzunza Matemática Discreta

Slides:



Advertisements
Presentaciones similares
TABLAS DE VERDAd REPÚBLICA BOLIVARIANA DE VENEZUELA
Advertisements

VALORES DE VERDAD DE LOS CONECTIVOS LÓGICOS
equivalencia material; y b) equivalencia lógica
Proposición Atómica: Cuando se puede representar con una variable proposicional. Entre sus signos no contiene ningún conectivo lógico Proposición molecular:
VALIDEZ DE UN RAZONAMIENTO:
Lógica Proposicional.
Instalación de Computadoras
Organización de Computadoras UNLA
Fundamentos de Lógica ¿Qué es una proposición?
LOGICA Y DEMOSTRACIONES
PROFESOR: JAIME H. QUISPE CASAS TEMA : CONECTIVOS LÓGICOS
Mtra. Carolina Galaviz Inzunza Matemática Discreta
CARLOS ANDRES MONTENEGRO
Sesión 5.- Unidad I. Lógica Mtra. Carolina Galaviz Inzunza Matemática Discreta.
Álgebra I Prof: Haroldo Cornejo Olivarí.
Curso de Matemática Propedeútica
Sesión 1.- Unidad III. Técnicas de Conteo.
Lic. Carmen Aguinaga Doig
CAPÍTULO I LÓGICA Y CONJUNTOS.
LOGICA.
Lógica Proposición Ejemplos
Simbolizar Luisa no es una persona alta.
UBA XXI.
SEMANA Algebra de Boole.
Los problemas semánticos de las expresiones del Lenguaje Proposicional
Matemáticas Discretas
Lógica Proposicional.
Operaciones El álgebra booleana es una estructura matemática definida sobre el conjunto. Sean x, y variables booleanas, esto significa que sólo pueden.
Lógica Matemática Mate 3041 Universidad de Puerto Rico
DEPARTAMENTO DE FORMACIÓN GENERAL.
Aporte de la Lógica a la Matemática
Postulados del álgebra de boole
M.I.C. Héctor E. Medellín Anaya
U. Diego Portales Elementos de lógica Prof. Haroldo Cornejo O.
ESCUELAS FILOSOFICAS Y CAMBIOS PARADIGMATICOS II
LÓGICA PROPOSICIONAL Y PREDICADOS
Sesión 1 Tema: Nociones de Lógica Carrera: Técnico en Electricidad
Proposiciones lógicas
Lógica de enunciado La lógica de enunciados o de proposiciones es el nivel más básico de análisis lógico y descansa exclusivamente en las conectivas.
Curso de Teoría del Autómata
Calculo de Predicado Clase 18. Un predicado es una función que devuelve un booleano, es decir, F es un predicado si y sólo si el tipo de F es así: F :
MATEMATICA I Lógica Matemticas Prof Rubén Millán
Negación: ¬. (También: -, ~ ) Representa la partícula lingüística no o cualquiera otras partículas que incluyan la idea de negación. Al construir la negación.
Multiplicación de números enteros de distinto signo
Resultados del ejercicio % correcto prueba A confianza prueba A % correcto prueba B confianza prueba B.
Algebra Booleana.
Práctica especificación 1 Lógica proposicional
[ Arquitectura de Computadores ] SISTEMAS DIGITALES Präsentat ion Pontificia Universidad Católica de Chile Escuela de Ingeniería Departamento de Ciencia.
CÁLCULO PROPOSICIONAL
Preposiciones compuestas
Fundamentos de la Lógica
LEYES DEL ALGEBRA PROPOSICIONAL
Sesión 12.1 Álgebra de matrices.
Álgebra de conmutación
Tema: Propiedades de los determinantes
INSTITUTO TECNOLÓGICO DE TIJUANA Matemáticas discretas “Recurso” Integrantes: Escobedo Pérez Jonathan Saúl Jessica Jazmín Andalón Gómez Guadalupe de Jesús.
MÉTODOS DE DEDUCCIÓN (Partes I & II)
Equipo: Mate Kung Fu Integrantes: Contreras Delgado Anabel Número de control: Plaza Molina Enrique Alberto Número de control: Gonzalez.
Capítulo 3: Conjuntos Autor: José Alfredo Jiménez Murillo.
LSIA. Carolina Galaviz Inzunza Curso: Matemática Discreta
Sesión 5.- Unidad III. Técnicas de Conteo.
Sesión 4.- Unidad III. Técnicas de Conteo. Mtra. Carolina Galaviz Inzunza.
UNIDAD I DESPEJES.
Sesión 6.- Unidad II. Conjuntos
Sesión 5.- Unidad II. Conjuntos Mtra. Carolina Galaviz Inzunza.
Lógica Equivalencia Lógica Leyes Lógicas Circuitos Lógicos -¿Qué es?
Multiplicación de números enteros de distinto signo
Enunciados Simples Enunciados Compuestos Sistemas Tautológicos
Clases sociales PAGINA 135.
Mtra. Carolina Galaviz Inzunza Matemática Discreta
Transcripción de la presentación:

Mtra. Carolina Galaviz Inzunza Matemática Discreta Sesión 6.- Unidad I. Lógica Mtra. Carolina Galaviz Inzunza Matemática Discreta

Orden del día: 1.- Comentar lo visto en la clase anterior (5min) Pase de lista 2.-Se platicará sobre las equivalencias lógicas. 3.-Se verá el tema de tautologías, contradicciones y contingencias. 4.-Tarea, ejercicios.

1.-Comentar Qué vimos la clase pasada?

Equivalencias lógicas. Denominación. Representación lógica. Leyes equipotenciales. A→ B = AB AB = F AA = V Leyes conmutativas. AB = BA AB = BA Leyes distributivas. A(BC) = (AB) (AC) A(BC) = (AB)  (AC) Leyes Asociativas. A(BC) = (AB) C A (BC) = (AB) C Leyes Absortivas A (AB) = A A (AB) = A Leyes de Demorgan (AB) = AB  (AB)= AB

Ley conmutativa Las "leyes conmutativas" sólo quieren decir que puedes intercambiar el orden de las proposiciones cuando usas el “y” ,“o”,y la respuesta va a ser la misma. AB = BA AB = BA

Ley Asociativa Las “leyes asociativas" quieren decir que no importa cómo acomodes el orden de las proposiciones(o sea, qué calculas primero) en la conjunción y disyunción. A(BC) = (AB) C A (BC) = (AB) C

Ley Distributiva A(BC) = (AB) (AC) A(BC) = (AB)  (AC) En matemáticas: (a + b) × c  =  a × c  +  b × c -Existe una igualdad si sumas varios números y el resultado lo multiplicas por algo, o haces cada multiplicación por separado y luego sumas los resultados.

Ley de Morgan La ley de Morgan, establece que las variables negadas individualmente son iguales a la suma de las variables globalmente. (AB) = AB  (AB)= AB

Tautología, Contradicciones y contingencias. p q (p q) p → (p q) V F Tautológica p q p (pq) (pq)  p V F Contradictoria p q  q p ↔  q V F Contingencia ó indeterminada.

Tarea: Ejercicios de la página 14. Utilizando las tablas de verdad, determínese cuáles de las siguientes proposiciones son tautológicas, contradictorias o indeterminadas(contingentes).