0
Okay danke dir, aber warum nutzt man dann allgmein Imiplikationsstriche? Also warum sagt man das Hi Hi+1 impliziert, beim direkten Beweis? Warum nutzt man da keinen anderen aussagelogischen Opertaor?
─
mikrokjaro0
10.01.2022 um 16:58
An welchen Operator denkst du denn stattdessen?
─
mathejean
10.01.2022 um 16:59
Naja, z. B. und. Man könnt sagen, aus Hi muss Hi+1 folgen, deshalb mache ich und hin, also waurm passt die Implikation besser als und?
─
mikrokjaro0
10.01.2022 um 17:01
Ein und passt ja nicht, es kann ja sein, dass \(H_{i+1}\) zwar immer dann wahr ist, wenn auch \(H_i\) wahr ist, aber es trotzdem noch eine Belegung gibt, in der \(H_{i+1}\) wahr ist und \(H_i\) nicht
─
mathejean
10.01.2022 um 17:05
ah stimmt haste recht
─
mikrokjaro0
10.01.2022 um 17:20