Die Implikation $ ( extPrä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. - Veritas Home Health