Die Implikation $ ( ext{Prämisse}) \Rightarrow (x \mid 0) $ ist **wahr**, solange Prämisse nicht falsz ist **oder** $ x \mid 0 $ wahr ist — aber Implikation ist nur falsz, wenn Prämisse wahr und Konklusion falsz.