In Aristotelian logic, a proposition is a specific kind of sentence that confirms or denies an action or predicate took place through a subject. Aristotelian propositions take forms like "All men are mortal" and "Socrates is a man". In each sentence, the subject (men, Socrates) has a status (are mortal, is a man) which can be regarded as true or false.