Lösung von Aufgabe 3.5 (WS 23 24)

Kommentieren Sie den folgenden Definitionsversuch:

Definition: (gleichschenkliges Dreieck)

Es gibt Dreiecke, die zwei zueinander kongruente Innenwinkel haben. Diese Dreiecke heißen gleichschenklige Dreiecke.

Mein Vorschlag: Der Definitionsversuch ist eine Existenzaussage und keine Definition. Somit wäre die Aussage zu beweisen um daraus eine Definition abzuleiten. --Capricorn (Diskussion) 21:48, 30. Okt. 2023 (CET)

Mein Vorschlag: Die Informationen in der versuchten Definition sind richtig, allerdings handelt es sich um eine Aussage, die bewiesen werden muss und somit ist es keine Definition.--End007 (Diskussion) 11:16, 31. Okt. 2023 (CET)

genau :) Ihr habt beide Recht. --Matze2000 (Diskussion) 11:00, 2. Nov. 2023 (CET)

Nachfrage zu vorherigen Antworten: Warum genau handelt es sich um eine Existenzaussage? Kann man es alleine an "Es gibt.." ausmachen? Oder gibt es noch andere Charakteristiken einer Existenzaussage?

Bitte markiert das nächste mal, wer diese Nachfrage geschrieben hat :). Existenzaussagen erkennst du daran, dass die die Existenz geometrischer Objekte beschreiben aber keine Eigenschaften nennen, die diese Objekte definieren (Es gibt, Es existiert etc....). Sie unterscheiden sich von Sätzen, die immer eine Voraussetzung und eine Behauptung beinhalten. --Matze2000 (Diskussion) 12:58, 8. Nov. 2023 (CET)