Informatiker Board | Logik | aussagenlogische Resolution

Registrierung

Kalender

Mitgliederliste

Teammitglieder

Suche

Häufig gestellte Fragen

Zur Startseite

Informatiker Board » Themengebiete » Theoretische Informatik » Logik » aussagenlogische Resolution

» Hallo Gast [Anmelden|Registrieren]

Letzter Beitrag | Erster ungelesener Beitrag

Druckvorschau | An Freund senden | Thema zu Favoriten hinzufügen

Neues Thema erstellen

Antwort erstellen

Zum Ende der Seite springen

aussagenlogische Resolution

Autor

Beitrag

« Vorheriges Thema | Nächstes Thema »

Haevelin
Tripel-As

Dabei seit: 04.06.2013
Beiträge: 221

aussagenlogische Resolution

Auf diesen Beitrag antworten

Zitatantwort auf diesen Beitrag erstellen

Diesen Beitrag editieren/löschen

Diesen Beitrag einem Moderator melden

Zum Anfang der Seite springen

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?

08.04.2017 16:21

Haevelin ist offline

Beiträge von Haevelin suchen

Nehmen Sie Haevelin in Ihre Freundesliste auf

Haevelin
Tripel-As

Dabei seit: 04.06.2013
Beiträge: 221

RE: aussagenlogische Resolution

Auf diesen Beitrag antworten

Zitatantwort auf diesen Beitrag erstellen

Diesen Beitrag editieren/löschen

Diesen Beitrag einem Moderator melden

Zum Anfang der Seite springen

Wie kann ich das mit Latex besser darstellen?

11.04.2017 15:59

Haevelin ist offline

Beiträge von Haevelin suchen

Nehmen Sie Haevelin in Ihre Freundesliste auf

Baumstruktur | Brettstruktur

Neues Thema erstellen

Antwort erstellen

Informatiker Board » Themengebiete » Theoretische Informatik » Logik » aussagenlogische Resolution

© by Informatikerboard.de
Forensoftware: Burning Board, entwickelt von WoltLab GmbH