Descargar la presentación
La descarga está en progreso. Por favor, espere
Publicada porJosé Ramón Aguilera Naranjo Modificado hace 8 años
1
LSIA. Carolina Galaviz Inzunza Curso: Matemática Discreta
Lógica LSIA. Carolina Galaviz Inzunza Curso: Matemática Discreta
2
Definiciones La lógica es el estudio de los métodos y principios utilizados para separar el razonamiento correcto del que no lo es. Una proposición o enunciado es una oración que puede ser falsa o verdadera pero no ambas a la vez. Por lo general, a las proposiciones se las representa por las letras del alfabeto desde la letra p, es decir, p, q, r, s, t, ...
3
Sentencia simple + sentencia simple = sentencia compuesta (compleja).
La lógica proposicional permite el razonamiento, a través de un mecanismo que primero evalúa sentencias simples y luego sentencias complejas, formadas mediante el uso de conectivos proposicionales. Sentencia simple + sentencia simple = sentencia compuesta (compleja).
4
Conectivos Lógicos Nombre. conector Símbolo Conjunción. Y
Disyunción. O Negación. NO Implicación. (condicional) SI..... ENTONCES Equivalencia.(bicondicional) Igual Si y solo si
5
Tablas de Verdad Conjunción Disyunción Negación Implicación
q pq V F p q pq V F Negación Implicación p q p → q V F p p p V F Bicondicional p q pq V F
6
Equivalencias lógicas.
Denominación. Representación lógica. Leyes equipotenciales. A→ B = AB AA = F AA = V Leyes conmutativas. AB = BA AB = BA Leyes distributivas. A(BC) = (AB) (AC) A(BC) = (AB) (AC) Leyes Asociativas. A(BC) = (AB) C A (BC) = (AB) C Leyes Absortivas A (AB) = A A (AB) = A Leyes de Demorgan (AB) = AB (AB)= AB
7
Tautologías, contradicciones y contingencias.
p q (p q) p → (p q) V F Tautológica p q p (pq) (pq) p V F Contradictoria p q q p ↔ q V F Contingencia
8
Validez e implicación lógica.
Si las premisas son..... Y la conclusión es...... El argumento es Verdaderas Válido Falsas No válido r s (rs) (rs) r [(rs) r ] →s V F Todo argumento es valido si al ser transformado en una proposición condicional, está resulta ser tautológica.
Presentaciones similares
© 2024 SlidePlayer.es Inc.
All rights reserved.