Informatiker Board (http://www.informatikerboard.de/board/index.php)
- Themengebiete (http://www.informatikerboard.de/board/board.php?boardid=1)
--- Theoretische Informatik (http://www.informatikerboard.de/board/board.php?boardid=5)
---- Logik (http://www.informatikerboard.de/board/board.php?boardid=16)
----- aussagenlogische Resolution (http://www.informatikerboard.de/board/thread.php?threadid=3525)
Geschrieben von Haevelin am 08.04.2017 um 16:21:
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?
Geschrieben von Haevelin am 11.04.2017 um 15:59:
RE: aussagenlogische Resolution
Wie kann ich das mit Latex besser darstellen?
Forensoftware: Burning Board, entwickelt von WoltLab GmbH