Al-Farabi, Syllogism: An Abridgement of Aristotle’s Prior Analytics