ight) \Rightarrow (x \mid 0) $ ist **nur wahr, wenn die Implikation für alle $ x $ gilt**.