Understanding a conditional 'If P then Q' requires grasping the semantic connection between P and Q ...
This proposition has not been edited since the history system was added.