Sesion 2. Leyes Logicas
Sesion 2. Leyes Logicas
Sesion 2. Leyes Logicas
En todas las áreas de las matemáticas necesitamos mecanismos para saber cuándo dos
entidades son iguales o esencialmente las mismas. En la lógica proposicional este concepto
se llama equivalencia y se da entre dos proposiciones cuando ambas siempre tienen el
mismo valor de verdad para una misma asignación de valores de verdad de las
proposiciones que las componen.
Una proposición es lógicamente equivalente a otra cuando sus tablas de verdad son
exactamente iguales, es decir, cuando las dos tablas de verdad al estar unidas con el
conectivo (↔), resultan ser una tautología. En tal caso, el conectivo de bicondicional se
sustituye por el de equivalencia (≡¿
Observamos que A ↔ B resultaría una tautología, por lo tanto se escribe A ≡ B, es decir existe
una equivalencia lógica entre dichas fórmulas.
Existe un conjunto de equivalencias lógicas que es usado con mucha frecuencia en los
procesos de razonamiento y comúnmente se les llama ≪ leyes de la lógica≫
6.Leyes de absorción; p ∨( p ∧r ) ≡ p; p ∧( p ∨r ) ≡ p
p ∨( p ∧r ) ≡ p ∨r ; p ∧( p ∨r ) ≡ p ∧r
7. Leyes de De Morgan: ( p ∧q ) ≡ p ∨ q ( p ∨q ) ≡ p ∧ q
8. Ley condicional: p →q ≡ p ∨ q
9. Ley bicondicional: p⟷ q ≡ ( p → q)∧(q → p)
10. Otras leyes: p ∨ ( p ) ≡T donde T representa a una tautología. (v)
p ∧ ( p ) ≡C , donde C representa a una contradicción (f)
p ∧(v )≡ p; p ∧(f ) ≡ f ; p ∨(v )≡ v; p ∨(f ) ≡ p
Ejemplo desarrollado.
Determine mediante la aplicación de leyes lógicas, si la fórmula: [p ∧¿ → q ¿ ¿ →q es una
tautología, contradicción o contingencia.
Solución. Dada la fórmula: [p ∧¿ → q ¿ ¿ →q
Paso 1. [p ∧¿ ∨ q ¿ ¿ ∨ q (ley condicional)
paso 2. [ p ∧ q ] ∨q (ley de absorción.)
paso 3. ( p∨ q¿∨q (ley de De Morgan)
paso 4. p ∨ ( q ∨ q) (ley asociativa)
paso 5. p ∨(T ) (ley de tautología)
paso 6. (T) (ley disyuntiva)
ACTIVIDADES DE APRENDIZAJE.
Simplifique cada fórmula, aplicando las leyes lógicas, indicando la ley está utilizando en
cada paso lógico seguido.
a) [p→ (q → p ¿ ¿ → q
b) {( p∧ q)→ p }∨ q
c) ¿ ∧ ¿ q ¿ ¿ → [q ∨ ( p ∧ q ¿ ¿
d) [( q → p ¿ →( p ∨ q) ¿ ∧ ( p ∧q )
e) ( p ∨ q ¿ ∧[ p ∧(q → p)]
f) ( p ∧q ¿ → (q → p ¿
g) [( p → q) →( p ∧q)¿ ∨( p ∧ r)
h) [( p → r) → p ¿ ∧[ p → ( p ∧ q ) ]
MATEMÁTICA I
Prof. Carlos Choque Córdova.