Documentos de Académico
Documentos de Profesional
Documentos de Cultura
RCI
DO
LÓGICA PROPOSICIONAL
N
CONECTIVOS LÓGICOS:
LENGUAJE COMÚN SÍMBOLO NOMBRE
….. y ….. ∧ Conjunción
….. ó….. ∨ Disyunción inclusiva
Si……entonces → Condicional
…si y solo si… ↔ Bicondicional
ó……ó ∆ Disyunción exclusiva
…no es cierto que… Negación
TAUTOLOGÍA: Es una formula lógica en la que todos los valores de verdad obtenidos son verdaderos.
CONTRADICCIÓN: Es aquella formula lógica en la que todos los valores de verdad son falsos.
CONTINGENCIA: Formula lógica en la que algunos valores de verdad son verdades y otros falsos.
LEYES LÓGICAS: Las leyes de la lógica proposicional son equivalencias lógicas que nos permiten simplificar un problema y
expresarlo en forma más sencilla, las demostraciones se hacen construyendo la tabla de verdad en cada caso.
1) Ley de la Idempotencia: p∨ p≡ p p∧ p≡ p
2) Ley Conmutativa: p ∨q ≡ q ∨ p p ∧q ≡ q ∧ p p ↔ q ≡q ↔ p p∆q≡q∆ p
3) Ley Asociativa: ( p ∨q ) ∨ r ≡ p∨ ( q ∨ r ) ( p ∧q ) ∧ r ≡ p∧ ( q ∧ r )
4) Ley Distributiva: p ∨ ( q ∧ r ) ≡ ( p ∨q ) ∧ ( p ∨ r ) p ∧ ( q ∨ r ) ≡ ( p ∧q ) ∨ ( p ∧ r )
5) Ley de Morgan: ( p ∨q ) ≡ p ∧ q ( p ∧q ) ≡ p ∨ q
6) Ley del Complemento: p ∨ p ≡V p∧ p≡F ( p) ≡ p
7) Ley de la Identidad: p ∨V ≡V p∨F≡ p p∧F≡F p ∧V ≡ p
8) Ley de la Condicional: p → q ≡ p ∨q p→q≡ q→ p
9) Ley de la Bicondicional: p ↔ q ≡ ( p →q ) ∧ ( q → p ) p ↔ q ≡ ( p ∨q ) ∧ ( q ∨ p ) p ↔ q ≡ ( p ∆ q )
10) Ley de Absorción: p ∨ ( p ∧q ) ≡ p p ∧ ( p ∨q ) ≡ p p ∨ ( p ∧q ) ≡ p ∨ q p ∧ ( p ∨q ) ≡ p ∧ q
CIRCUITOS LÓGICOS:
Circuito en serie: • p q • ¿ p ∧q
Circuito en paralelo: p
• • = p ∨q
q