Law of Syllogism and Law of Detachment