Home / Syllogism checker
Syllogism checker القِيَاس
Choose a figure and the form of each premise. The checker tells you whether they produce a conclusion, and if not, which condition of productivity (sharṭ al-intāj) is broken.
The four figures
The figure depends on where the middle term stands in the two premises.
First
Predicate of the minor, subject of the major.
Predicate of the minor, subject of the major.
Second
Predicate of both premises.
Predicate of both premises.
Third
Subject of both premises.
Subject of both premises.
Fourth
Subject of the minor, predicate of the major.
Subject of the minor, predicate of the major.
See also: syllogism (qiyās), proposition (qaḍiyya).