Ayudantía Nº 2 Carola Muñoz R..

Slides:



Advertisements
Presentaciones similares
Validar el razonamiento:
Advertisements

Lógica, Argumentación y Pensamiento Crítico
METODOS CUANTITAIVOS I
Teoría de Conjuntos Dr. Rogelio Dávila Pérez
Introducción al Teorema de Gödel Eduardo Alejandro Barrio UBA - CONICET 2do Cuatrimestre de 2009 Eduardo Alejandro Barrio UBA.
Teoría de Lenguajes Dr. Rogelio Dávila Pérez Profesor - Investigador
Matemáticas Computacionales
Teoría de Conjuntos Dr. Rogelio Dávila Pérez ITESM, Campus Guadalajara
DEPARTAMENTO DE MATEMÁTICAS
Ejercitación Cálculo I
PROFESOR: JAIME H. QUISPE CASAS TEMA : CONECTIVOS LÓGICOS
Mtra. Carolina Galaviz Inzunza Matemática Discreta
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
Números complejos 18 de Septiembre.
CAPÍTULO I LÓGICA Y CONJUNTOS.
I.E.Entrerrios Lógica Proposional Prof. Robinson Usma B
Taller matemático (Cálculo)
Simbolizar Luisa no es una persona alta.
Propiedades de los números Reales
SEMANA Algebra de Boole.
ELEMENTOS DE UN AMBIENTE EDUCATIVO EN NIVEL MEDIO SUPERIOR Y SUPERIOR.
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.
Leyes de Morgan Son dos leyes lógicas muy útiles cuando se quiere encontrar equivalentes para proposiciones que se obtienen por negación de proposiciones.
HABILIDADES LÓGICO MATEMÁTICAS
Teoría de Conjuntos Prof. Carlos Coronel R..
Aporte de la Lógica a la Matemática
CARRERA PROFESIONAL: Lengua, Traducción e Interpretación Asignatura: MATEMÁTICA Tema: “FUNCIONES LÓGICAS”
Postulados del álgebra de boole
Apuntes de Matemáticas 2º ESO
U. Diego Portales Elementos de lógica Prof. Haroldo Cornejo O.
Ayudantía Nº 3 Algebra I Carola Muñoz R..
Matemáticas Discretas
LÓGICA PROPOSICIONAL Y PREDICADOS
Ecuaciones diferenciales 1. Ecuaciones diferenciales de primer orden
Expresiones Racionales
Números complejos Álgebra Superior.
MATEMATICA I Lógica Matemticas Prof Rubén Millán
Ayudantía Nº 2 Algebra I fmm010
Ayudantía Nº 4 Algebra I fmm010 Carola Muñoz R. 1.
CÁLCULO DE UNA PROBABILIDAD
LOS NÚMEROS REALES.
[ Arquitectura de Computadores ] SISTEMAS DIGITALES Präsentat ion Pontificia Universidad Católica de Chile Escuela de Ingeniería Departamento de Ciencia.
Matemática Prof.: Camila San Martín
Problema matemático Buscad la solución.
CÁLCULO PROPOSICIONAL
Matemáticas Computacionales
Axiomas del álgebra de conjuntos
LEYES DEL ALGEBRA PROPOSICIONAL
ALGEBRA DE CONJUNTOS LEYES IDEMPOTENTES Dado cualquier conjunto A en un universal arbitrario U, se verifica: 1. A ∪ A = A A 2. A ∩ A = A ejemplo
Álgebra de conmutación
ALGEBRA DE CONJUNTOS LEYES IDEMPOTENTES Dado cualquier conjunto A en un universal arbitrario U, se verifica: 1. A ∪ A = A A 2. A ∩ A = A ejemplo
Ecuaciones diferenciales 1. Ecuaciones diferenciales de primer orden
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.
PROBLEMA MATEMÁTICO Atención a un problema matemático propuesto por un Catedrático de la Universidad Nacional de Ingeniería y profesor de Matemática.
Matemáticas Ejercicio nº61 Juan Sanjuán Navarrete B. 2ºB.
Capítulo 3: Conjuntos Autor: José Alfredo Jiménez Murillo.
Sesión 3 Tema: Operaciones conjuntos numéricos
a)¿Cuál es la función lineal que permite calcular la estatura de un humano cuyo húmero tiene x centímetros de largo? b)¿Cuál es la estatura de un humano.
José Juan Muñoz León Maestría en Matemática Educativa Pensamiento matemático.
Teoría de Conjuntos Dr. Rogelio Dávila Pérez
Lógica Equivalencia Lógica Leyes Lógicas Circuitos Lógicos -¿Qué es?
UNIDAD 4 E STRUCTURAS ALGEBRAICAS M.C. Meliza Contreras González.
SOLUCION DE EJERCICIO N°15 SOLUCION EJERCICIO N°17.
Complemento.
DINÁMICA 4º ESO CURSO
Alumno: ______________________________________.
Transcripción de la presentación:

