Beispiel Logische Konsequenz

Beispiel Logische Konsequenz

Frage:

Gegeben sei das Programm:

$married; bachelor :- man, adult.$
$man.$
$:- bachelor.$

Welche der folgenden Anfragen ist logische Konsequenz des Programms?

$married :- adult.$
$married :- bachelor.$
$bachelor :- man.$
$bachelor :- bachelor.$

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.