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

Slides:



Advertisements
Presentaciones similares
VALORES DE VERDAD DE LOS CONECTIVOS LÓGICOS
Advertisements

Lógica de proposiciones
LOGICA Y DEMOSTRACIONES
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:
Fundamentos de Lógica ¿Qué es una proposición?
Lógica Proposicional.
LOGICA Y DEMOSTRACIONES
Razonamiento Lógico Matemático
LÓGICA PROPOSICIONAL.
PROFESOR: JAIME H. QUISPE CASAS TEMA : CONECTIVOS LÓGICOS
Mtra. Carolina Galaviz Inzunza Matemática Discreta
CARLOS ANDRES MONTENEGRO
Álgebra I Prof: Haroldo Cornejo Olivarí.
Curso de Matemática Propedeútica
Lic. Carmen Aguinaga Doig
LOGICA.
I.E.Entrerrios Lógica Proposional Prof. Robinson Usma B
Lógica Proposición Ejemplos
Estructuras de Control
UBA XXI.
Los problemas semánticos de las expresiones del Lenguaje Proposicional
Matemáticas Discretas
Fundamentos de Lógica ¿Qué es una proposición?
Lógica Proposicional.
Lógica Matemática Mate 3041 Universidad de Puerto Rico
UNIVERSIDAD POLITÉCNICA DE PACHUCA MAESTRÍA EN TECNOLOGÍAS DE LA INFORMACIÓN Y COMUNICACIONES Matemáticas Discretas M. en C. Arturo Lezama León Maestría.
INSTITUCION EDUCATIVA LAS FLORES
Aporte de la Lógica a la Matemática
Sistemas de Numeración
Lógica de Proposiciones
Lógica proposicional.
Tablas de verdad Mgr. Germán Jorge Pérez.
M.I.C. Héctor E. Medellín Anaya
LÓGICA DOCENTE: PATRICIA ISABEL AGUILAR INCIO. CICLO 2012– I.
LÓGICA PROPOSICIONAL.
U. Diego Portales Elementos de lógica Prof. Haroldo Cornejo O.
CIRCUITOS LÓGICOS Mgr. Germán Jorge Pérez.
LOGICA DE ENUNCIADO LOGICA DE PREDICADO
Evalúa el valor de verdad de dos o mas condiciones y si todas son verdaderas devuelve VERDADERO, en caso contrario FALSO.
ESCUELAS FILOSOFICAS Y CAMBIOS PARADIGMATICOS II
Lógica Proposicional Profesor: Amador Alejandro Gonzáles Piscoya
Lenguaje y razonamiento matemático
Tablas de Verdad Álgebra
(o lógica proposicional)
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.
LOGICA MATEMÁTICA APLICA TU LÓGICA…
Curso de Teoría del Autómata
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.
Tablas de verdad.
CONECTIVOS LOGICOS.
A continuación… Repaso Repaso Estructuras de Decisión Ejemplos
CÁLCULO PROPOSICIONAL
Matemáticas Computacionales
Preposiciones compuestas
Fundamentos de la Lógica
LÓGICA PARA LA SOLUCIÓN DE PROBLEMAS
Una proposición es un enunciado u oración declarativa
LA PROPOSICIÓN ESCUELA DE OFICIALES PNP
Expresiones Reglas de prioridad o precedencia
Mtra. Carolina Galaviz Inzunza Matemática Discreta
Lógica Proposicional.
FORMAS ARGUMENTALES COMUNES
Matemáticas Discretas
ASIGNATURA: Matemática 2014
LSIA. Carolina Galaviz Inzunza Curso: Matemática Discreta
Matemática Básica para Administradores
Enunciados Simples Enunciados Compuestos Sistemas Tautológicos
La primera operación que vamos a tratar es la negación Tablas de Verdad Si p es verdad,  p es falso Si p es falso,  p es verdad p  p VF FV La tabla.
PROPOSICIONES EQUIVALENTES
Transcripción de la presentación:

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

1.- Comentar lo visto en la clase anterior (5min) Pase de lista 2.-El maestro explicará las tablas de verdad.(20min) 3.-Realizar ejercicio de la página 11. (35min) 4.-Tarea: Repasar de la página 6-11 del material de lógica. Orden del día:

Qué vimos la clase pasada?Qué vimos la clase pasada? 1.-Comentar

2.-Tablas de Verdad.

Conjunción (Y) NombreConectorSímbolo Conjunción.Y La conectiva y tiene la función de indicar que las dos proposiciones conjuntadas, son igualmente verdaderas pq p q VVV VFF FVF FFF

Disyunción (O) NombreConectorSímbolo Disyunción.O La conectiva o tiene la función de indicar que por lo menos una de las proposiciones es verdadera (aunque puede ser que lo sean ambas). pq p q VVV VFV FVV FFF

Negación (NO) NombreConectorSímbolo Negación.NO Éste conector tiene la función de negar el sentido de la proposición.. P p VF FV

Implicación/condicional (Si…entonces). NombreConectorSímbolo Implicación. (condicional)SI..... ENTONCES pqp q VVV VFF FVV FFV

Equivalencia/Bicondicional (Si y sólo si) NombreConectorSímbolo Equivalencia.(bicondicional)Si y sólo si La expresión si y sólo si es una conectiva lógica que se simboliza con el signo, y que al relacionar dos proposiciones indica que el valor de verdad de ambas es el mismo, ya sea verdadero o falso- pq p q VVV VFF FVF FFV

Haciendo un ejercicio de tablas de verdad. pq p qP (p q) VV VF FV FF pq (p q)P (p q) VV V VFF FVF FFF pq (p q)P (p q) VV V V VFFV FVFF FFFF p (p q) p: José es hermano de Paola q: Juan es punk : formular verbalmente: José es hermano de Paola o José es hermano de Paola y Juan es punk p (p q)

3.-Realizar ejercicio

Repasar de la página 6-11 del material de lógicaRepasar de la página 6-11 del material de lógica 4.-Tarea.