MDLUL/allgemeingültig (Prädikatenlogik)

Aus Wikiversity
MDLUL/allgemeingültig (Prädikatenlogik)

Start=allgemeingültig (Prädikatenlogik)

Ziel=Prädikatenlogik/Allgemeingültig/Jedes Modell/Definition