MDLUL/Tautologie (Prädikatenlogik allgemeingültig)

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

Start=Tautologie (Prädikatenlogik allgemeingültig)

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