Escolar Documentos
Profissional Documentos
Cultura Documentos
Teoremas de la
conectiva disyunción 12.Silogismo
Axiomas y Reglas Derivadas
Conmutatividad ├ (A B) ((B C) (A C))
A1. ├ A → ( B → A) Introducción del antecedente ├A ∨ B → B ∨ A
A2. ├ (A → B) → ((A → (B → C) ) → (A → C))
13.Teoremas de
A3. ├ A → (B → A ∧ B) Regla del producto
Asociatividad equivalencia
A4. ├ A ∧ B → A,, A∧B→B Regla de simplificación
├ (A ∨ B) ∨ C → A ∨ (B ∨ C)
A5. ├ A → A ∨ B,, B→A∨B Regla de la adición
├ A ∨ (B ∨ C) → (A ∨ B) ∨ C ├ (A → B) → ((B → A) → (A ↔ B))
A6. ├ (A → C) → ((B → C ) → (A ∨ B → C)) Prueba por casos
├ (A ↔ B) → (A → B)
A7. ├ (A → B) → (( A → ~B) → ~A ) Reducción al absurdo
Distributividad respecto de la ├ (A ↔ B) → (B → A)
A8. ├ ~~A → A Eliminación de la doble negación
conjunción ├ (A ↔ B) → (B ↔ A)
├ A ∨ (B ∧ C) → (A ∨ B) ∧ (A ∨ C)
Teoremas
├ A ∧ (A ∨ B) → A 14.Silogismo disyuntivo
1. Identidad 8. Leyes de De Morgan ├ A → A ∧ (A ∨ B)
├ (A ∨ B) ∧ (A ∨ C) → A ∨ (B ∧ C) ├ A ∨ B → (~A → B)
├A → A ├~(A ∨ B) → ~A ∧ ~B directa
15.Tercio excluso
├~A ∧ ~B → ~(A ∨ B) recíproca Absorción
2. Contraposición ├~(A ∧ B) → ~A ∨ ~B directa ├ A → A ∨ (A ∧ B) ├ A ∨ ~A
├~A ∨ ~B → ~(A ∧ B) recíproca ├ A ∨ (A ∧ B) → A ├ ~(A ∧ ~A)
├ (A → B) → (~B → ~A)
├ (A → ~B) → (B → ~A) 9. Implicación respecto a Idempotencia 16.Modus Tollens
disyunción ├A∨A →A
3. Permutación
├A→A∨A ├ ((A → B)#∧ ~B→ ~A
├ (A → B) → ~A ∨ B directa
├ [A → (B → C)]→ [B → (A →C)]
├~A ∨ B → (A → B) recíproca
4. Importación-exportación Regla de intercambio
10.Teoremas de la
├ [A → (B → C)]→ (A ∧ B → C) conjunción
1. Conjunción 1.1 ├ (A ∧ A) ↔ A
├ (A ∧ B → C) → [A → (B → C)]
Conmutatividad 1.2 ├ A ∧ (B ∧ C) ↔ (A ∧ B) ∧ C
5. Producto condicional ├A ∧ B → B ∧ A 1.3 ├ A ∧ (B ∨ C) ↔ (A ∧ B) ∨ (A ∧ C)