MDLUL/abgeschlossen unter Ableitungen (Prädikatenlogik)

Start=abgeschlossen unter Ableitungen (Prädikatenlogik)

MDLUL/abgeschlossen unter Ableitungen (Prädikatenlogik)

Ziel=Prädikatenlogik/Maximal widerspruchsfrei/Folgerungen/Fakt