Meine frage wäre wie man so triviale sachen beweist … für mich ist es ja logisch das zu übersetzen und das dies gilt … doch wie würde ein formaler beweis aussehen ?
Beweisen sie “existenzquantor“ €
Für alle, die mir helfen möchten (automatisch von OnlineMathe generiert): "Ich möchte die Lösung in Zusammenarbeit mit anderen erstellen."