Аксиомы логики высказываний

Предложено много различных систем аксиом логики высказываний. Рассмотрим некоторые из них:

1. 1. A → (B → A)
   2. (A → (B → C)) → ((A → B) → (A → C))
   3. (¬A → ¬B) → (B → A)
2. 1. A → (B → A)
   2. (A → (B → C)) → ((A → B) → (A → C))
   3. A & B → A
   4. A & B → B
   5. A → (B → A & B)
   6. A → A V B
   7. B → A V B
   8. (A → C) → ((B → C) → (A V B → C))
   9. (A → C) → ((A → ¬B) → ¬A)
   10. ¬¬A→ A