---
tag: 22K4GWJ0WM
kind: concept
name: Boethius' theses
sources:
  - wikipedia: en:76765067@r1368301704
    locator: Glossary of logic, section B
    note: adopted
    mention: wikipedia://en/76765067#MW6L
    sections: [Summary]
inventory: [7293E9J0FK]
---

## Summary

The formulas (A → B) → ¬ (A → ¬ B) and (A → ¬ B) → ¬ (A → B) in [[propositional logic|09K9MWD2QQ]]; they are theorems in connexive logic but not in classical logic. See also Aristotle's theses.