Aber ist die gesamte Implikation $ orall x\, (P \Rightarrow Q) $ **echt wahr**?