Ayudantía Nº 2 Carola Muñoz R.

Ejercicios Utilizando las leyes de lógica matemática, demostrar que: p  q  q’  p’ (q’)’  p’ ( Implicancia )  q  p’ ( Doble negación )  p’  q ( Conmutatividad )  p  q ( Implicancia )

Ejercicios Utilizando las leyes de lógica matemática, demostrar que: ( p  q )  r  p  ( q  r ) ( p  q )  r  ( p  q )’  r ( Implicancia )  ( p’  q’ )  r ( De Morgan )  p’  ( q’  r ) ( Asociatividad )  p  ( q’  r ) ( Implicancia )  p  ( q  r ) ( Implicancia )

Ejercicios Utilizando las leyes de lógica matemática, demostrar que: p  ( q  r )  q  ( p  r ) p  ( q  r )  p’  ( q  r ) ( Implicancia )  p’  ( q’  r ) ( Implicancia )  ( p’  q’ )  r ( Asociatividad )  ( q’  p’ )  r ( Conmutatividad )  q’  ( p’  r ) ( Asociatividad )  q  ( p’  r ) ( Implicancia )  q  ( p  r ) ( Implicancia )

Ejercicios Utilizando las leyes de lógica matemática, demostrar que: p  q  ( p  q )  ( p’  q’ ) p  q  ( p  q )  ( q  p ) ( Doble Implicancia )  ( p’  q )  ( q’  p ) ( Implicancia )  ( p’  ( q’  p ) )  ( q  ( q’  p ) ) ( Distributividad )  ( ( p’  q’ )  ( p’  p ) )  ( ( q  q’ )  ( q  p ) ) ( Distributividad )  ( p’  q’ )  F )  ( F  ( q  p ) ) ( Complemento )  ( p’  q’ )  ( q  p ) ( Identidad )  ( p  q )  ( p’  q’ ) ( Conmutatividad )

Ejercicios Simplifique las siguiente expresión: ( p  q)  (¬p  q) ¬( p  q )  (¬ p  q) ( Implicancia )  ( ¬ q  ¬ p )  (¬p  q ) ( Morgan )  ( ¬ p  ¬ q )  (¬p  q ) ( Conmutatividad )  ¬p  ( ¬ q  q ) ( Complemento )  ¬ p  V ( Identidad )  ¬ p

Ejercicios Se sabe que: Si Pedro no es alumno de la U.C. o Juan es alumno de la U.C., entonces Juan es alumno de la U. Ch. Si Pedro es alumno de la U.C. y Juan no es alumno de la U. Ch., entonces Juan es alumno de la U.C. Se desea saber en que universidad estudia Juan. Solución: Sean p: Pedro es alumno de la U.C. q: Juan es alumno de la U.Ch. r: Juan es alumno de la U.C.

Ejercicios Se sabe que: [ ( ¬ p  r )  q ] [ ( p  ¬ q )  r]  V [ ¬ ( ¬ p  r )  q ]  [ ¬ ( p  ¬ q )  r ]  V --> Implicancia [¬( ¬p  r )  q ]  [(¬p  q ) r ]  V --> De Morgan [¬(¬p  r )  q ]  [(¬p  r )  q ]  V --> Conmutatividad q  [¬( p  r )  (¬p  r ) ]  V --> Distributividad q  F  V --> Complemento q  V