Zum Inhalt springen

MDLUL/maximal widerspruchsfrei (Prädikatenlogik)

Aus Wikiversity
MDLUL/maximal widerspruchsfrei (Prädikatenlogik)

Start=maximal widerspruchsfrei (Prädikatenlogik)

Ziel=Ausdrucksmenge/Maximal widerspruchsfrei/Definition