LSIA. Carolina Galaviz Inzunza Curso: Matemática Discreta Lógica LSIA. Carolina Galaviz Inzunza Curso: Matemática Discreta
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, ...
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).
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
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
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
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
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.