• 

  Syntax der Aussagenlogik

  http://www-ai.cs.uni-dortmund.de:8765/lexikon/theorie/logik/node2.html#Hornformel

  Aussagenlogik

• 

  Prädikatenlogik

  http://www-ai.cs.uni-dortmund.de:8765/lexikon/theorie/logik/node3.html

  Pr?dikatenlogik

---

---