MDLUL/semantische Tautologie (Prädikatenlogik)
Start=semantische Tautologie (Prädikatenlogik)
MDLUL/semantische Tautologie (Prädikatenlogik) |
---|
Ziel=Prädikatenlogik/Allgemeingültig/Jedes Modell/Definition
Start=semantische Tautologie (Prädikatenlogik)
MDLUL/semantische Tautologie (Prädikatenlogik) |
---|
Ziel=Prädikatenlogik/Allgemeingültig/Jedes Modell/Definition