[Lexinom]

Thanks for the reply.

I want to ask you something: Can you offer a proof of the law of non-contradiction?

[Dante Alighieri]

Isn't it an axiom? I'm not exactly that familiar with Aristotle. But, from what I understand of formal propositional logic, it is an axiom.