Zum Inhalt springen

MDLUL/abgeschlossen unter Ableitungen (Prädikatenlogik)

Aus Wikiversity
MDLUL/abgeschlossen unter Ableitungen (Prädikatenlogik)

Start=abgeschlossen unter Ableitungen (Prädikatenlogik)

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