Aber $ 0 \mid 0 $ ist wahr — also ist die Implikation wirklich **wahr** für $ x = 0 $.