aussagenlogische Resolution

Neue Frage »

Auf diesen Beitrag antworten »
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?
 
Auf diesen Beitrag antworten »
Haevelin RE: aussagenlogische Resolution

Wie kann ich das mit Latex besser darstellen?
 
Neue Frage »
Antworten »


Verwandte Themen

Die Beliebtesten »
Die Größten »
Die Neuesten »