---
tag: 4KTD8GB5PV
kind: concept
name: Aristotle's theses
sources:
  - wikipedia: en:76765067@r1368301704
    locator: Glossary of logic, section A
    note: adopted
    mention: wikipedia://en/76765067#UI64
    sections: [Summary]
inventory: [7ANC4WB8CQ]
---

## Summary

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