Substitutional semantics treats validity as preserving truth under all uniform substitutions, making...
This proposition has not been edited since the history system was added.