Syllogism in Buddhist Logic

A typical Syllogism in Buddhist Logic would consist of a Subject, a Predicate, a Reason , an Example.

A simple example would be:

Socrates is Mortal. Because he is a Man.

For a Syllogism to be Valid and True, the requirements are as follows:

1. The Reason must be equal to the Subject
2. The Reason must be equal to the Predicate or be pervaded by the Predicate
3. There must be Forward Pervasion: Take Socrates, it follows he is Mortal because he is a Man
4. There must be Reverse Pervasion: Take Socrates, it follows he is NOT a Man because he NOT Mortal

Acharya Dharmakirti prescribes status quo of the General Entity and not splitting it into Specific

For Example:

The Valid Syllogism would be: Sound is Impermanent because it is Produced.

An Invalid Syllogism would be: Sound is Impermanent because it is Produced of Sound