Laws of Detachment and Syllogism