On Nature
Parmenides employed an ontological version of the law of non-contradiction to prove that being is and to deny the void, change, and motion. He also similarly disproved contrary propositions. In his poem On Nature, he said,