Bolzano's own criterion for valid inference relies on truth-preservation across possible substitutio...
This proposition has not been edited since the history system was added.