|
Prototyp / PMII QEDEQ-Modul
Hier sind die Qedeq-Syntaxbeschreibungen für den Prototypen, die nicht den vollen Sprachumfang des Hauptprojekts beinhalten. Im Prototypen kommt ein proprietäres Format zum Einsatz.
Modul |
Definition eines Qedeq-Modules |
Formel |
Definition einer Qedeq-Formel |
Beispiel 1 |
Qedeq-Modul mit den Axiomen der Aussagenlogik, dies ist ein Beispiel für ein Qedeq-Modul |
Beispiel 2 |
Qedeq-Modul mit Beweisen, ein weiteres Beispiel |
Text |
Definition eines textförmigen Qedeq-Moduls in BNF-Notation
|
|