Vacuous truth relies on classical bivalence where ¬p is automatically true when p lacks proof, confl...
This proposition has not been edited since the history system was added.