Was ich noch sagen wollte:
A → B → C ≈ A
↓ ⁄
U → D ≡ ¬ A → B → C?
↓
A ↔ A ≠ B
→ …
Was wollte ich gleich noch sagen?
…
Was ich noch sagen wollte:
A → B → C ≈ A
↓ ⁄
U → D ≡ ¬ A → B → C?
↓
A ↔ A ≠ B
→ …
Was wollte ich gleich noch sagen?
…