Zum Inhalt springen

Ausdrucksmenge/Maximal widerspruchsfrei/Definition/Begriff

Aus Wikiversity

Eine maximal widerspruchsfreie prädikatenlogische Ausdrucksmenge .