Aristotle uses variable letters to represent valid inferences in Prior Analytics, leading Jan Łukasiewicz to say that the introduction of variables was "one of Aristotle's greatest inventions".
Ο Αριστοτέλης χρησιμοποιούσε μεταβλητά γράμματα να παριστάνουν έγκυρα συμπεράσματα στα Αναλυτικά Πρότερα έτσι ώστε ο Τζαν Λουκάσιεβιτς να πει ότι η εισαγωγή των μεταβλητών ήταν «μία από τις μεγαλύτερες εφευρέσεις του Αριστοτέλη».