Die letzten 2 Beiträge |
Haevelin |
RE: aussagenlogische Resolution
Wie kann ich das mit Latex besser darstellen? |
Haevelin |
aussagenlogische Resolution
Was ergibt die aussagenlogische Resolution der Klauseln {A,B} und {!A,!B}. Ich habe zunächst an die leere Menge gedacht, aber dann in einem Skript gefunden, dass das nicht die Lösung ist. Warum nicht? |
|
|