Aristotle's reduction rules (conversion, transposition) presuppose logical laws like non-contradicti...
This proposition has not been edited since the history system was added.