MDLUL/abgeschlossen unter Ableitungen (Prädikatenlogik)

Links hinzufügen
Aus Wikiversity
MDLUL/abgeschlossen unter Ableitungen (Prädikatenlogik)

Start=abgeschlossen unter Ableitungen (Prädikatenlogik)

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

Abgerufen von „https://de.wikiversity.org/w/index.php?title=MDLUL/abgeschlossen_unter_Ableitungen_(Prädikatenlogik)&oldid=401588“