MDLUL/semantische Tautologie (Prädikatenlogik)

Start=semantische Tautologie (Prädikatenlogik)

MDLUL/semantische Tautologie (Prädikatenlogik)

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