conectores_leyes

Vista previa del material en texto

CONECTORES LÓGICOS
Sean las proposiciones p: regalo libros q: compro monedas
CONJUNCIÓN
p y q p pero q p sin embargo q p no obstante q
p no obstante q p a pesar de que q p mientras q p además q
p aunque q p así mismo q p en cambio q p cuando q
. (El punto seguido) , (la coma) ; (el punto y coma)
NOTA: la coma no siempre es conector, a veces sirve para separa ideas 
DISYUNCIÓN
p ó q p o bien q tanto p como si q Al menos p ó q
Como mínimo p ó q 
IMPLICACIÓN
Si p entonces q p por tanto q p en consecuencia q p siempre que q
p es suficiente para q No p a menos que q p debido a esto q p puesto que q
p dado que q p por esta causa q p ya que q p porque q
BICONDICIONAL
p si y sólo si q p es necesario y
suficiente que q
 p cuando y sólo
cuando q p sólo si q
LEYES LÓGICAS (Leyes del Álgebra Proposicional)
1. Ley de la Idempotencia
p ˄ p ≡ p p v p ≡ p
2. Ley Conmutativa
p ˄ q ≡ q ˄ p p v q ≡ q v p p ↔ q ≡ q ↔ p
3. Ley Asociativa
p ˄ (q ˄ r) ≡ (p ˄ q) ˄ r p v (q v r) ≡ (p v q) v r
4. Ley Distributiva
p ˄ (q v r) ≡ (p ˄ q) v (p ˄ r) p v (q ˄ r) ≡ (p v q) ˄ (p v r) 
5. Ley Involutiva o Doble Negación
-(- p ) ≡ p
6. Ley de De Morgan
- (p ˄ q) ≡ (- p v - q) - (p v q) ≡ (- p ˄ - q)
7. Ley de Absorción Parcial
p v (-p ˄ q) ≡ p v q -p v (p ˄ -t) ≡ -p v -t
p ˄ (-p v q) ≡ p ˄ q -p ˄ (p v -t) ≡ -p ˄ -t
8. Ley de Absorción Total
p v (p ˄ q) ≡ p -p v (-p ˄ -t) ≡ -p 
p ˄ (p v q) ≡ p -p ˄ (-p v -t) ≡ -p 
9. Ley de la Condicional
p → q ≡ -p v q p → q ≡ -p → -q 
10. Ley de Bicondicional
p ↔ q ≡ (p → q) ˄ (q → p) p ↔ q ≡ -p ↔ -q 
11. Ley del Complemento
 -p v q ≡ V (tautología) -p ˄ q ≡ F (contradicción)
12. Ley Identidad
p v Verdad ≡ Verdad p ˄ Verdad ≡ p
p v Falso ≡ p p ˄ Falso ≡ Falso