LawOfDetachment.md (349B)
1 # Law of Detatchment 2 3 U 1.6.1 4 5 **Definition:** The law of detachment is a law that specifies a form that valid arguments can take. 6 7 This form is $(p \wedge (p\to q) \to q$. 8 9 Simply, this can be thought of as stating if you have a premise that implies something then that implied statement can be assumed true given that all premises are also true.