Logic Proofs - Bethlehem Central School District - Delmar, NY逻辑的证明-伯利恒中心学区-德尔马，纽约.pptVIP

Logic Proofs Definitions: Logically equivalent: when two statements always have the same truth value. Premise: the statement that is given and excepted to be true. Conclusion: the statement that has come from the premises. Law of Detachment(a law of inference) The Law of Detachment states that when two given premises are true, one a conditional and the other the hypothesis of that conditional it then follows that the conclusion of the conditional is true. If you are given a conditional and the hypothesis the conclusion is true. p? q and p therefore q Law of Contrapositive The Law of Contra