How is law of detachment and syllogism related in reasoning?