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.
Related Articles
- Aber für $ |x| > 1 $ ist $ orall y\ (x \mid y \Rightarrow y \mid x) $ **falsch**, daher pr\log St Mg falsz.
- Die **narration ist komplex**. Aber beachte:
- $ x \mid 0 $ ist **immer wahr** für jedes Integer $ x $, da $ 0 = x \cdot 0 $.
- Also: Die gesamte Aussage ist wahr **genau dann, wenn für alle $ x $, entweder die Prämisse falsz oder $ x \mid 0 $ wahr ist** â was immer der Fall ist, da $ x \mid 0 $ immer wahr.
- BUT: Wenn Prämisse **falsz**, dann ist Implikation automatisch wahr â also trivially erfüllt.
- Daher ist die Aussage **immer wahr**?
