Relation/Dreieck/R und S/Quantoren/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Für Punkte in der Ebene bedeute die Rechtwinkligkeit des durch gegebenen Dreiecks an der Ecke und die pythagoreische Längenbeziehung. Betrachte die beiden formalen Aussagen

und

Welche ist (sind) eine Formalisierung des Satzes von Pythagoras, welche ist (sind) wahr?
Eine Lösung erstellen