Syntax der Aussagenlogik

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

Aussagenlogik