Metadata
Author: QED
Data
German[de]
Dafür beginnen wir mit einem Beispiel, indem wir das Alarmproblem in aussagenlogische Ausdrücke umformulieren.
English[en]
Let's jump right into an example, recasting the alarm problem in propositional logic.
French[fr]
Allons directement à un exemple, reformulons le problème de l'alarme en logique propositionnelle.
Hebrew[he]
בואו נקפוץ ישר לדוגמה, בשימוש חוזר בבעיית האזעקה רק בלוגיה פסוקית.
Polish[pl]
Rozpocznijmy od razu od przykładu, rozważając przykład z alarmem w rachunku zdań.
Russian[ru]
Давайте сразу перейдём к примеру, и переделаем задачу сигнализации в пропозиционной логике.