Boethius’ theses

• Logic
• Philosophy of Logic

Boethius’ Theses

Boethius' theses are two formulas in propositional logic: (A → B) → ¬ (A → ¬ B) and (A →…