|
|
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
|
|
