Relation/Dreieck/R und S/Quantoren/Aufgabe

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?