Correctly applying logical rules automatically makes false premises true.

Nazar, the Movements of Thought, and the Need for Logic