Diskussion:Aussagenlogik

Dies ist eine alte Version dieser Seite, zuletzt bearbeitet am 25. Mai 2003 um 14:02 Uhr durch Zeno Gantner (Diskussion | Beiträge) (was noch fehlt). Sie kann sich erheblich von der aktuellen Version unterscheiden.
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)

was noch fehlt:

  • null-stellige Operatoren (F, T)
  • Formeln in TeX
  • Satz über das Verhältnis zur Prädikatenlogik
  • Hinweis auf Klauseln, Normalformeln, usw.