320 likes | 537 Views
Valid AND Invalid Arguments 2.3 . Instructor: Hayk Melikya melikyan@nccu.edu. Argument. An argument is a sequence of propositions (statements ), and propositional forms. All statements but the final one are called assumptions or hypothesis .
E N D
Valid AND Invalid Arguments 2.3 Instructor: Hayk Melikya melikyan@nccu.edu
Argument An argument is a sequence of propositions (statements ), and propositional forms. All statements but the final one are called assumptions or hypothesis. The final statement is called the conclusion. An argument is valid if: whenever all the assumptions are true, then the conclusion is true. The conclusion is said to be inferred, entails or deduced from the truth of the premises If today is Wednesday, then yesterday is Tuesday. Today is Wednesday. Yesterday is Tuesday.
Entailment • A collection of statements P1,…,Pn (premises) entails statement Q (conclusion) if and only if: • Whenever all premises hold the conclusion holds • For every interpretation I that makes all Pj hold (true), I also makes Q hold (true) • Notations for valid arguments: P1,…,PnQ or P1,…,Pn├ Q • Example Premises: P1= “If Socrates is human then Socrates is mortal” P2 = “Socrates is human” Conclusion: Q = “Socrates is mortal”
Modus Ponens Valid Argument Forms p and p q then q To sat that an argument form is valid if no matter what particular propositions are substituted for the propositional variables in its promises if the resulting promises are true then the conclusion is also true If you are a fish, then you drink water. You drink water. You are a fish. Modus ponens is Latin meaning “method of affirming”.
Modus Tollens P Q, ~ Q ├ ~ P If p then q. ~q ~p If you are a fish, then you drink water. You are not a fish. You do not drink water. Modus tollens is Latin meaning "method of denying”.
Equivalence • A student is trying to prove that propositions P, Q, and R are all true. • She proceeds as follows. • First, she proves three facts: • P implies Q • Q implies R • R implies P. • Then she concludes, • ``Thus P, Q, and R are all true.'' Proposed argument: Is it valid?
Valid Argument? Conclusion true whenever all assumptions are true. assumptions conclusion To prove an argument is not valid, we just need to find a counterexample.
Contradiction If you can show that the assumption that the statement p is false leads logically to a contradiction, then you can conclude that p is true. You are working as a clerk. If you have won Mark 6, then you would not work as a clerk. You have not won Mark 6.
Propositional Logic • Method #1: • Go through all possible interpretations and check the definition of valid argument • Method #2: • Use derivation rules to get from the premises to the conclusion in a logically sound way • “derive the conclusions from premises”
Method #1 • Section 1.3 in the text proves many arguments/inference rules using truth tables • Suppose the argument is: P1,…,PN therefore Q Create a truth table for formula F=(P1 & … & PN Q) Check if F is a tautology
But Why? P1 P2 . . . PN Q • Formula A entails formula Biff (A B) is a tautology • In general: • premises P1,…,PN entail Q Iff formula F=(P1 & … & PN Q) is a tautology
Examples P v Q v R ~R Q P v Q v R ~R P v Q valid/invalid? (example 1.3.1 in the book, p. 30)
Examples • P Q • Q • entails • P • valid/invalid?
Example P v Q ~P ~Q P Q • valid/invalid? • Any argument with a contradiction in its premises is valid by default…
Method #2 : Derivations • To prove that an argument is valid: • Begin with the premises • Use valid/sound inference rules • Arrive at the conclusion
Inference Rules (Logic Rules) • But what are these “inference rules”? They are simply… - valid arguments! • Example: • X Y • X Y Z W • therefore • Z Wby modus ponens
Example • (X Y Z W) K • X Y • therefore • Z W • How? • (X Y Z W) K • X Y Z Wby conjunctive simplification • X Y • Z Wby modus ponens
Derivations • The chain of inference rules that starts with the premises and ends with the conclusion is called a derivation: • The conclusion is derived from the premises Such a derivation makes a proof of argument’s validity
Example • (X Y Z W) K • X Y • therefore • Z W • How? • (X Y Z W) K • X Y Z Wby conjunctive simplification • X Y • Z Wby modus ponens derivation
Definition Let H1, H2, … Hk and Q be propositional expressions. A propositional expression Q is sad to be logical consequenceof H1, H2, … Hk if Q is true whenever all H1, H2, … Hk are evaluated to be true. This relationship is expressed symbolically by writing H1, H2, … HkQ. Or H1, H2, … Hk ├ Q This is, what is called rule of inference or valid argument. It is normally read as H1, H2, …, and Hk yield Q H1, H2, …, and Hkentails Q .
Example: The following truth table shows P, P Q ├ Q since it proves that (P (P Q)) Q is a tautology
Not a valid arguments If for some propositional forms H1, H2, … Hk and Q we have all H1, H2, … Hk are evaluated to be true and Q false, then we say that Q does notlogically follow from H1, H2, … Hk . We will use the following notation to indicate that by H1, H2, … Hk├?Q (we call this invalid argument). Example: Show thatQ, P Q ├? P (is not valid argument).
Theorem (LR):Let P, Q, R, and S be propositional expressions then the followings are valid arguments (rules of logic or inference rules ) 1. P Q, P├ Q Modus Ponens [MP] 2. PQ , Q ├ P Modus Tolens [MT] 3.(P Q) (R S), P R ├ Q S Constructive Dilemma [CD] 4. P Q ├ P Simplification [Simp] 5. P├ P Q or Q ├ P Q Addition (Generalization) [Add] 6. P, Q ├ P Q Conjunction [Conj] 7. P Q , P ├ Q or P Q , Q ├ P Disjunctive Syllogism [DS](Ellimination) 8. (P Q) ( R S), Q S ├ P R Destructive Dilemma [DD] 9. P Q, Q R├ P R Transitivity [Tr]
Definition of proof A proof of Q from H1, H2, … Hk is finite sequence of propositional forms Q 1, Q 2, … Qn such thatQnis same asQand everyQj is either one ofHi, (i = 1, 2, … , k) or it follows from the proceedings by the logic rules. Note: In these proofs we will follow the following formats: We begin with by listing all the hypotheses (marked as Hyp), then the sequence of propositional forms followed by the reason (short description of rules) that allowed that proposition to be included in proof in the same line and end with the conclusion. To make referencing easier we will number the lines and use abbreviated names of logic rules specified in the Theorem (RL1).
Example: Prove (P Q) (Q R), P ├ Q Proof: 1. (P Q) (Q R) Hyp 2. P Hyp 3. P Q 3 Add 4. Q R 3, 1 MP 5. Q 4 S . END
Example: (P Q), P (R S), Q ├ (R S) Proof: 1. (P Q) Hyp 2. P (R S) Hyp 3. Q Hyp 4. P 1,3 MT 5. (R S) 2,4 DS END
Second Type of Logic rules (Rules of Replacement) • Recall that if two propositional expressions P and Q are logically equivalentP Qif they have same truth tables. • Now suppose P Q and P appears in a propositional expression R. If in R some of the appearances of P is replaced by Q then the new resulting propositional expression R’ is logically equivalent to R. • To make proof writing more flexible we will extend rules of logic by adding some simple rules of replacement listed in the following theorem.
Theorem RR ( See theorem 1.1.1)(replacement rules) Commutative Law [Com] 2. Associative Law [Assoc] P Q Q P , (P Q ) R P (Q R) P Q Q P (P Q ) R P (Q R) 3. Distributive Law [Dist] 4. Contrapositive Law [Contr] P (Q R) (P Q) (P R) (P Q) (~ Q P) P (Q R) (P Q) (P R) 5. DeMorgan Law [DeM] 6. Double Negation [DN] ~ ( P Q) (~ P ~ Q ) ~ ~ (P) P ~ ( P Q) (~ P ~ Q ) 7. Implication Law [Impl] 8. Equivalence Law [Equiv] (P Q) (~ P Q)P Q ( P Q) (Q P) P Q (P Q) (~ Q ~ P) 9. Exportation [Exp] 10. Tautology (Identity) [ Taut] (P Q) R P (Q R) P P P orP P P 11.P t P and P c c12P t tand P c P t-tautolagyand c-contradiction
Eample: Prove (P Q), (R Q)├ (P R) Q Proof: 1. P Q Hyp 2. R Q Hyp 3. P Q 1 Impl 4. R Q 2 Impl 5. ( P Q) ( R Q) 3,4 Conj 6. (Q P) (Q R) 5 Com 7. Q ( P R) 6 Dist 8. Q (P R) 7 DeM 9. (P R) Q 8 Com 10. (P R) Q 9 Impl END
Practice problems • Study the Sections 2.3 from your textbook. • Be sure that you understand all the examples discussed in class and in textbook. • Only after you complete the proof of the Theorem LR from the notes • Do the following problems from the textbook: Exercise 2.3, # 2, 3, 7, 8, 15, 26, 36, 43, 44, 46, 51.