ANTIPODA- La Articulación de Lógicas Laborales y Lógicas Domésticas...
Leyes Lógicas
2
Leyes Lógicas: 1. Identidad: p → p 2. No contradicción: p ˄ -p ↔F 3. Tercero excluido: p v –p ↔V 4. Idempotencia: (p ˄ p) ↔ p (p v p) ↔ p 5. Doble negación: p ↔ - - p 6. De Morgan: -(p ˄ q) ↔ (-p v -q) -(p v q) ↔ (-p ˄ -q) 7. Conmutación: (p ˄ q) ↔ (q˄ p) (p v q) ↔ (q v p) 8. Asociación: [(p ˄ q) ˄ r] ↔ [p ˄ (q ˄ r)] [(p v q) v r] ↔ [p v (q v r)] 9. Distribución: [p ˄ (q v r)] ↔ [(p ˄ q) v (p ˄ r)] [p v (q ˄ r)] ↔ [(p v q) ˄ (p v r)] 10. Definición del condicional: (p →q) ↔ (-p v q) (p →q) ↔ - (p ˄ -q) 11. Transposición: (p →q) ↔ (-q→ -p) 12. Definición del bicondicional: (p ↔ q) ↔ [(p→ q) ˄ (q→ p)] 13. Absorción: p˄ (p v q) ↔ p p v (p ˄ q) ↔ p p˄ (-p v q) ↔ p˄ q p v (-p ˄ q) ↔ p v q
-
Upload
idemarinis9258 -
Category
Documents
-
view
213 -
download
0
description
Leyes Lógicas.
Transcript of Leyes Lógicas
Leyes Lgicas:1. Identidad:p p
2. No contradiccin:p -p F
3. Tercero excluido:p v p V
4. Idempotencia:(p p) p (p v p) p
5. Doble negacin:p - - p
6. De Morgan: -(p q) (-p v -q)-(p v q) (-p -q)
7. Conmutacin:(p q) (q p)(p v q) (q v p)
8. Asociacin:[(p q) r] [p (q r)][(p v q) v r] [p v (q v r)]
9. Distribucin:[p (q v r)] [(p q) v (p r)][p v (q r)] [(p v q) (p v r)]
10. Definicin del condicional:(p q) (-p v q)(p q) - (p -q)
11. Transposicin:(p q) (-q -p)
12. Definicin del bicondicional:(p q) [(p q) (q p)]
13. Absorcin:p (p v q) pp v (p q) pp (-p v q) p qp v (-p q) p v q
14. Equivalencias:p V pp v F pp F Fp v V V