text: includes predicates for 
  Aristotelian 
  simple properties of entities. But it lacks predicates 
  corresponding to relations between entities.[111] The 
  predicate can be linked to the subject in two ways: 
  either by affirming it or by denying it.[112] For 
  example, the proposition "Socrates is not a cat" 
  involves the denial of the predicate "cat" to the 
  subject "Socrates". Using combinations of subjects 
  and predicates, a great variety of propositions and 
  syllogisms 
  are 
  characterized by the fact that the premises are linked 
  to each other and to the conclusion by sharing one 
  in each case.[113] Thus, 
  predicate 
  three 
  propositions contain three predicates, referred to as 
  *major term*,*minor term*, and*middle term*.[114] The 
  central aspect of Aristotelian 
  involves 
  classifying all possible syllogisms into valid and 
  invalid arguments according to how the propositions 
  are formed.[112][115] For example, the syllogism "all 
  men are mortal; Socrates is a man; therefore Socrates is mortal" is valid. The syllogism "all cats are 
  mortal; Socrates is mortal; therefore Socrates is a cat", on the other hand, is invalid.[116] 
  
  logic only 