According to classical Indian School of Logc (Nyãya) which of the following steps of inference involves synthesis of major term (sãdhya), middle term (hetu) and the minor term (pakșa)?
1
Heraclitus is mortal.
2
Because he is a man.
3
Whoever is a man is a mortal, e.g. Parmanides.
4
Heraclitus is a man who is invariably a mortal.