In Latin (for precision and clarity)
Logica:
1. Impossibile est idem secundem idem simulesse et non esse (principle of non-contradiction).
2. Contra factum non fit argumentum.
In English
Logic:
1. It is impossible that the same thing be and not be at the same time and in the same respect.
Unfortunately, science has now proved to be and not to be at the same time is no longer an axiom… as quantum physics and new work on protons is showing a different side to this idea.