Law of detachment or law of syllogism