Συχνά
είναι δύσκολο στα Μαθηματικά να ορίσεις κάτι. Για παράδειγμα τι ονομάζουμε
τρίγωνο;
Α) Είδη ορισμών
Η Λογική διαθέτει τρία εργαλεία για να ορίσεις μια έννοια, τα τρία είδη ορισμών
είναι:
Καταφατικός ορισμός: Μας ορίζει ακριβώς τι
είναι με την βοήθεια προηγούμενων εννοιών που έχουν οριστεί.
π.χ. Τι οξυγώνιο τρίγωνο; Το τρίγωνο που όλες τις γωνίες του είναι οξείες.
Περιγραφικός
ορισμός: Μέσω από την περιγραφή
των ιδιοτήτων ή των λειτουργιών του μας ορίζει την έννοια.
π.χ. Τι ονομάζουμε διάμεσος ενός τριγώνου; Λέγεται το ευθύγραμμο τμήμα που ενώνει μια κορυφή τριγώνου με το μέσο της απέναντι πλευράς.
Αποφατικός ορισμός: μας λέει τι δεν είναι
π.χ.
Τι ονομάζουμε αντίρροπα διανύσματα; Τα παράλληλα διανύσματα που δεν είναι
ομόρροπα.
πχ.
Τι ονομάζουμε παράλληλες ευθείες; Οι ευθείες που δεν τέμνονται στο επίπεδο.