wie prüft man bei LTL ob eine Formel wahr oder falsch ist, wenn diese Implikation oder andere Junktoren enthält? Bin gerade dabei den Sprung von der Aussagenlogik auf andere Logiken besser zu verstehen.
Ein anderes Problem?
Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos
