Prädikatenlogik/Gleichheitstautologien/Mehrfache Substitution/Fakt/Beweis

< Prädikatenlogik/Gleichheitstautologien/Mehrfache Substitution/Fakt

Beweis

Zur bewiesenen Aussage

Abgerufen von „https://de.wikiversity.org/w/index.php?title=Prädikatenlogik/Gleichheitstautologien/Mehrfache_Substitution/Fakt/Beweis&oldid=762151“