DERIVATIONS AND TRUTH TABLES
|
|
- Sara Paul
- 5 years ago
- Views:
Transcription
1 DERIVATIONS AND TRUTH TABLES Tomoya Sato Department of Philosophy University of California, San Diego Phil120: Symbolic Logic Summer 2014 TOMOYA SATO LECTURE 3: DERIVATIONS AND TRUTH TABLES 1 / 65
2 WHAT IS LOGIC? LOGIC Logic is the study of formal validity. TOMOYA SATO LECTURE 3: DERIVATIONS AND TRUTH TABLES 2 / 65
3 REVIEW SENTENCES IN SYMBOLIC LANGUAGE Any capital letter between "P" and "Z" is a symbolic sentence (an atomic sentence). If "ϕ" is a symbolic sentence, so is " ϕ" (a molecular sentence). (called a negation of ϕ) If "ϕ" and "ψ" are symbolic sentences, so is "(ϕ ψ)" (a molecular sentence). (called a conditional) Nothing is a symbolic sentence of Chapter 1 unless it can be constructed by means of these provisions. TOMOYA SATO LECTURE 3: DERIVATIONS AND TRUTH TABLES 3 / 65
4 REVIEW Modus Ponens ϕ ψ ϕ ψ Modus Tollens ϕ ψ ψ ϕ TOMOYA SATO LECTURE 3: DERIVATIONS AND TRUTH TABLES 4 / 65
5 REVIEW Double Negation ϕ ϕ ϕ ϕ Repetition ϕ ϕ. TOMOYA SATO LECTURE 3: DERIVATIONS AND TRUTH TABLES 5 / 65
6 REVIEW THREE TYPES OF DERIVATIONS Direct derivation; Conditional derivation; Indirect derivation. THEOREM If there is a complete derivation for an argument, then the argument is formally valid. TOMOYA SATO LECTURE 3: DERIVATIONS AND TRUTH TABLES 6 / 65
7 CHAPTER 2, SECTION 1 SYMBOLS OF SYMBOLIC LANGUAGE OF CHAPTER 1 Atomic sentences: P, Q, R,... Z. Logical connectives:, SYMBOLS OF SYMBOLIC LANGUAGE OF CHAPTER 2 Atomic sentences: P, Q, R,... Z. Logical connectives:,,,, TOMOYA SATO LECTURE 3: DERIVATIONS AND TRUTH TABLES 7 / 65
8 SYMBOLIC LANGUAGE SYMBOLIC SENTENCES IN SYMBOLIC LANGUAGE Any capital letter between "P" and "Z" is a symbolic sentence (an atomic sentence). If "ϕ" is a symbolic sentence, so is " ϕ" (a molecular sentence). (called a negation of ϕ) If "ϕ" and "ψ" are symbolic sentences, so are "(ϕ ψ)", "(ϕ ψ)", "(ϕ ψ)", "(ϕ ψ)" (molecular sentences). (called a conditional, a conjunction, a disjunction, a biconditional) Nothing is a symbolic sentence for purposes of Chapter 2 unless it can be generated by means of these provisions. EXAMPLES ( P Q), ((Q R) P), (P (Q R)). (P Q), (P Q R), ( PQ). TOMOYA SATO LECTURE 3: DERIVATIONS AND TRUTH TABLES 8 / 65
9 CONVENTIONS RULES OF SYMBOLIC SENTENCES You can use ( ), [ ], and { }; You can omit the outermost parentheses ( ) INFORMAL CONVENTIONS P Q R is an informal notation for (P Q) R; P Q R is an informal notation for P (Q R). TOMOYA SATO LECTURE 3: DERIVATIONS AND TRUTH TABLES 9 / 65
10 CHAPTER 2, SECTION 2 THE MEANINGS OF NEW SYMBOLS " " corresponds to "and", "but", etc. " " corresponds to "or", "unless", etc. " " corresponds to "if and only if", etc. TOMOYA SATO LECTURE 3: DERIVATIONS AND TRUTH TABLES 10 / 65
11 "BUT" AND "UNLESS" "BUT" AND "AND" "But" and "and" are equivalent connectives from a logical point of view. Tomoya is Japanese but he loves junk food. Tomoya is Japanese and he loves junk food. "UNLESS" AND "OR" "Unless" and "or" are equivalent connectives from a logical point of view. I won t go to the party unless there is junk food. I won t go to the party or there is junk food. TOMOYA SATO LECTURE 3: DERIVATIONS AND TRUTH TABLES 11 / 65
12 SYMBOLIZATION SYMBOLIZATION Tomoya is Japanese but he loves junk food. P : Tomoya is Japanese. Q : Tomoya loves junk food. P Q SYMBOLIZATION I will have pizza for lunch or I will have a hamburger for lunch. R : I will have pizza for lunch. S : I will have a hamburger for lunch. R S SYMBOLIZATION Number n is odd if and only if n is not divisible by 2. T : Number n is odd. U : n is divisible by 2. T U TOMOYA SATO LECTURE 3: DERIVATIONS AND TRUTH TABLES 12 / 65
13 CHAPTER 2, SECTION 3 SCHEME OF ABBREVIATION P : Peter is a UCSD student. Q : Quincy is a UCSD student. SYMBOLIZATION Peter and Quincy are UCSD students. Peter is a UCSD student and Quincy is a UCSD student. P Q SYMBOLIZATION Peter, but not Quincy, is a UCSD student. Peter is a UCSD student but Quincy is not a UCSD student. P Q TOMOYA SATO LECTURE 3: DERIVATIONS AND TRUTH TABLES 13 / 65
14 SYMBOLIZATION "NOT BOTH" Not both Peter and Quincy are UCSD students. It is not the case that both Peter and Quincy are UCSD students. (P Q) Peter is not a UCSD student or Quincy is not a UCSD student. P Q "EITHER OR" Either Peter or Quincy is a UCSD student. Peter is a UCSD student or Quincy is a UCSD student. P Q TOMOYA SATO LECTURE 3: DERIVATIONS AND TRUTH TABLES 14 / 65
15 SYMBOLIZATION "NEITHER NOR" Neither Peter nor Quincy is a UCSD student. It is not the case that either Peter is a UCSD student or Quincy is a UCSD student. (P Q) Peter is not a UCSD student and Quincy is not a UCSD student. P Q TOMOYA SATO LECTURE 3: DERIVATIONS AND TRUTH TABLES 15 / 65
16 EXERCISES SCHEME OF ABBREVIATION W = Wilma attends. S = Sally attends. R = Robert will be bored. P = Peter will be bored. If neither Wilma nor Sally attends, either Robert or Peter will be bored. (W S) (R P) TOMOYA SATO LECTURE 3: DERIVATIONS AND TRUTH TABLES 16 / 65
17 EXERCISESS SCHEME OF ABBREVIATION V = Veronica will leave. W = William will leave. Y = Yolanda will leave. EXERCISESS 1 Veronica won t leave if and only if William won t leave. 2 William and Veronica will both leave if Yolanda does, given that Veronica doesn t. 3 Veronica or William will leave unless Yolanda leaves. 4 Either Yolanda leaves and Veronica doesn t, or Veronica leaves and William doesn t. TOMOYA SATO LECTURE 3: DERIVATIONS AND TRUTH TABLES 17 / 65
18 CHAPTER 2, SECTION 4 THE FIRST FOUR INFERENCE RULES mp: Modus Ponens; mt: Modus Tollens; dn: Double Negation; r: Repetition. Modus Ponens ϕ ψ ϕ ψ Modus Tollens ϕ ψ ψ ϕ TOMOYA SATO LECTURE 3: DERIVATIONS AND TRUTH TABLES 18 / 65
19 REVIEW Double Negation ϕ ϕ ϕ ϕ Repetition ϕ ϕ TOMOYA SATO LECTURE 3: DERIVATIONS AND TRUTH TABLES 19 / 65
20 INFERENCE RULES Simplification (s) ϕ ψ ϕ / ψ Adjunction (adj) ϕ ψ ϕ ψ 3. P (Q R).. 7. P Q R 3. S T.. 7. U 8. (S T) U U (S T) TOMOYA SATO LECTURE 3: DERIVATIONS AND TRUTH TABLES 20 / 65
21 INFERENCE RULES Simplification (s) ϕ ψ ϕ / ψ Both Peter and Quincy are UCSD students Peter is a UCSD student. Quincy is a UCSD student. TOMOYA SATO LECTURE 3: DERIVATIONS AND TRUTH TABLES 21 / 65
22 INFERENCE RULES Adjunction (adj) ϕ ψ ϕ ψ Peter is a UCSD student. Quincy is a UCSD student. Both Peter and Quincy are UCSD students TOMOYA SATO LECTURE 3: DERIVATIONS AND TRUTH TABLES 22 / 65
23 INFERENCE RULES Addition (add) ϕ (ϕ ψ) / (ψ ϕ) Modus tollendo ponens (mtp) ϕ ψ ψ / ϕ ϕ / ψ 3. P.. 7. (Q R) P R ((Q R) P) 3. S T.. 7. S T TOMOYA SATO LECTURE 3: DERIVATIONS AND TRUTH TABLES 23 / 65
24 INFERENCE RULES Addition (add) ϕ (ϕ ψ) / (ψ ϕ) Peter is a UCSD student. Either Peter or Quincy is a UCSD student. Either Peter or Roger is a UCSD student. TOMOYA SATO LECTURE 3: DERIVATIONS AND TRUTH TABLES 24 / 65
25 INFERENCE RULES Modus tollendo ponens (mtp) ϕ ψ ψ / ϕ ϕ / ψ Either Peter or Quincy is a UCSD student. Peter is not a UCSD student. Quincy is a UCSD student. TOMOYA SATO LECTURE 3: DERIVATIONS AND TRUTH TABLES 25 / 65
26 INFERENCE RULES bc ϕ ψ (ϕ ψ) / (ψ ϕ) cb ϕ ψ ψ ϕ ϕ ψ 3. P (Q R).. 7. P (Q R) (Q R) P 3. S T.. 7. T S S T 11. T S TOMOYA SATO LECTURE 3: DERIVATIONS AND TRUTH TABLES 26 / 65
27 INFERENCE RULES Biconditional-to-Conditional (bc) ϕ ψ (ϕ ψ) / (ψ ϕ) n is an odd number if and only if n is not divisible by 2. If n is an odd number, then n is not divisible by 2. If n is not divisible by 2, then n is an odd number. TOMOYA SATO LECTURE 3: DERIVATIONS AND TRUTH TABLES 27 / 65
28 INFERENCE RULES Conditional-to-Biconditional (cb) ϕ ψ ψ ϕ (ϕ ψ) / (ψ ϕ) If n is an odd number, then n is not divisible by 2. If n is not divisible by 2, then n is an odd number. n is an odd number if and only if n is not divisible by 2. TOMOYA SATO LECTURE 3: DERIVATIONS AND TRUTH TABLES 28 / 65
29 EXERCISES 1. S P 2. (P Q) R 3. Q R Q 1. R P 2. Q R P Q TOMOYA SATO LECTURE 3: DERIVATIONS AND TRUTH TABLES 29 / 65
30 CHAPTER 2, SECTION 5 STRATEGY P or ϕ: Use id. ϕ ψ: Use cd, unless dd is easier or you can get the consequence easily. ϕ ψ: Show ϕ ψ. Use cdj, then dd. ϕ ψ: Show ϕ, then show ψ. Then, adj and dd. ϕ ψ: Show both ϕ ψ and ψ ϕ. Then, cb and dd. TOMOYA SATO LECTURE 3: DERIVATIONS AND TRUTH TABLES 30 / 65
31 CHAPTER 2, SECTION 6 NOTE Abbreviating derivations is not allowed in this course. You can use one inference rule for each line. 1. P 2. Q P 3. Q R R 1. Show R 2. Q pr1 dn pr2 mt 3. R 2 dn pr3 mp dd TOMOYA SATO LECTURE 3: DERIVATIONS AND TRUTH TABLES 31 / 65
32 CHAPTER 2, SECTION 7 NOTE Using theorems as rules is not allowed in this course. TOMOYA SATO LECTURE 3: DERIVATIONS AND TRUTH TABLES 32 / 65
33 CHAPTER 2, SECTION 8 Conditional as Disjunction (cdj) ϕ ψ ϕ ψ ϕ ψ ϕ ψ ϕ ψ ϕ ψ ϕ ψ ϕ ψ TOMOYA SATO LECTURE 3: DERIVATIONS AND TRUTH TABLES 33 / 65
34 INFERENCE RULES Conditional as Disjunction (cdj) ϕ ψ ϕ ψ ϕ ψ ϕ ψ 3. P (Q R).. 7. P (Q R) 3. (S T) U.. 9. (S T) U TOMOYA SATO LECTURE 3: DERIVATIONS AND TRUTH TABLES 34 / 65
35 INFERENCE RULES Conditional as Disjunction (cdj) ϕ ψ ϕ ψ ϕ ψ ϕ ψ 3. P (Q R).. 7. P (Q R) 3. (S T) U.. 9. (S T) U TOMOYA SATO LECTURE 3: DERIVATIONS AND TRUTH TABLES 35 / 65
36 INFERENCE RULES Conditional as Disjunction (cdj) ϕ ψ ϕ ψ Unless you know the American culture, you cannot understand American jokes. If you don t know the American culture, you cannot understand American jokes. TOMOYA SATO LECTURE 3: DERIVATIONS AND TRUTH TABLES 36 / 65
37 INFERENCE RULES DEMORGAN (DM) A negation of a conjunction is equivalent to the disjunction of the opposites of its conjuncts. A negation of a disjunction is equivalent to the conjunction of the opposites of its conjuncts. (ϕ ψ) ϕ ψ (ϕ ψ) ϕ ψ ( ϕ ψ) ϕ ψ ( ϕ ψ) ϕ ψ TOMOYA SATO LECTURE 3: DERIVATIONS AND TRUTH TABLES 37 / 65
38 INFERENCE RULES (ϕ ψ) ϕ ψ "NOT BOTH" Not both Peter and Quincy are UCSD students. It is not the case that both Peter and Quincy are UCSD students. (P Q) Peter is not a UCSD student or Quincy is not a UCSD student. P Q TOMOYA SATO LECTURE 3: DERIVATIONS AND TRUTH TABLES 38 / 65
39 INFERENCE RULES (ϕ ψ) ϕ ψ "NEITHER NOR" Neither Peter nor Quincy is a UCSD student. It is not the case that either Peter is a UCSD student or Quincy is a UCSD student. (P Q) Peter is not a UCSD student and Quincy is not a UCSD student. P Q TOMOYA SATO LECTURE 3: DERIVATIONS AND TRUTH TABLES 39 / 65
40 INFERENCE RULES NOTE "nc", "sc", and "nb" are not allowed in this course. TOMOYA SATO LECTURE 3: DERIVATIONS AND TRUTH TABLES 40 / 65
41 THE LIST OF INFERENCE RULES 1 Modus Ponens (mp) 2 Modus Tollens (mt) 3 Double Negation (dn) 4 Repetition (r) 5 Simplification (s) 6 Adjunction (adj) 7 Addition (add) 8 Modus tollendo Ponens (mtp) 9 Biconditional-to-Conditional (bc) 10 Conditional-to-Biconditional (cb) 11 Conditional as Disjunction (cdj) 12 DeMorgan (dm) TOMOYA SATO LECTURE 3: DERIVATIONS AND TRUTH TABLES 41 / 65
42 CHAPTER 2, SECTION 10 The semantic method The proof-theoretic method Symbolization Formal Validity TOMOYA SATO LECTURE 3: DERIVATIONS AND TRUTH TABLES 42 / 65
43 TRUTH TABLE P Q R R Q R P (Q R) T T T F T T T T F T T T T F T F F F T F F T T T F T T F T T F T F T T T F F T F F T F F F T T T TOMOYA SATO LECTURE 3: DERIVATIONS AND TRUTH TABLES 43 / 65
44 TRUTH CONDITIONS When is a negation true? TRUTH CONDITION OF NEGATIONS P : Tommy loves In-N-Out french fries. P : Tommy doesn t love In-N-Out french fries. P is true if P is false. P is false if P is true. ϕ T F ϕ F T TOMOYA SATO LECTURE 3: DERIVATIONS AND TRUTH TABLES 44 / 65
45 TRUTH CONDITIONS When is a conjunction true? TRUTH CONDITION OF CONJUNCTIONS P : Peter loves In-N-Out french fries. Q : Quincy loves In-N-Out french fries. P Q : Peter and Quincy love In-N-Out french fries. P Q is true if both P and Q are true. P Q is false otherwise. ϕ ψ ϕ ψ T T T T F F F T F F F F TOMOYA SATO LECTURE 3: DERIVATIONS AND TRUTH TABLES 45 / 65
46 TRUTH CONDITIONS When is a disjunction true? TRUTH CONDITION OF DISJUNCTIONS P : You can ask for soup. Q : You can ask for salad. P e Q : You can ask for soup or salad. P e Q is true if you can ask for either soup or salad (but not both). P e Q is false otherwise. ϕ ψ ϕ e ψ T T F T F T F T T F F F TOMOYA SATO LECTURE 3: DERIVATIONS AND TRUTH TABLES 46 / 65
47 TRUTH CONDITIONS When is a disjunction true? TRUTH CONDITION OF DISJUNCTIONS P : You can ask for cream. Q : You can ask for sugar. P i Q : You can ask for cream or sugar. P i Q is true if you can ask for cream or sugar or both. P i Q is false otherwise. ϕ ψ ϕ i ψ T T T T F T F T T F F F TOMOYA SATO LECTURE 3: DERIVATIONS AND TRUTH TABLES 47 / 65
48 INCLUSIVE "OR" AND EXCLUSIVE "OR" TWO TYPES OF "OR" "Soup or Salad?" (Exclusive "or") "Cream or Sugar?" (Inclusive "or") ϕ ψ ϕ e ψ T T F T F T F T T F F F ϕ ψ ϕ i ψ T T T T F T F T T F F F TOMOYA SATO LECTURE 3: DERIVATIONS AND TRUTH TABLES 48 / 65
49 TRUTH CONDITIONS When is a conditional true? TRUTH CONDITION OF CONDITIONALS P : It rains. Q : The game will be called off. P Q : If it rains, the game will be called off. P Q is true if both P and Q are true. P Q is false if P is true but Q is false. ϕ ψ ϕ ψ T T T T F F F T T F F T TOMOYA SATO LECTURE 3: DERIVATIONS AND TRUTH TABLES 49 / 65
50 TRUTH CONDITIONS Why is a conditional true when its antecedent is false? ϕ ψ ϕ ψ T T T T F F F T T F F T EQUIVALENT SENTENCES P Q P Q When P is false, P is true. P Q is true. Therefore, P Q is also true. TOMOYA SATO LECTURE 3: DERIVATIONS AND TRUTH TABLES 50 / 65
51 TRUTH CONDITIONS When is a biconditional true? TRUTH CONDITION OF BICONDITIONALS P : n is an odd number Q : n + 1 is divisible by 2. P Q : n is an odd number if and only if n + 1 is divisible by 2. P Q is true if both P and Q are true, or both of them are false. P Q is false otherwise. ϕ ψ ϕ ψ T T T T F F F T F F F T TOMOYA SATO LECTURE 3: DERIVATIONS AND TRUTH TABLES 51 / 65
52 TRUTH TABLES OF LOGICAL CONNECTIVES ϕ ϕ T F F T ϕ ψ ϕ ψ T T T T F F F T F F F F ϕ ψ ϕ ψ T T T T F F F T T F F T ϕ ψ ϕ i ψ T T T T F T F T T F F F ϕ ψ ϕ ψ T T T T F F F T F F F T TOMOYA SATO LECTURE 3: DERIVATIONS AND TRUTH TABLES 52 / 65
53 TRUTH TABLE (P Q) Q HOW TO CONSTRUCT A TRUTH TABLE 1 Add columns for each atomic sentence letter. 2 Add columns for each molecular statement, including the full statement itself. 3 Fill in the "T"s and "F"s for the atomic sentences one column at a time, from left to right. (for n atomic sentences, you will need 2 n rows of "T"s and "F"s) 4 Fill in the "T"s and "F"s for the molecular sentences. P Q P Q (P Q) Q T T T T T F T F F T T T F F F T TOMOYA SATO LECTURE 3: DERIVATIONS AND TRUTH TABLES 53 / 65
54 TRUTH TABLE P (Q P) HOW TO CONSTRUCT A TRUTH TABLE 1 Add columns for each atomic sentence letter. 2 Add columns for each molecular statement, including the full statement itself. 3 Fill in the "T"s and "F"s for the atomic sentences one column at a time, from left to right. (for n atomic sentences, you will need 2 n rows of "T"s and "F"s) 4 Fill in the "T"s and "F"s for the molecular sentences. P Q P Q P P (Q P) T T F T F T F F F F F T T F F F F T T T TOMOYA SATO LECTURE 3: DERIVATIONS AND TRUTH TABLES 54 / 65
55 EXERCISES EXERCISES Construct truth tables for the following sentences. 1 (P Q) 2 P (Q Q) 3 P (Q R) EXERCISES Construct truth tables for the following sentences. 1 (P Q) R 2 ( P Q) P TOMOYA SATO LECTURE 3: DERIVATIONS AND TRUTH TABLES 55 / 65
56 TAUTOLOGY DEFINITION: TAUTOLOGY def A sentence is a tautology no matter what truth values are assigned to its simple parts, the definitions of the connectives used in the sentence determine that the sentence is true. A sentence is a tautology def its column contains only Ts. (P Q) P P Q P Q (P Q) P T T T T T F F T F T F T F F F T TOMOYA SATO LECTURE 3: DERIVATIONS AND TRUTH TABLES 56 / 65
57 EXERCISES EXERCISES Construct truth tables for the following sentences to determine whether they are tautologies or not. 1 P (Q P) 2 ( P Q) (Q P) EXERCISES Construct truth tables for the following sentences to determine whether they are tautologies or not. 1 [P (Q R)] [(Q P) R] 2 (P Q) ( R Q) TOMOYA SATO LECTURE 3: DERIVATIONS AND TRUTH TABLES 57 / 65
58 CHAPTER 2, SECTION P Q 2. R Q 3. P R Q DEFINITION: TAUTOLOGICAL IMPLICATION A set {ϕ 1, ϕ 2,, ϕ n } of sentences tautologically implies a given sentence ψ def there is no assignment of truth values to the atomic parts which makes the sentences in the set all true and the given sentence false. A set {ϕ 1, ϕ 2,, ϕ n } tautologically implies ψ there is no row in the truth table in which ϕ 1, ϕ 2,, ϕ n are all true and ψ is false. A set {ϕ 1, ϕ 2,, ϕ n } tautologically implies ψ ϕ 1, ϕ 2,, ϕ n are true, then ψ has to be true. def def if all TOMOYA SATO LECTURE 3: DERIVATIONS AND TRUTH TABLES 58 / 65
59 EXAMPLE 1. P Q 2. R Q 3. P R Q P Q R Q P Q R Q P R T T T F F F T T T F F F T T T F T T T T T T F F T T T T F T T F T F T F T F F T T F F F T T T T T F F F T T T F TOMOYA SATO LECTURE 3: DERIVATIONS AND TRUTH TABLES 59 / 65
60 EXAMPLE 1. P Q 2. R Q 3. P R Q P Q R Q P Q R Q P R T T T F F F T T T F F F T T T F T T T T T T F F T T T T F T T F T F T F T F F T T F F F T T T T T F F F T T T F TOMOYA SATO LECTURE 3: DERIVATIONS AND TRUTH TABLES 60 / 65
61 EXAMPLE 1. P Q 2. Q R R P P Q R P Q Q R R P T T T T T T T T F T F T T F T F T T T F F F T T F T T T T F F T F T F T F F T T T F F F F T T T TOMOYA SATO LECTURE 3: DERIVATIONS AND TRUTH TABLES 61 / 65
62 EXAMPLE 1. P Q 2. Q R R P P Q R P Q Q R R P T T T T T T T T F T F T T F T F T T T F F F T T F T T T T F F T F T F T F F T T T F F F F T T T TOMOYA SATO LECTURE 3: DERIVATIONS AND TRUTH TABLES 62 / 65
63 EXAMPLE 1. P Q 2. P Q P Q P Q Q P Q P Q P Q T T F T F T T F T F T T F T F T F T F F T T F F IMPORTANT FACT If there is no row in which the premises are all true, then the argument is formally valid. TOMOYA SATO LECTURE 3: DERIVATIONS AND TRUTH TABLES 63 / 65
64 EXERCISES 1. P Q 2. Q Q P Q 1. P Q 2. Q P TOMOYA SATO LECTURE 3: DERIVATIONS AND TRUTH TABLES 64 / 65
65 EXERCISES 1. P Q 2. R Q 3. P R Q 1. (U V) X 2. V U 3. (X V) U V U TOMOYA SATO LECTURE 3: DERIVATIONS AND TRUTH TABLES 65 / 65
INTRODUCTION. Tomoya Sato. Department of Philosophy University of California, San Diego. Phil120: Symbolic Logic Summer 2014
INTRODUCTION Tomoya Sato Department of Philosophy University of California, San Diego Phil120: Symbolic Logic Summer 2014 TOMOYA SATO LECTURE 1: INTRODUCTION 1 / 51 WHAT IS LOGIC? LOGIC Logic is the study
More informationPROPOSITIONAL CALCULUS
PROPOSITIONAL CALCULUS A proposition is a complete declarative sentence that is either TRUE (truth value T or 1) or FALSE (truth value F or 0), but not both. These are not propositions! Connectives and
More informationAnswers to the Exercises -- Chapter 1
Answers to the Exercises -- Chapter 1 SECTION 1 1. a Sentence, official notation ~~~P ~~P ~P P Sentence, informal notation ~Q ~R /\ ~Q ~R Q R c d e Not a sentence; it is impossile to construct "~ " Not
More informationNatural Deduction is a method for deriving the conclusion of valid arguments expressed in the symbolism of propositional logic.
Natural Deduction is a method for deriving the conclusion of valid arguments expressed in the symbolism of propositional logic. The method consists of using sets of Rules of Inference (valid argument forms)
More information2. The Logic of Compound Statements Summary. Aaron Tan August 2017
2. The Logic of Compound Statements Summary Aaron Tan 21 25 August 2017 1 2. The Logic of Compound Statements 2.1 Logical Form and Logical Equivalence Statements; Compound Statements; Statement Form (Propositional
More information10/5/2012. Logic? What is logic? Propositional Logic. Propositional Logic (Rosen, Chapter ) Logic is a truth-preserving system of inference
Logic? Propositional Logic (Rosen, Chapter 1.1 1.3) TOPICS Propositional Logic Truth Tables Implication Logical Proofs 10/1/12 CS160 Fall Semester 2012 2 What is logic? Logic is a truth-preserving system
More informationLecture 2. Logic Compound Statements Conditional Statements Valid & Invalid Arguments Digital Logic Circuits. Reading (Epp s textbook)
Lecture 2 Logic Compound Statements Conditional Statements Valid & Invalid Arguments Digital Logic Circuits Reading (Epp s textbook) 2.1-2.4 1 Logic Logic is a system based on statements. A statement (or
More informationToday s Lecture 2/25/10. Truth Tables Continued Introduction to Proofs (the implicational rules of inference)
Today s Lecture 2/25/10 Truth Tables Continued Introduction to Proofs (the implicational rules of inference) Announcements Homework: -- Ex 7.3 pg. 320 Part B (2-20 Even). --Read chapter 8.1 pgs. 345-361.
More information15414/614 Optional Lecture 1: Propositional Logic
15414/614 Optional Lecture 1: Propositional Logic Qinsi Wang Logic is the study of information encoded in the form of logical sentences. We use the language of Logic to state observations, to define concepts,
More informationCHAPTER 1 - LOGIC OF COMPOUND STATEMENTS
CHAPTER 1 - LOGIC OF COMPOUND STATEMENTS 1.1 - Logical Form and Logical Equivalence Definition. A statement or proposition is a sentence that is either true or false, but not both. ex. 1 + 2 = 3 IS a statement
More informationa. ~p : if p is T, then ~p is F, and vice versa
Lecture 10: Propositional Logic II Philosophy 130 3 & 8 November 2016 O Rourke & Gibson I. Administrative A. Group papers back to you on November 3. B. Questions? II. The Meaning of the Conditional III.
More informationCSC Discrete Math I, Spring Propositional Logic
CSC 125 - Discrete Math I, Spring 2017 Propositional Logic Propositions A proposition is a declarative sentence that is either true or false Propositional Variables A propositional variable (p, q, r, s,...)
More information2/13/2012. Logic: Truth Tables. CS160 Rosen Chapter 1. Logic?
Logic: Truth Tables CS160 Rosen Chapter 1 Logic? 1 What is logic? Logic is a truth-preserving system of inference Truth-preserving: If the initial statements are true, the inferred statements will be true
More informationLogic. Def. A Proposition is a statement that is either true or false.
Logic Logic 1 Def. A Proposition is a statement that is either true or false. Examples: Which of the following are propositions? Statement Proposition (yes or no) If yes, then determine if it is true or
More information3/29/2017. Logic. Propositions and logical operations. Main concepts: propositions truth values propositional variables logical operations
Logic Propositions and logical operations Main concepts: propositions truth values propositional variables logical operations 1 Propositions and logical operations A proposition is the most basic element
More informationLogic Overview, I. and T T T T F F F T F F F F
Logic Overview, I DEFINITIONS A statement (proposition) is a declarative sentence that can be assigned a truth value T or F, but not both. Statements are denoted by letters p, q, r, s,... The 5 basic logical
More informationLogic, Human Logic, and Propositional Logic. Human Logic. Fragments of Information. Conclusions. Foundations of Semantics LING 130 James Pustejovsky
Logic, Human Logic, and Propositional Logic Foundations of Semantics LING 3 James Pustejovsky Human Logic Thanks to Michael Genesereth of Stanford for use of some slides Fragments of Information Conclusions
More informationA Little Deductive Logic
A Little Deductive Logic In propositional or sentential deductive logic, we begin by specifying that we will use capital letters (like A, B, C, D, and so on) to stand in for sentences, and we assume that
More informationThe Importance of Being Formal. Martin Henz. February 5, Propositional Logic
The Importance of Being Formal Martin Henz February 5, 2014 Propositional Logic 1 Motivation In traditional logic, terms represent sets, and therefore, propositions are limited to stating facts on sets
More information3 The Semantics of the Propositional Calculus
3 The Semantics of the Propositional Calculus 1. Interpretations Formulas of the propositional calculus express statement forms. In chapter two, we gave informal descriptions of the meanings of the logical
More informationIntroduction Logic Inference. Discrete Mathematics Andrei Bulatov
Introduction Logic Inference Discrete Mathematics Andrei Bulatov Discrete Mathematics - Logic Inference 6-2 Previous Lecture Laws of logic Expressions for implication, biconditional, exclusive or Valid
More informationA Little Deductive Logic
A Little Deductive Logic In propositional or sentential deductive logic, we begin by specifying that we will use capital letters (like A, B, C, D, and so on) to stand in for sentences, and we assume that
More informationTHE LOGIC OF COMPOUND STATEMENTS
THE LOGIC OF COMPOUND STATEMENTS All dogs have four legs. All tables have four legs. Therefore, all dogs are tables LOGIC Logic is a science of the necessary laws of thought, without which no employment
More informationPropositional Languages
Propositional Logic Propositional Languages A propositional signature is a set/sequence of primitive symbols, called proposition constants. Given a propositional signature, a propositional sentence is
More information1.1 Statements and Compound Statements
Chapter 1 Propositional Logic 1.1 Statements and Compound Statements A statement or proposition is an assertion which is either true or false, though you may not know which. That is, a statement is something
More informationAI Principles, Semester 2, Week 2, Lecture 5 Propositional Logic and Predicate Logic
AI Principles, Semester 2, Week 2, Lecture 5 Propositional Logic and Predicate Logic Propositional logic Logical connectives Rules for wffs Truth tables for the connectives Using Truth Tables to evaluate
More informationSymbolic Logic 3. For an inference to be deductively valid it is impossible for the conclusion to be false if the premises are true.
Symbolic Logic 3 Testing deductive validity with truth tables For an inference to be deductively valid it is impossible for the conclusion to be false if the premises are true. So, given that truth tables
More informationIt is not the case that ϕ. p = It is not the case that it is snowing = It is not. r = It is not the case that Mary will go to the party =
Introduction to Propositional Logic Propositional Logic (PL) is a logical system that is built around the two values TRUE and FALSE, called the TRUTH VALUES. true = 1; false = 0 1. Syntax of Propositional
More information5. And. 5.1 The conjunction
5. And 5.1 The conjunction To make our logical language more easy and intuitive to use, we can now add to it elements that make it able to express the equivalents of other sentences from a natural language
More informationThe Logic of Compound Statements cont.
The Logic of Compound Statements cont. CSE 215, Computer Science 1, Fall 2011 Stony Brook University http://www.cs.stonybrook.edu/~cse215 Refresh from last time: Logical Equivalences Commutativity of :
More informationChapter 1, Part I: Propositional Logic. With Question/Answer Animations
Chapter 1, Part I: Propositional Logic With Question/Answer Animations Chapter Summary Propositional Logic The Language of Propositions Applications Logical Equivalences Predicate Logic The Language of
More informationSteinhardt School of Culture, Education, and Human Development Department of Teaching and Learning. Mathematical Proof and Proving (MPP)
Steinhardt School of Culture, Education, and Human Development Department of Teaching and Learning Terminology, Notations, Definitions, & Principles: Mathematical Proof and Proving (MPP) 1. A statement
More informationcis32-ai lecture # 18 mon-3-apr-2006
cis32-ai lecture # 18 mon-3-apr-2006 today s topics: propositional logic cis32-spring2006-sklar-lec18 1 Introduction Weak (search-based) problem-solving does not scale to real problems. To succeed, problem
More informationLogic. Definition [1] A logic is a formal language that comes with rules for deducing the truth of one proposition from the truth of another.
Math 0413 Appendix A.0 Logic Definition [1] A logic is a formal language that comes with rules for deducing the truth of one proposition from the truth of another. This type of logic is called propositional.
More informationPacket #1: Logic & Proofs. Applied Discrete Mathematics
Packet #1: Logic & Proofs Applied Discrete Mathematics Table of Contents Course Objectives Page 2 Propositional Calculus Information Pages 3-13 Course Objectives At the conclusion of this course, you should
More informationPropositional Logic. Spring Propositional Logic Spring / 32
Propositional Logic Spring 2016 Propositional Logic Spring 2016 1 / 32 Introduction Learning Outcomes for this Presentation Learning Outcomes... At the conclusion of this session, we will Define the elements
More informationBoolean Logic. CS 231 Dianna Xu
Boolean Logic CS 231 Dianna Xu 1 Proposition/Statement A proposition is either true or false but not both The sky is blue Lisa is a Math major x == y Not propositions: Are you Bob? x := 7 2 Boolean variables
More informationChapter 1 Elementary Logic
2017-2018 Chapter 1 Elementary Logic The study of logic is the study of the principles and methods used in distinguishing valid arguments from those that are not valid. The aim of this chapter is to help
More informationWhat is the decimal (base 10) representation of the binary number ? Show your work and place your final answer in the box.
Question 1. [10 marks] Part (a) [2 marks] What is the decimal (base 10) representation of the binary number 110101? Show your work and place your final answer in the box. 2 0 + 2 2 + 2 4 + 2 5 = 1 + 4
More informationPropositional Logic Review
Propositional Logic Review UC Berkeley, Philosophy 142, Spring 2016 John MacFarlane The task of describing a logical system comes in three parts: Grammar Describing what counts as a formula Semantics Defining
More informationSection 1.2: Propositional Logic
Section 1.2: Propositional Logic January 17, 2017 Abstract Now we re going to use the tools of formal logic to reach logical conclusions ( prove theorems ) based on wffs formed by some given statements.
More informationCS100: DISCRETE STRUCTURES. Lecture 5: Logic (Ch1)
CS100: DISCREE SRUCURES Lecture 5: Logic (Ch1) Lecture Overview 2 Statement Logical Connectives Conjunction Disjunction Propositions Conditional Bio-conditional Converse Inverse Contrapositive Laws of
More informationChapter 1: The Logic of Compound Statements. January 7, 2008
Chapter 1: The Logic of Compound Statements January 7, 2008 Outline 1 1.1 Logical Form and Logical Equivalence 2 1.2 Conditional Statements 3 1.3 Valid and Invalid Arguments Central notion of deductive
More informationProposition/Statement. Boolean Logic. Boolean variables. Logical operators: And. Logical operators: Not 9/3/13. Introduction to Logical Operators
Proposition/Statement Boolean Logic CS 231 Dianna Xu A proposition is either true or false but not both he sky is blue Lisa is a Math major x == y Not propositions: Are you Bob? x := 7 1 2 Boolean variables
More informationLogic and Truth Tables
Logic and Truth Tables What is a Truth Table? A truth table is a tool that helps you analyze statements or arguments in order to verify whether or not they are logical, or true. There are five basic operations
More informationSample Problems for all sections of CMSC250, Midterm 1 Fall 2014
Sample Problems for all sections of CMSC250, Midterm 1 Fall 2014 1. Translate each of the following English sentences into formal statements using the logical operators (,,,,, and ). You may also use mathematical
More informationMACM 101 Discrete Mathematics I. Exercises on Propositional Logic. Due: Tuesday, September 29th (at the beginning of the class)
MACM 101 Discrete Mathematics I Exercises on Propositional Logic. Due: Tuesday, September 29th (at the beginning of the class) SOLUTIONS 1. Construct a truth table for the following compound proposition:
More informationWhat is Logic? Introduction to Logic. Simple Statements. Which one is statement?
What is Logic? Introduction to Logic Peter Lo Logic is the study of reasoning It is specifically concerned with whether reasoning is correct Logic is also known as Propositional Calculus CS218 Peter Lo
More informationCompound Propositions
Discrete Structures Compound Propositions Producing new propositions from existing propositions. Logical Operators or Connectives 1. Not 2. And 3. Or 4. Exclusive or 5. Implication 6. Biconditional Truth
More informationPropositional Logic: Part II - Syntax & Proofs 0-0
Propositional Logic: Part II - Syntax & Proofs 0-0 Outline Syntax of Propositional Formulas Motivating Proofs Syntactic Entailment and Proofs Proof Rules for Natural Deduction Axioms, theories and theorems
More informationLogic, Sets, and Proofs
Logic, Sets, and Proofs David A. Cox and Catherine C. McGeoch Amherst College 1 Logic Logical Operators. A logical statement is a mathematical statement that can be assigned a value either true or false.
More informationPropositional Logic. Jason Filippou UMCP. ason Filippou UMCP) Propositional Logic / 38
Propositional Logic Jason Filippou CMSC250 @ UMCP 05-31-2016 ason Filippou (CMSC250 @ UMCP) Propositional Logic 05-31-2016 1 / 38 Outline 1 Syntax 2 Semantics Truth Tables Simplifying expressions 3 Inference
More information(ÀB Ä (A Â C)) (A Ä ÀC) Á B. This is our sample argument. Formal Proofs
(ÀB Ä (A Â C)) (A Ä ÀC) Á B This is our sample argument. Formal Proofs From now on, formal proofs will be our main way to test arguments. We ll begin with easier proofs. Our initial strategy for constructing
More informationn logical not (negation) n logical or (disjunction) n logical and (conjunction) n logical exclusive or n logical implication (conditional)
Discrete Math Review Discrete Math Review (Rosen, Chapter 1.1 1.6) TOPICS Propositional Logic Logical Operators Truth Tables Implication Logical Equivalence Inference Rules What you should know about propositional
More informationPropositional Logic. Argument Forms. Ioan Despi. University of New England. July 19, 2013
Propositional Logic Argument Forms Ioan Despi despi@turing.une.edu.au University of New England July 19, 2013 Outline Ioan Despi Discrete Mathematics 2 of 1 Order of Precedence Ioan Despi Discrete Mathematics
More informationLING 106. Knowledge of Meaning Lecture 3-1 Yimei Xiang Feb 6, Propositional logic
LING 106. Knowledge of Meaning Lecture 3-1 Yimei Xiang Feb 6, 2016 Propositional logic 1 Vocabulary of propositional logic Vocabulary (1) a. Propositional letters: p, q, r, s, t, p 1, q 1,..., p 2, q 2,...
More informationSection 1.1 Propositions
Set Theory & Logic Section 1.1 Propositions Fall, 2009 Section 1.1 Propositions In Chapter 1, our main goals are to prove sentences about numbers, equations or functions and to write the proofs. Definition.
More information5. And. 5.1 The conjunction
5. And 5.1 The conjunction To make our logical language more easy and intuitive to use, we can now add to it elements that make it able to express the equivalents of other sentences from a natural language
More informationTruth-Functional Logic
Truth-Functional Logic Syntax Every atomic sentence (A, B, C, ) is a sentence and are sentences With ϕ a sentence, the negation ϕ is a sentence With ϕ and ψ sentences, the conjunction ϕ ψ is a sentence
More informationProofs: A General How To II. Rules of Inference. Rules of Inference Modus Ponens. Rules of Inference Addition. Rules of Inference Conjunction
Introduction I Proofs Computer Science & Engineering 235 Discrete Mathematics Christopher M. Bourke cbourke@cse.unl.edu A proof is a proof. What kind of a proof? It s a proof. A proof is a proof. And when
More informationCOMP219: Artificial Intelligence. Lecture 19: Logic for KR
COMP219: Artificial Intelligence Lecture 19: Logic for KR 1 Overview Last time Expert Systems and Ontologies Today Logic as a knowledge representation scheme Propositional Logic Syntax Semantics Proof
More informationCOMP219: Artificial Intelligence. Lecture 19: Logic for KR
COMP219: Artificial Intelligence Lecture 19: Logic for KR 1 Overview Last time Expert Systems and Ontologies Today Logic as a knowledge representation scheme Propositional Logic Syntax Semantics Proof
More informationWarm-Up Problem. Write a Resolution Proof for. Res 1/32
Warm-Up Problem Write a Resolution Proof for Res 1/32 A second Rule Sometimes throughout we need to also make simplifications: You can do this in line without explicitly mentioning it (just pretend you
More informationTRUTH TABLES LOGIC (CONTINUED) Philosophical Methods
TRUTH TABLES LOGIC (CONTINUED) Philosophical Methods Here s some Vocabulary we will be talking about in this PowerPoint. Atomic Sentences: Statements which express one proposition Connectives: These are
More informationDERIVATIONS IN SYMBOLIC LOGIC I
DERIVATIONS IN SYMBOLIC LOGIC I Tomoya Sato Department of Philosophy University of California, San Diego Phil120: Symbolic Logic Summer 2014 TOMOYA SATO LECTURE 5: DERIVATIONS IN SYMBOLIC LOGIC I 1 / 40
More informationFor a horseshoe statement, having the matching p (left side) gives you the q (right side) by itself. It does NOT work with matching q s.
7.1 The start of Proofs From now on the arguments we are working with are all VALID. There are 18 Rules of Inference (see the last 2 pages in Course Packet, or front of txt book). Each of these rules is
More informationPropositional Logic Basics Propositional Equivalences Normal forms Boolean functions and digital circuits. Propositional Logic.
Propositional Logic Winter 2012 Propositional Logic: Section 1.1 Proposition A proposition is a declarative sentence that is either true or false. Which ones of the following sentences are propositions?
More informationWUCT121. Discrete Mathematics. Logic. Tutorial Exercises
WUCT11 Discrete Mathematics Logic Tutorial Exercises 1 Logic Predicate Logic 3 Proofs 4 Set Theory 5 Relations and Functions WUCT11 Logic Tutorial Exercises 1 Section 1: Logic Question1 For each of the
More informationNote: The area of logic that deals with propositions is called the propositional calculus or propositional logic.
Ch. 1.1 Logic Logic 1 Def. A Proposition is a statement that is either true or false. Example 1: Which of the following are propositions? Statement Proposition (yes or no) UHD is a University 1 + 3 = 0
More informationAdvanced Topics in LP and FP
Lecture 1: Prolog and Summary of this lecture 1 Introduction to Prolog 2 3 Truth value evaluation 4 Prolog Logic programming language Introduction to Prolog Introduced in the 1970s Program = collection
More information8. Reductio ad absurdum
8. Reductio ad absurdum 8.1 A historical example In his book, The Two New Sciences, 10 Galileo Galilea (1564-1642) gives several arguments meant to demonstrate that there can be no such thing as actual
More informationUnit 1. Propositional Logic Reading do all quick-checks Propositional Logic: Ch. 2.intro, 2.2, 2.3, 2.4. Review 2.9
Unit 1. Propositional Logic Reading do all quick-checks Propositional Logic: Ch. 2.intro, 2.2, 2.3, 2.4. Review 2.9 Typeset September 23, 2005 1 Statements or propositions Defn: A statement is an assertion
More informationSection 3.1. Statements and Logical Connectives. Copyright 2013, 2010, 2007, Pearson, Education, Inc.
Section 3.1 Statements and Logical Connectives What You Will Learn Statements, quantifiers, and compound statements Statements involving the words not, and, or, if then, and if and only if 3.1-2 HISORY
More informationFoundations of Mathematics MATH 220 FALL 2017 Lecture Notes
Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes These notes form a brief summary of what has been covered during the lectures. All the definitions must be memorized and understood. Statements
More informationIntroduction to Metalogic
Philosophy 135 Spring 2008 Tony Martin Introduction to Metalogic 1 The semantics of sentential logic. The language L of sentential logic. Symbols of L: Remarks: (i) sentence letters p 0, p 1, p 2,... (ii)
More informationDeMorgan s Laws and the Biconditional. Philosophy and Logic Sections 2.3, 2.4 ( Some difficult combinations )
DeMorgan s aws and the Biconditional Philosophy and ogic Sections 2.3, 2.4 ( Some difficult combinations ) Some difficult combinations Not both p and q = ~(p & q) We won t both sing and dance. A negation
More information8. Reductio ad absurdum
8. Reductio ad absurdum 8.1 A historical example In his book, The Two New Sciences, Galileo Galilea (1564-1642) gives several arguments meant to demonstrate that there can be no such thing as actual infinities
More informationA Quick Lesson on Negation
A Quick Lesson on Negation Several of the argument forms we have looked at (modus tollens and disjunctive syllogism, for valid forms; denying the antecedent for invalid) involve a type of statement which
More informationPropositional Logic. CS 3234: Logic and Formal Systems. Martin Henz and Aquinas Hobor. August 26, Generated on Tuesday 31 August, 2010, 16:54
Propositional Logic CS 3234: Logic and Formal Systems Martin Henz and Aquinas Hobor August 26, 2010 Generated on Tuesday 31 August, 2010, 16:54 1 Motivation In traditional logic, terms represent sets,
More informationDiscrete Mathematics
Discrete Mathematics Discrete mathematics is devoted to the study of discrete or distinct unconnected objects. Classical mathematics deals with functions on real numbers. Real numbers form a continuous
More informationPropositional Logic. Yimei Xiang 11 February format strictly follow the laws and never skip any step.
Propositional Logic Yimei Xiang yxiang@fas.harvard.edu 11 February 2014 1 Review Recursive definition Set up the basis Generate new members with rules Exclude the rest Subsets vs. proper subsets Sets of
More informationManual of Logical Style (fresh version 2018)
Manual of Logical Style (fresh version 2018) Randall Holmes 9/5/2018 1 Introduction This is a fresh version of a document I have been working on with my classes at various levels for years. The idea that
More informationChapter Summary. Propositional Logic. Predicate Logic. Proofs. The Language of Propositions (1.1) Applications (1.2) Logical Equivalences (1.
Chapter 1 Chapter Summary Propositional Logic The Language of Propositions (1.1) Applications (1.2) Logical Equivalences (1.3) Predicate Logic The Language of Quantifiers (1.4) Logical Equivalences (1.4)
More informationPHI Propositional Logic Lecture 2. Truth Tables
PHI 103 - Propositional Logic Lecture 2 ruth ables ruth ables Part 1 - ruth unctions for Logical Operators ruth unction - the truth-value of any compound proposition determined solely by the truth-value
More informationFormal Logic. Critical Thinking
ormal Logic Critical hinking Recap: ormal Logic If I win the lottery, then I am poor. I win the lottery. Hence, I am poor. his argument has the following abstract structure or form: If P then Q. P. Hence,
More informationLogical Form 5 Famous Valid Forms. Today s Lecture 1/26/10
Logical Form 5 Famous Valid Forms Today s Lecture 1/26/10 Announcements Homework: --Read Chapter 7 pp. 277-298 (doing the problems in parts A, B, and C pp. 298-300 are recommended but not required at this
More informationSection 1.1: Logical Form and Logical Equivalence
Section 1.1: Logical Form and Logical Equivalence An argument is a sequence of statements aimed at demonstrating the truth of an assertion. The assertion at the end of an argument is called the conclusion,
More informationOverview. Knowledge-Based Agents. Introduction. COMP219: Artificial Intelligence. Lecture 19: Logic for KR
COMP219: Artificial Intelligence Lecture 19: Logic for KR Last time Expert Systems and Ontologies oday Logic as a knowledge representation scheme Propositional Logic Syntax Semantics Proof theory Natural
More information3.2: Compound Statements and Connective Notes
3.2: Compound Statements and Connective Notes 1. Express compound statements in symbolic form. _Simple_ statements convey one idea with no connecting words. _Compound_ statements combine two or more simple
More informationDiscrete Mathematical Structures. Chapter 1 The Foundation: Logic
Discrete Mathematical Structures Chapter 1 he oundation: Logic 1 Lecture Overview 1.1 Propositional Logic 1.2 Propositional Equivalences 1.3 Quantifiers l l l l l Statement Logical Connectives Conjunction
More informationArtificial Intelligence. Propositional logic
Artificial Intelligence Propositional logic Propositional Logic: Syntax Syntax of propositional logic defines allowable sentences Atomic sentences consists of a single proposition symbol Each symbol stands
More informationSec$on Summary. Propositions Connectives. Truth Tables. Negation Conjunction Disjunction Implication; contrapositive, inverse, converse Biconditional
Section 1.1 Sec$on Summary Propositions Connectives Negation Conjunction Disjunction Implication; contrapositive, inverse, converse Biconditional ruth ables 2 Proposi$ons A proposition is a declarative
More informationCS 2740 Knowledge Representation. Lecture 4. Propositional logic. CS 2740 Knowledge Representation. Administration
Lecture 4 Propositional logic Milos Hauskrecht milos@cs.pitt.edu 5329 Sennott Square dministration Homework assignment 1 is out Due next week on Wednesday, September 17 Problems: LISP programming a PL
More informationFunctions. Lecture 4: Truth functions, evaluating compound statements. Arithmetic Functions. x y x+y
Lecture 4: ruth functions, evaluating compound statements 1. unctions, arithmetic functions, and truth functions 2. Definitions of truth functions unctions A function is something that takes inputs and
More informationDISCRETE MATHEMATICS BA202
TOPIC 1 BASIC LOGIC This topic deals with propositional logic, logical connectives and truth tables and validity. Predicate logic, universal and existential quantification are discussed 1.1 PROPOSITION
More informationComputational Logic Lecture 3. Logical Entailment. Michael Genesereth Autumn Logical Reasoning
Computational Logic Lecture 3 Logical Entailment Michael Genesereth Autumn 2010 Logical Reasoning Logical Reasoning relates premises and conclusion does not say whether conclusion is true in general says
More information03 Propositional Logic II
Martin Henz February 12, 2014 Generated on Wednesday 12 th February, 2014, 09:49 1 Review: Syntax and Semantics of Propositional Logic 2 3 Propositional Atoms and Propositions Semantics of Formulas Validity,
More information6. Conditional derivations
6. Conditional derivations 6.1 An argument from Hobbes In his great work, Leviathan, the philosopher Thomas Hobbes gives an important argument for government. Hobbes begins by claiming that without a common
More informationProof strategies, or, a manual of logical style
Proof strategies, or, a manual of logical style Dr Holmes September 27, 2017 This is yet another version of the manual of logical style I have been working on for many years This semester, instead of posting
More informationPropositional Equivalence
Propositional Equivalence Tautologies and contradictions A compound proposition that is always true, regardless of the truth values of the individual propositions involved, is called a tautology. Example:
More information