ΕΥΘΕΙΑ ΑΠΟΔΕΙΞΗ ονομάζουμε την μέθοδο με την οποία καταλήγουμε από την υπόθεση στο συμπέρασμα με διαδοχικά βήματα.
ΑΠΑΓΩΓΗ ΣΕ ΑΤΟΠΟ είναι η μέθοδος απόδειξης κατά την οποία υποθετουμε ότι δεν ισχύει αυτό που θέλουμε να αποδειξουμεκαι μέσα από αληθής προτάσεις καταλήγουμε σε ένα συμπέρασμα το οποίο έρχεται σε αντίθεση με αυτό που γνωρίζουμε ότι ισχύει.
ΑΝΤΙΠΑΡΑΔΕΙΓΜΑ ονομάζουμε τη μέθοδο για να αποδείξουμε ότι ένας ισχυρισμός δεν είναι πάντα αληθής βρίσκοντας ένα παράδειγμα για το οποίο ο συγκρεκρισμενος ισχυρισμός δεν ισχύει.