MACM 101 Lecture 5: Lecture 5 Part 2_ Rules of Inference
Document Summary
In the case, p = 0, q = 1, both conditions (p q and q) are true, but p is false. The general form of an argument in symbolic form is. The argument is valid if whenever each of the premises is true the conclusion is also true. The argument is valid if and only if the following compound statement is a tautology. (p1 p2 p3 pn) q. Verifying if a complicated statement is a tautology is nearly impossible, even for computer. Fortunately, general arguments can be replaced with small collection of simple ones, rules of inference. If you have a current password, then you can log onto the network. The corresponding tautology ((p q) (q r)) (p r) If you send me an e-mail, then i"ll finish writing the program. I"ll go to sleep early. p - you will send me an e-mail" q - i will finish writing the program" r - i will go to sleep early".