Logic. Lesson 3: Tables and Models. Flavio Zelazek. October 22, 2014
|
|
- Elisabeth Lindsey
- 6 years ago
- Views:
Transcription
1 Logic Lesson 3: Tables and Models Flavio Zelazek October 22, 2014 Flavio Zelazek Logic (Lesson 3: Tables and Models) October 22, / 29
2 Previous lessons You can download previous lessons slides from: Flavio Zelazek Logic (Lesson 3: Tables and Models) October 22, / 29
3 Truth tables Lesson 3 1 Truth tables Summary Evaluation of sentences Evaluation of arguments 2 Predicate Logic Introduction Quantifiers The language L 3 Transcription into L 3 3 Models Substitutions Truth Validity Flavio Zelazek (flavio.zelazek@gmail.com) Logic (Lesson 3: Tables and Models) October 22, / 29
4 Summary Truth tables Summary X Y X X Y X Y X Y X Y T T F T T T T T F F F T F F F T T F T T F F F T F F T T Flavio Zelazek (flavio.zelazek@gmail.com) Logic (Lesson 3: Tables and Models) October 22, / 29
5 Truth tables Evaluation of complex sentences Evaluation of sentences A B C (A (B C)) ((A B) (A C)) T T T? T T F? T F T? T F F? F T T? F T F? F F T? F F F? Flavio Zelazek (flavio.zelazek@gmail.com) Logic (Lesson 3: Tables and Models) October 22, / 29
6 Truth tables Evaluation of arguments Evaluation of arguments How would you evaluate, for example, the argument: (1) The killer is Albert or Benjamin. (2) Benjamin is innocent. Therefore, (3) Albert is the killer. by using truth tables? Flavio Zelazek Logic (Lesson 3: Tables and Models) October 22, / 29
7 Exercise 1 Truth tables Evaluation of arguments (1) If I am not bored and I am not tired, I ll go to the theme park. (2) I am not either bored or tired. (3) I ll go to the theme park. Flavio Zelazek (flavio.zelazek@gmail.com) Logic (Lesson 3: Tables and Models) October 22, / 29
8 Exercise 2 Truth tables Evaluation of arguments (1) I will lose the contest, unless I do a lot of exercise before it starts. (2) If I don t have enough time before the contest starts, I will not do a lot of exercise. (3) I will lose the contest, unless I have enough time before it starts. Flavio Zelazek (flavio.zelazek@gmail.com) Logic (Lesson 3: Tables and Models) October 22, / 29
9 Exercise 3 Truth tables Evaluation of arguments (1) I ll stay focused on the lesson, unless Alexis distracts me. (2) Alexis distracts me if she wears a cyan shirt. (3) I ll stay focused on the lesson, unless Alexis wears a cyan shirt. Flavio Zelazek (flavio.zelazek@gmail.com) Logic (Lesson 3: Tables and Models) October 22, / 29
10 Predicate Logic Lesson 3 1 Truth tables Summary Evaluation of sentences Evaluation of arguments 2 Predicate Logic Introduction Quantifiers The language L 3 Transcription into L 3 3 Models Substitutions Truth Validity Flavio Zelazek (flavio.zelazek@gmail.com) Logic (Lesson 3: Tables and Models) October 22, / 29
11 Predicate Logic Introduction Example 3.1: I can get no satisfaction (1) If Adam will sign up for Aerospace Engineering, Beatrix will do it as well. (2) Adam will sign up for Aerospace Engineering. Therefore, (3) Beatrix will sign up for Aerospace Engineering. (4) The firm SmartAssumption will assume Charles or Delilah. (5) The firm SmartAssumption will assume Charles. So, (6) The firm SmartAssumption will not assume Delilah. Flavio Zelazek (flavio.zelazek@gmail.com) Logic (Lesson 3: Tables and Models) October 22, / 29
12 Predicate Logic Introduction Example 3.2: I (still) can get no satisfaction (1) Every man is mortal. (2) Socrates is a man. Therefore, (3) Socrates is mortal. (4) Some cats are black. (5) Fritz is a cat. Therefore, (6) Fritz is black. Flavio Zelazek (flavio.zelazek@gmail.com) Logic (Lesson 3: Tables and Models) October 22, / 29
13 Predicate Logic Introduction Example 3.3: names and predicates Transcription guide: s : Socrates f : Fritz Mx : x is a man Cx : x is a cat Lxy : x loves y Socrates is a man. Fritz loves Socrates. Socrates loves Fritz only if Fritz is a cat. Ms Lfs Lsf Cf Flavio Zelazek (flavio.zelazek@gmail.com) Logic (Lesson 3: Tables and Models) October 22, / 29
14 Predicate Logic Quantifiers Example 3.4: variables and quantifiers Transcription guide: f : Fritz Cx : x is a cat Bx : x is black Lxy : x loves y Everything is black. Fritz loves something. Every cat is black. Some cats are black. No cats are loved. x Bx x Lfx x (Cx Bx) x (Cx Bx) x (Cx y Lyx) Flavio Zelazek (flavio.zelazek@gmail.com) Logic (Lesson 3: Tables and Models) October 22, / 29
15 Predicate Logic The language L 3 The alphabet of L 3 The Alphabet of language L 3 for Predicate Logic contains: Names: a, b, c,... Variables: x, y, z,... Predicates: A, B, C,... Connectives,,,, Quantifiers:, Parentheses: (, ) (The name L 3 is from [Bencivenga 1984].) Flavio Zelazek (flavio.zelazek@gmail.com) Logic (Lesson 3: Tables and Models) October 22, / 29
16 Predicate Logic The language L 3 The alphabet of L 3 The Alphabet of language L 3 for Predicate Logic contains: Names: a, b, c,... Variables: x, y, z,... Predicates: A, B, C,... Connectives,,,, Quantifiers:, Parentheses: (, ) (The name L 3 is from [Bencivenga 1984].) Flavio Zelazek (flavio.zelazek@gmail.com) Logic (Lesson 3: Tables and Models) October 22, / 29
17 Predicate Logic The language L 3 The alphabet of L 3 The Alphabet of language L 3 for Predicate Logic contains: Names: a, b, c,... Variables: x, y, z,... Predicates: A, B, C,... Connectives,,,, Quantifiers:, Parentheses: (, ) (The name L 3 is from [Bencivenga 1984].) Flavio Zelazek (flavio.zelazek@gmail.com) Logic (Lesson 3: Tables and Models) October 22, / 29
18 Predicate Logic The language L 3 The alphabet of L 3 The Alphabet of language L 3 for Predicate Logic contains: Names: a, b, c,... Variables: x, y, z,... Predicates: A, B, C,... Connectives,,,, Quantifiers:, Parentheses: (, ) (The name L 3 is from [Bencivenga 1984].) Flavio Zelazek (flavio.zelazek@gmail.com) Logic (Lesson 3: Tables and Models) October 22, / 29
19 Predicate Logic The language L 3 The alphabet of L 3 The Alphabet of language L 3 for Predicate Logic contains: Names: a, b, c,... Variables: x, y, z,... Predicates: A, B, C,... Connectives,,,, Quantifiers:, Parentheses: (, ) (The name L 3 is from [Bencivenga 1984].) Flavio Zelazek (flavio.zelazek@gmail.com) Logic (Lesson 3: Tables and Models) October 22, / 29
20 Predicate Logic The language L 3 The alphabet of L 3 The Alphabet of language L 3 for Predicate Logic contains: Names: a, b, c,... Variables: x, y, z,... Predicates: A, B, C,... Connectives,,,, Quantifiers:, Parentheses: (, ) (The name L 3 is from [Bencivenga 1984].) Flavio Zelazek (flavio.zelazek@gmail.com) Logic (Lesson 3: Tables and Models) October 22, / 29
21 Predicate Logic The language L 3 The alphabet of L 3 The Alphabet of language L 3 for Predicate Logic contains: Names: a, b, c,... Variables: x, y, z,... Predicates: A, B, C,... Connectives,,,, Quantifiers:, Parentheses: (, ) (The name L 3 is from [Bencivenga 1984].) Flavio Zelazek (flavio.zelazek@gmail.com) Logic (Lesson 3: Tables and Models) October 22, / 29
22 Predicate Logic The language L 3 Formation rules for L 3 Definition of Sentence of L 3 : i) If X is an n-ary predicate and each one of t 1,..., t n is a name or a variable, then Pt 1... t n is a sentence of L 3. ii) If X is a sentence of L 3, so is X. iii) If X and Y are sentences of L 3, so are (X Y ), (X Y ), (X Y ), and (X Y ). iv) If X is a sentence of L 3 and u is a variable, then u X and u X are sentence of L 3. v) Nothing else is a sentence of L 3. [Teller 2014, Vol. II, p. 9 (PDF p. 65)] Flavio Zelazek (flavio.zelazek@gmail.com) Logic (Lesson 3: Tables and Models) October 22, / 29
23 Predicate Logic The language L 3 Formation rules for L 3 Definition of Sentence of L 3 : i) If X is an n-ary predicate and each one of t 1,..., t n is a name or a variable, then Pt 1... t n is a sentence of L 3. ii) If X is a sentence of L 3, so is X. iii) If X and Y are sentences of L 3, so are (X Y ), (X Y ), (X Y ), and (X Y ). iv) If X is a sentence of L 3 and u is a variable, then u X and u X are sentence of L 3. v) Nothing else is a sentence of L 3. [Teller 2014, Vol. II, p. 9 (PDF p. 65)] Flavio Zelazek (flavio.zelazek@gmail.com) Logic (Lesson 3: Tables and Models) October 22, / 29
24 Predicate Logic The language L 3 Formation rules for L 3 Definition of Sentence of L 3 : i) If X is an n-ary predicate and each one of t 1,..., t n is a name or a variable, then Pt 1... t n is a sentence of L 3. ii) If X is a sentence of L 3, so is X. iii) If X and Y are sentences of L 3, so are (X Y ), (X Y ), (X Y ), and (X Y ). iv) If X is a sentence of L 3 and u is a variable, then u X and u X are sentence of L 3. v) Nothing else is a sentence of L 3. [Teller 2014, Vol. II, p. 9 (PDF p. 65)] Flavio Zelazek (flavio.zelazek@gmail.com) Logic (Lesson 3: Tables and Models) October 22, / 29
25 Predicate Logic The language L 3 Formation rules for L 3 Definition of Sentence of L 3 : i) If X is an n-ary predicate and each one of t 1,..., t n is a name or a variable, then Pt 1... t n is a sentence of L 3. ii) If X is a sentence of L 3, so is X. iii) If X and Y are sentences of L 3, so are (X Y ), (X Y ), (X Y ), and (X Y ). iv) If X is a sentence of L 3 and u is a variable, then u X and u X are sentence of L 3. v) Nothing else is a sentence of L 3. [Teller 2014, Vol. II, p. 9 (PDF p. 65)] Flavio Zelazek (flavio.zelazek@gmail.com) Logic (Lesson 3: Tables and Models) October 22, / 29
26 Predicate Logic The language L 3 Formation rules for L 3 Definition of Sentence of L 3 : i) If X is an n-ary predicate and each one of t 1,..., t n is a name or a variable, then Pt 1... t n is a sentence of L 3. ii) If X is a sentence of L 3, so is X. iii) If X and Y are sentences of L 3, so are (X Y ), (X Y ), (X Y ), and (X Y ). iv) If X is a sentence of L 3 and u is a variable, then u X and u X are sentence of L 3. v) Nothing else is a sentence of L 3. [Teller 2014, Vol. II, p. 9 (PDF p. 65)] Flavio Zelazek (flavio.zelazek@gmail.com) Logic (Lesson 3: Tables and Models) October 22, / 29
27 Predicate Logic The language L 3 Formation rules for L 3 Definition of Sentence of L 3 : i) If X is an n-ary predicate and each one of t 1,..., t n is a name or a variable, then Pt 1... t n is a sentence of L 3. ii) If X is a sentence of L 3, so is X. iii) If X and Y are sentences of L 3, so are (X Y ), (X Y ), (X Y ), and (X Y ). iv) If X is a sentence of L 3 and u is a variable, then u X and u X are sentence of L 3. v) Nothing else is a sentence of L 3. [Teller 2014, Vol. II, p. 9 (PDF p. 65)] Flavio Zelazek (flavio.zelazek@gmail.com) Logic (Lesson 3: Tables and Models) October 22, / 29
28 Bound and free variables Predicate Logic The language L 3 The Scope of a quantifier is the shortest full sentence which follows it. Everything inside this shortest full following sentence is said to be in the scope of the quantifier. A variable u is Bound just in case it occurs in the scope of a quantifier u or u. A variable is Free just in case it is not bound. [Teller 2014, Vol. II, p. 30 (PDF p. 77)] A sentence with one or more free variables is called an Open Sentence. A sentence which is not open is called a Closed Sentence. [Teller 2014, Vol. II, p. 34 (PDF p. 79)] Flavio Zelazek (flavio.zelazek@gmail.com) Logic (Lesson 3: Tables and Models) October 22, / 29
29 Predicate Logic Transcription into L 3 Exercise 4 Transcription guide: a : Adam e : Eve c : Cid Cx : x is a cat Lxy : x loves y Txy : x is taller than y Cid loves Eve if he is taller than she is. Flavio Zelazek (flavio.zelazek@gmail.com) Logic (Lesson 3: Tables and Models) October 22, / 29
30 Predicate Logic Transcription into L 3 Exercise 4 Transcription guide: a : Adam e : Eve c : Cid Cx : x is a cat Lxy : x loves y Txy : x is taller than y Cid loves Eve if he is taller than she is. Tce Lce Flavio Zelazek (flavio.zelazek@gmail.com) Logic (Lesson 3: Tables and Models) October 22, / 29
31 Predicate Logic Transcription into L 3 Exercise 5 Transcription guide: a : Adam e : Eve c : Cid Cx : x is a cat Lxy : x loves y Txy : x is taller than y Either Adam loves Eve or Eve loves Adam, but both love Cid. Flavio Zelazek (flavio.zelazek@gmail.com) Logic (Lesson 3: Tables and Models) October 22, / 29
32 Predicate Logic Transcription into L 3 Exercise 5 Transcription guide: a : Adam e : Eve c : Cid Cx : x is a cat Lxy : x loves y Txy : x is taller than y Either Adam loves Eve or Eve loves Adam, but both love Cid. (Lae Lea) (Lac Lec) Flavio Zelazek (flavio.zelazek@gmail.com) Logic (Lesson 3: Tables and Models) October 22, / 29
33 Predicate Logic Transcription into L 3 Exercise 6 Transcription guide: a : Adam e : Eve c : Cid Cx : x is a cat Lxy : x loves y Txy : x is taller than y Only if Cid is a cat does Eve love him. Flavio Zelazek (flavio.zelazek@gmail.com) Logic (Lesson 3: Tables and Models) October 22, / 29
34 Predicate Logic Transcription into L 3 Exercise 6 Transcription guide: a : Adam e : Eve c : Cid Cx : x is a cat Lxy : x loves y Txy : x is taller than y Only if Cid is a cat does Eve love him. Lec Cc Flavio Zelazek (flavio.zelazek@gmail.com) Logic (Lesson 3: Tables and Models) October 22, / 29
35 Predicate Logic Transcription into L 3 Exercise 7 Transcription guide: a : Adam e : Eve c : Cid Cx : x is a cat Lxy : x loves y Txy : x is taller than y Everyone is loved by either Cid or Adam. Flavio Zelazek (flavio.zelazek@gmail.com) Logic (Lesson 3: Tables and Models) October 22, / 29
36 Predicate Logic Transcription into L 3 Exercise 7 Transcription guide: a : Adam e : Eve c : Cid Cx : x is a cat Lxy : x loves y Txy : x is taller than y Everyone is loved by either Cid or Adam. x (Lcx Lax) Flavio Zelazek (flavio.zelazek@gmail.com) Logic (Lesson 3: Tables and Models) October 22, / 29
37 Predicate Logic Transcription into L 3 Exercise 8 Transcription guide: a : Adam e : Eve c : Cid Cx : x is a cat Lxy : x loves y Txy : x is taller than y Either everyone is loved by Adam or everyone is loved by Cid. Flavio Zelazek (flavio.zelazek@gmail.com) Logic (Lesson 3: Tables and Models) October 22, / 29
38 Predicate Logic Transcription into L 3 Exercise 8 Transcription guide: a : Adam e : Eve c : Cid Cx : x is a cat Lxy : x loves y Txy : x is taller than y Either everyone is loved by Adam or everyone is loved by Cid. x Lax x Lcx Flavio Zelazek (flavio.zelazek@gmail.com) Logic (Lesson 3: Tables and Models) October 22, / 29
39 Predicate Logic Transcription into L 3 Exercise 9 Transcription guide: a : Adam e : Eve c : Cid Cx : x is a cat Lxy : x loves y Txy : x is taller than y No one loves both Adam and Cid. Flavio Zelazek (flavio.zelazek@gmail.com) Logic (Lesson 3: Tables and Models) October 22, / 29
40 Predicate Logic Transcription into L 3 Exercise 9 Transcription guide: a : Adam e : Eve c : Cid Cx : x is a cat Lxy : x loves y Txy : x is taller than y No one loves both Adam and Cid. x (Lxa Lxc) Flavio Zelazek (flavio.zelazek@gmail.com) Logic (Lesson 3: Tables and Models) October 22, / 29
41 Predicate Logic Transcription into L 3 Exercise 9 Transcription guide: a : Adam e : Eve c : Cid Cx : x is a cat Lxy : x loves y Txy : x is taller than y No one loves both Adam and Cid. x (Lxa Lxc) (also: x (Lxa Lxc)) Flavio Zelazek (flavio.zelazek@gmail.com) Logic (Lesson 3: Tables and Models) October 22, / 29
42 Models Lesson 3 1 Truth tables Summary Evaluation of sentences Evaluation of arguments 2 Predicate Logic Introduction Quantifiers The language L 3 Transcription into L 3 3 Models Substitutions Truth Validity Flavio Zelazek (flavio.zelazek@gmail.com) Logic (Lesson 3: Tables and Models) October 22, / 29
43 Models Interpretations An Interpretation, or a Model, consists of: a) A collection of objects, called the interpretation s Domain D. The domain always has at least one object. b) A name for each object in D. An object may have just one name or more than one name. c) A list of predicates. d) A specification of the objects of which each predicate is true and the objects of which each predicate is false. In this way every atomic sentence formed from predicates and names gets a truth value. e) Possibly some atomic propositions (or atomic sentence letters), that is zero place predicates. The interpretation specifies a truth value for any included atomic proposition. [Teller 2014, Vol. II, p. 16 (PDF p. 70)] Flavio Zelazek (flavio.zelazek@gmail.com) Logic (Lesson 3: Tables and Models) October 22, / 29
44 Substitutions Models Substitutions For any universally quantified sentence u X or existentially quantified sentence u X, the Substitution Instance of the sentence, with the name s substituted for the variable u (written X[s/u]), is the sentence formed by dropping the initial universal or existential quantifier and writing s for all free occurrences of u in X. [Teller 2014, Vol. II, p. 33 (PDF p. 78)] Flavio Zelazek (flavio.zelazek@gmail.com) Logic (Lesson 3: Tables and Models) October 22, / 29
45 Models Truth Truth in an interpretation A universally quantified closed sentence is true in an interpretation just in case all of the sentence s substitution instances, formed with names in the interpretation, are true in the interpretation. An existentially quantified closed sentence is true in an interpretation just in case at least one of the sentence s substitution instances, formed with names in the interpretation, is true in the interpretation. [Teller 2014, Vol. II, p. 35 (PDF p. 79)] Flavio Zelazek (flavio.zelazek@gmail.com) Logic (Lesson 3: Tables and Models) October 22, / 29
46 Validity Models Validity A Predicate Logic Argument, that is an argument expressed with sentences of L 3, is Valid if and only if the conclusion is true in every interpretation in which all the premises are true. [Teller 2014, Vol. II, p. 25 (PDF p. 74)] A Counterexample to a predicate logic argument is an interpretation in which the premises are all true but the conclusion is false. [Teller 2014, Vol. II, p. 26 (PDF p. 75)] Flavio Zelazek (flavio.zelazek@gmail.com) Logic (Lesson 3: Tables and Models) October 22, / 29
47 Example 3.5 Models Validity M 1 M 2 M 3 D = everything N N {0, 1} Lxy x loves y x y x < y Cxy x causes y x divides y x divides y s Socrates 6 6 p philosophy 3 3 f Fritz 2 2 g God 1 10 Is x y Cxy true in M 1? Is y x Cxy true in M 1? Flavio Zelazek (flavio.zelazek@gmail.com) Logic (Lesson 3: Tables and Models) October 22, / 29
48 Example 3.5 Models Validity M 1 M 2 M 3 D = everything N N {0, 1} Lxy x loves y x y x < y Cxy x causes y x divides y x divides y s Socrates 6 6 p philosophy 3 3 f Fritz 2 2 g God 1 10 Is x y Cxy true in M 1? Is y x Cxy true in M 1? Flavio Zelazek (flavio.zelazek@gmail.com) Logic (Lesson 3: Tables and Models) October 22, / 29
49 Example 3.5 Models Validity M 1 M 2 M 3 D = everything N N {0, 1} Lxy x loves y x y x < y Cxy x causes y x divides y x divides y s Socrates 6 6 p philosophy 3 3 f Fritz 2 2 g God 1 10 Is x y Cxy true in M 1? Is y x Cxy true in M 1? Flavio Zelazek (flavio.zelazek@gmail.com) Logic (Lesson 3: Tables and Models) October 22, / 29
Propositional Logic Not Enough
Section 1.4 Propositional Logic Not Enough If we have: All men are mortal. Socrates is a man. Does it follow that Socrates is mortal? Can t be represented in propositional logic. Need a language that talks
More informationSection Summary. Predicate logic Quantifiers. Negating Quantifiers. Translating English to Logic. Universal Quantifier Existential Quantifier
Section 1.4 Section Summary Predicate logic Quantifiers Universal Quantifier Existential Quantifier Negating Quantifiers De Morgan s Laws for Quantifiers Translating English to Logic Propositional Logic
More informationSYMBOLIC LOGIC UNIT 10: SINGULAR SENTENCES
SYMBOLIC LOGIC UNIT 10: SINGULAR SENTENCES Singular Sentences name Paris is beautiful (monadic) predicate (monadic) predicate letter Bp individual constant Singular Sentences Bp These are our new simple
More informationDiscrete Structures for Computer Science
Discrete Structures for Computer Science William Garrison bill@cs.pitt.edu 6311 Sennott Square Lecture #4: Predicates and Quantifiers Based on materials developed by Dr. Adam Lee Topics n Predicates n
More informationPredicate Logic Quantifier Rules
Predicate Logic Quantifier Rules CS251 at CCUT, Spring 2017 David Lu May 8 th, 2017 Contents 1. Universal Instantiation (UI) 2. Existential Generalization (EG) 3. Universal Generalization (UG) 4. Existential
More information! Predicates! Variables! Quantifiers. ! Universal Quantifier! Existential Quantifier. ! Negating Quantifiers. ! De Morgan s Laws for Quantifiers
Sec$on Summary (K. Rosen notes for Ch. 1.4, 1.5 corrected and extended by A.Borgida)! Predicates! Variables! Quantifiers! Universal Quantifier! Existential Quantifier! Negating Quantifiers! De Morgan s
More informationSection Summary. Predicate logic Quantifiers. Negating Quantifiers. Translating English to Logic. Universal Quantifier Existential Quantifier
Section 1.4 Section Summary Predicate logic Quantifiers Universal Quantifier Existential Quantifier Negating Quantifiers De Morgan s Laws for Quantifiers Translating English to Logic Propositional Logic
More informationToday s Lecture. ICS 6B Boolean Algebra & Logic. Predicates. Chapter 1: Section 1.3. Propositions. For Example. Socrates is Mortal
ICS 6B Boolean Algebra & Logic Today s Lecture Chapter 1 Sections 1.3 & 1.4 Predicates & Quantifiers 1.3 Nested Quantifiers 1.4 Lecture Notes for Summer Quarter, 2008 Michele Rousseau Set 2 Ch. 1.3, 1.4
More informationSection Summary. Predicates Variables Quantifiers. Negating Quantifiers. Translating English to Logic Logic Programming (optional)
Predicate Logic 1 Section Summary Predicates Variables Quantifiers Universal Quantifier Existential Quantifier Negating Quantifiers De Morgan s Laws for Quantifiers Translating English to Logic Logic Programming
More informationIntroduction to first-order logic:
Introduction to first-order logic: First-order structures and languages. Terms and formulae in first-order logic. Interpretations, truth, validity, and satisfaction. Valentin Goranko DTU Informatics September
More informationPredicate Logic: Sematics Part 1
Predicate Logic: Sematics Part 1 CS402, Spring 2018 Shin Yoo Predicate Calculus Propositional logic is also called sentential logic, i.e. a logical system that deals with whole sentences connected with
More informationDenote John by j and Smith by s, is a bachelor by predicate letter B. The statements (1) and (2) may be written as B(j) and B(s).
PREDICATE CALCULUS Predicates Statement function Variables Free and bound variables Quantifiers Universe of discourse Logical equivalences and implications for quantified statements Theory of inference
More informationTopic #3 Predicate Logic. Predicate Logic
Predicate Logic Predicate Logic Predicate logic is an extension of propositional logic that permits concisely reasoning about whole classes of entities. Propositional logic treats simple propositions (sentences)
More informationLogical Operators. Conjunction Disjunction Negation Exclusive Or Implication Biconditional
Logical Operators Conjunction Disjunction Negation Exclusive Or Implication Biconditional 1 Statement meaning p q p implies q if p, then q if p, q when p, q whenever p, q q if p q when p q whenever p p
More informationLing 130 Notes: Predicate Logic and Natural Deduction
Ling 130 Notes: Predicate Logic and Natural Deduction Sophia A. Malamud March 7, 2014 1 The syntax of Predicate (First-Order) Logic Besides keeping the connectives from Propositional Logic (PL), Predicate
More informationPredicate Calculus. Lila Kari. University of Waterloo. Predicate Calculus CS245, Logic and Computation 1 / 59
Predicate Calculus Lila Kari University of Waterloo Predicate Calculus CS245, Logic and Computation 1 / 59 Predicate Calculus Alternative names: predicate logic, first order logic, elementary logic, restricted
More informationDiscrete Mathematics & Mathematical Reasoning Predicates, Quantifiers and Proof Techniques
Discrete Mathematics & Mathematical Reasoning Predicates, Quantifiers and Proof Techniques Colin Stirling Informatics Some slides based on ones by Myrto Arapinis Colin Stirling (Informatics) Discrete Mathematics
More informationGS03/4023: Validation and Verification Predicate Logic Jonathan P. Bowen Anthony Hall
GS03/4023: Validation and Verification Predicate Logic Jonathan P. Bowen www.cs.ucl.ac.uk/staff/j.bowen/gs03 Anthony Hall GS03 W1 L3 Predicate Logic 12 January 2007 1 Overview The need for extra structure
More informationMat 243 Exam 1 Review
OBJECTIVES (Review problems: on next page) 1.1 Distinguish between propositions and non-propositions. Know the truth tables (i.e., the definitions) of the logical operators,,,, and Write truth tables for
More informationSemantics I, Rutgers University Week 3-1 Yimei Xiang September 17, Predicate logic
Semantics I, Rutgers University Week 3-1 Yimei Xiang September 17, 2018 Predicate logic 1. Why propositional logic is not enough? Discussion: (i) Does (1a) contradict (1b)? [Two sentences are contradictory
More informationProposi'onal Logic Not Enough
Section 1.4 Proposi'onal Logic Not Enough If we have: All men are mortal. Socrates is a man. Socrates is mortal Compare to: If it is snowing, then I will study discrete math. It is snowing. I will study
More informationPredicate Calculus lecture 1
Predicate Calculus lecture 1 Section 1.3 Limitation of Propositional Logic Consider the following reasoning All cats have tails Gouchi is a cat Therefore, Gouchi has tail. MSU/CSE 260 Fall 2009 1 MSU/CSE
More informationPredicate Logic Thursday, January 17, 2013 Chittu Tripathy Lecture 04
Predicate Logic Today s Menu Predicate Logic Quantifiers: Universal and Existential Nesting of Quantifiers Applications Limitations of Propositional Logic Suppose we have: All human beings are mortal.
More informationPredicates, Quantifiers and Nested Quantifiers
Predicates, Quantifiers and Nested Quantifiers Predicates Recall the example of a non-proposition in our first presentation: 2x=1. Let us call this expression P(x). P(x) is not a proposition because x
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 informationSolving Problems by Inductive Reasoning
Solving Problems by Inductive Reasoning MATH 100 Survey of Mathematical Ideas J. Robert Buchanan Department of Mathematics Fall 2014 Inductive Reasoning (1 of 2) If we observe several similar problems
More informationI thank the author of the examination paper on which sample paper is based. VH
I thank the author of the examination paper on which sample paper is based. VH 1. (a) Which of the following expressions is a sentence of L 1 or an abbreviation of one? If an expression is neither a sentence
More informationPredicate Logic. CSE 191, Class Note 02: Predicate Logic Computer Sci & Eng Dept SUNY Buffalo
Predicate Logic CSE 191, Class Note 02: Predicate Logic Computer Sci & Eng Dept SUNY Buffalo c Xin He (University at Buffalo) CSE 191 Discrete Structures 1 / 22 Outline 1 From Proposition to Predicate
More informationPredicate Logic combines the distinctive features of syllogistic and propositional logic.
Predicate Logic combines the distinctive features of syllogistic and propositional logic. The fundamental component in predicate logic is the predicate, which is always symbolized with upper case letters.
More informationLogical Structures in Natural Language: Propositional Logic II (Truth Tables and Reasoning
Logical Structures in Natural Language: Propositional Logic II (Truth Tables and Reasoning Raffaella Bernardi Università degli Studi di Trento e-mail: bernardi@disi.unitn.it Contents 1 What we have said
More informationIntroduction. Predicates and Quantifiers. Discrete Mathematics Andrei Bulatov
Introduction Predicates and Quantifiers Discrete Mathematics Andrei Bulatov Discrete Mathematics Predicates and Quantifiers 7-2 What Propositional Logic Cannot Do We saw that some declarative sentences
More informationIntroduction to Sets and Logic (MATH 1190)
Introduction to Sets Logic () Instructor: Email: shenlili@yorku.ca Department of Mathematics Statistics York University Sept 18, 2014 Outline 1 2 Tautologies Definition A tautology is a compound proposition
More informationFormal Logic: Quantifiers, Predicates, and Validity. CS 130 Discrete Structures
Formal Logic: Quantifiers, Predicates, and Validity CS 130 Discrete Structures Variables and Statements Variables: A variable is a symbol that stands for an individual in a collection or set. For example,
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 information2/2/2018. CS 103 Discrete Structures. Chapter 1. Propositional Logic. Chapter 1.1. Propositional Logic
CS 103 Discrete Structures Chapter 1 Propositional Logic Chapter 1.1 Propositional Logic 1 1.1 Propositional Logic Definition: A proposition :is a declarative sentence (that is, a sentence that declares
More informationICS141: Discrete Mathematics for Computer Science I
ICS141: Discrete Mathematics for Computer Science I Dept. Information & Computer Sci., Originals slides by Dr. Baek and Dr. Still, adapted by J. Stelovsky Based on slides Dr. M. P. Frank and Dr. J.L. Gross
More informationReasoning Under Uncertainty: Introduction to Probability
Reasoning Under Uncertainty: Introduction to Probability CPSC 322 Uncertainty 1 Textbook 6.1 Reasoning Under Uncertainty: Introduction to Probability CPSC 322 Uncertainty 1, Slide 1 Lecture Overview 1
More informationLIN1032 Formal Foundations for Linguistics
LIN1032 Formal Foundations for Lecture 5 Albert Gatt In this lecture We conclude our discussion of the logical connectives We begin our foray into predicate logic much more expressive than propositional
More information3. The Logic of Quantified Statements Summary. Aaron Tan August 2017
3. The Logic of Quantified Statements Summary Aaron Tan 28 31 August 2017 1 3. The Logic of Quantified Statements 3.1 Predicates and Quantified Statements I Predicate; domain; truth set Universal quantifier,
More informationIII. Elementary Logic
III. Elementary Logic The Language of Mathematics While we use our natural language to transmit our mathematical ideas, the language has some undesirable features which are not acceptable in mathematics.
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 informationPredicate Logic. Example. Statements in Predicate Logic. Some statements cannot be expressed in propositional logic, such as: Predicate Logic
Predicate Logic Predicate Logic (Rosen, Chapter 1.4-1.6) TOPICS Predicate Logic Quantifiers Logical Equivalence Predicate Proofs Some statements cannot be expressed in propositional logic, such as: All
More informationAnnouncements CompSci 102 Discrete Math for Computer Science
Announcements CompSci 102 Discrete Math for Computer Science Read for next time Chap. 1.4-1.6 Recitation 1 is tomorrow Homework will be posted by Friday January 19, 2012 Today more logic Prof. Rodger Most
More informationINTRODUCTION. 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 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 informationRules Build Arguments Rules Building Arguments
Section 1.6 1 Section Summary Valid Arguments Inference Rules for Propositional Logic Using Rules of Inference to Build Arguments Rules of Inference for Quantified Statements Building Arguments for Quantified
More informationINTRODUCTION TO PREDICATE LOGIC HUTH AND RYAN 2.1, 2.2, 2.4
INTRODUCTION TO PREDICATE LOGIC HUTH AND RYAN 2.1, 2.2, 2.4 Neil D. Jones DIKU 2005 Some slides today new, some based on logic 2004 (Nils Andersen), some based on kernebegreber (NJ 2005) PREDICATE LOGIC:
More informationIntelligent Agents. First Order Logic. Ute Schmid. Cognitive Systems, Applied Computer Science, Bamberg University. last change: 19.
Intelligent Agents First Order Logic Ute Schmid Cognitive Systems, Applied Computer Science, Bamberg University last change: 19. Mai 2015 U. Schmid (CogSys) Intelligent Agents last change: 19. Mai 2015
More informationMathematical Logic Part Three
Mathematical Logic Part Three The Aristotelian Forms All As are Bs x. (A(x B(x Some As are Bs x. (A(x B(x No As are Bs x. (A(x B(x Some As aren t Bs x. (A(x B(x It It is is worth worth committing committing
More informationQuantification in the predicate calculus
Quantification in the predicate calculus PHIL 43916 eptember 5, 2012 1. The problem posed by quantified sentences... 1 2. yntax of PC... 2 3. Bound and free iables... 3 4. Models and assignments... 4 5.
More informationLecture 3 : Predicates and Sets DRAFT
CS/Math 240: Introduction to Discrete Mathematics 1/25/2010 Lecture 3 : Predicates and Sets Instructor: Dieter van Melkebeek Scribe: Dalibor Zelený DRAFT Last time we discussed propositions, which are
More informationMAI0203 Lecture 7: Inference and Predicate Calculus
MAI0203 Lecture 7: Inference and Predicate Calculus Methods of Artificial Intelligence WS 2002/2003 Part II: Inference and Knowledge Representation II.7 Inference and Predicate Calculus MAI0203 Lecture
More informationFinal Exam Theory Quiz Answer Page
Philosophy 120 Introduction to Logic Final Exam Theory Quiz Answer Page 1. (a) is a wff (and a sentence); its outer parentheses have been omitted, which is permissible. (b) is also a wff; the variable
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 informationMathematical Logic Part Three
Mathematical Logic Part Three Recap from Last Time What is First-Order Logic? First-order logic is a logical system for reasoning about properties of objects. Augments the logical connectives from propositional
More informationCSCE 222 Discrete Structures for Computing. Predicate Logic. Dr. Hyunyoung Lee. !!!!! Based on slides by Andreas Klappenecker
CSCE 222 Discrete Structures for Computing Predicate Logic Dr. Hyunyoung Lee Based on slides by Andreas Klappenecker 1 Predicates A function P from a set D to the set Prop of propositions is called a predicate.
More informationQuantifiers. P. Danziger
- 2 Quantifiers P. Danziger 1 Elementary Quantifiers (2.1) We wish to be able to use variables, such as x or n in logical statements. We do this by using the two quantifiers: 1. - There Exists 2. - For
More informationChapter 1, Part II: Predicate Logic
Chapter 1, Part II: Predicate Logic With Question/Answer Animations Copyright McGraw-Hill Education. All rights reserved. No reproduction or distribution without the prior written consent of McGraw-Hill
More informationSection Summary. Section 1.5 9/9/2014
Section 1.5 Section Summary Nested Quantifiers Order of Quantifiers Translating from Nested Quantifiers into English Translating Mathematical Statements into Statements involving Nested Quantifiers Translated
More information1 Propositional Logic
1 Propositional Logic Required reading: Foundations of Computation. Sections 1.1 and 1.2. 1. Introduction to Logic a. Logical consequences. If you know all humans are mortal, and you know that you are
More informationLecture Predicates and Quantifiers 1.5 Nested Quantifiers
Lecture 4 1.4 Predicates and Quantifiers 1.5 Nested Quantifiers Predicates The statement "x is greater than 3" has two parts. The first part, "x", is the subject of the statement. The second part, "is
More informationFirst order logic. Example The deduction of statements: This reasoning is intuitively correct. Every man is mortal. Since Ade is a man, he is mortal.
First Order Logic In the propositional logic, the most basic elements are atoms. Through atoms we build up formulas. We then use formulas to express various complex ideas. In this simple logic, an atom
More information2. Use quantifiers to express the associative law for multiplication of real numbers.
1. Define statement function of one variable. When it will become a statement? Statement function is an expression containing symbols and an individual variable. It becomes a statement when the variable
More informationLogic and Proofs. (A brief summary)
Logic and Proofs (A brief summary) Why Study Logic: To learn to prove claims/statements rigorously To be able to judge better the soundness and consistency of (others ) arguments To gain the foundations
More informationMATH 22 INFERENCE & QUANTIFICATION. Lecture F: 9/18/2003
MATH 22 Lecture F: 9/18/2003 INFERENCE & QUANTIFICATION Sixty men can do a piece of work sixty times as quickly as one man. One man can dig a post-hole in sixty seconds. Therefore, sixty men can dig a
More informationIntroduction to Logic: Argumentation and Interpretation. Vysoká škola mezinárodních a veřejných vztahů PhDr. Peter Jan Kosmály, Ph.D
Introduction to Logic: Argumentation and Interpretation Vysoká škola mezinárodních a veřejných vztahů PhDr. Peter Jan Kosmály, Ph.D. 30. 3. 2016 tests. Introduction to Logic: Argumentation and Interpretation
More informationLogik für Informatiker Logic for computer scientists
Logik für Informatiker for computer scientists WiSe 2009/10 Rooms Monday 12:00-14:00 MZH 1400 Thursday 14:00-16:00 MZH 5210 Exercises (bring your Laptops with you!) Wednesday 8:00-10:00 Sportturm C 5130
More informationExamples: P: it is not the case that P. P Q: P or Q P Q: P implies Q (if P then Q) Typical formula:
Logic: The Big Picture Logic is a tool for formalizing reasoning. There are lots of different logics: probabilistic logic: for reasoning about probability temporal logic: for reasoning about time (and
More informationPREDICATE LOGIC. Schaum's outline chapter 4 Rosen chapter 1. September 11, ioc.pdf
PREDICATE LOGIC Schaum's outline chapter 4 Rosen chapter 1 September 11, 2018 margarita.spitsakova@ttu.ee ICY0001: Lecture 2 September 11, 2018 1 / 25 Contents 1 Predicates and quantiers 2 Logical equivalences
More informationReview. Propositional Logic. Propositions atomic and compound. Operators: negation, and, or, xor, implies, biconditional.
Review Propositional Logic Propositions atomic and compound Operators: negation, and, or, xor, implies, biconditional Truth tables A closer look at implies Translating from/ to English Converse, inverse,
More informationReview: Potential stumbling blocks
Review: Potential stumbling blocks Whether the negation sign is on the inside or the outside of a quantified statement makes a big difference! Example: Let T(x) x is tall. Consider the following: x T(x)
More informationSection 2.1: Introduction to the Logic of Quantified Statements
Section 2.1: Introduction to the Logic of Quantified Statements In the previous chapter, we studied a branch of logic called propositional logic or propositional calculus. Loosely speaking, propositional
More informationhttps://vu5.sfc.keio.ac.jp/slide/
1 FUNDAMENTALS OF LOGIC NO.7 PREDICATE LOGIC Tatsuya Hagino hagino@sfc.keio.ac.jp lecture URL https://vu5.sfc.keio.ac.jp/slide/ 2 So Far Propositional Logic Logical Connectives (,,, ) Truth Table Tautology
More informationMath.3336: Discrete Mathematics. Nested Quantifiers/Rules of Inference
Math.3336: Discrete Mathematics Nested Quantifiers/Rules of Inference Instructor: Dr. Blerina Xhabli Department of Mathematics, University of Houston https://www.math.uh.edu/ blerina Email: blerina@math.uh.edu
More informationPhilosophy 240 Symbolic Logic Russell Marcus Hamilton College Fall 2014
Philosophy 240 Symbolic Logic Russell Marcus Hamilton College Fall 2014 Class #23 - Translation into Predicate Logic II ( 3.2) Only as a Quantifier P Only Ps are Qs is logically equivalent to all Qs are
More informationMACM 101 Discrete Mathematics I. Exercises on Predicates and Quantifiers. Due: Tuesday, October 13th (at the beginning of the class)
MACM 101 Discrete Mathematics I Exercises on Predicates and Quantifiers. Due: Tuesday, October 13th (at the beginning of the class) Reminder: the work you submit must be your own. Any collaboration and
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 information2/18/14. What is logic? Proposi0onal Logic. Logic? Propositional Logic, Truth Tables, and Predicate Logic (Rosen, Sections 1.1, 1.2, 1.
Logic? Propositional Logic, Truth Tables, and Predicate Logic (Rosen, Sections 1.1, 1.2, 1.3) TOPICS Propositional Logic Logical Operations Equivalences Predicate Logic CS160 - Spring Semester 2014 2 What
More informationLecture 10: Predicate Logic and Its Language
Discrete Mathematics (II) Spring 2017 Lecture 10: Predicate Logic and Its Language Lecturer: Yi Li 1 Predicates and Quantifiers In this action, we show you why a richer language should be introduced than
More informationYou may not start to read the questions printed on the subsequent pages of this question paper until instructed that you may do so by the Invigilator
PHT0/3 PHILOSOPHY TRIPOS Part IA TUESDAY 29 May 2018 09.00 12.00 Paper 3 LOGIC Answer three questions only; at least one from each of sections A and B. Write the number of the question at the beginning
More informationDiscrete Structures for Computer Science
Discrete Structures for Computer Science William Garrison bill@cs.pitt.edu 6311 Sennott Square Lecture #6: Rules of Inference Based on materials developed by Dr. Adam Lee Today s topics n Rules of inference
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 informationChapter 3. The Logic of Quantified Statements
Chapter 3. The Logic of Quantified Statements 3.1. Predicates and Quantified Statements I Predicate in grammar Predicate refers to the part of a sentence that gives information about the subject. Example:
More informationReview. Propositions, propositional operators, truth tables. Logical Equivalences. Tautologies & contradictions
Review Propositions, propositional operators, truth tables Logical Equivalences. Tautologies & contradictions Some common logical equivalences Predicates & quantifiers Some logical equivalences involving
More informationPropositions and Proofs
Propositions and Proofs Gert Smolka, Saarland University April 25, 2018 Proposition are logical statements whose truth or falsity can be established with proofs. Coq s type theory provides us with a language
More informationLogic. Propositional Logic: Syntax
Logic Propositional Logic: Syntax Logic is a tool for formalizing reasoning. There are lots of different logics: probabilistic logic: for reasoning about probability temporal logic: for reasoning about
More informationLogic of Sentences (Propositional Logic) is interested only in true or false statements; does not go inside.
You are a mathematician if 1.1 Overview you say to a car dealer, I ll take the red car or the blue one, but then you feel the need to add, but not both. --- 1. Logic and Mathematical Notation (not in the
More informationINTRODUCTION TO LOGIC 1 Sets, Relations, and Arguments. Why logic? Arguments
The Logic Manual INTRODUCTION TO LOGIC 1 Sets, Relations, and Arguments Volker Halbach Pure logic is the ruin of the spirit. Antoine de Saint-Exupéry The Logic Manual web page for the book: http://logicmanual.philosophy.ox.ac.uk/
More informationINSTITIÚID TEICNEOLAÍOCHTA CHEATHARLACH INSTITUTE OF TECHNOLOGY CARLOW PREDICATE LOGIC
1 CHAPTER 7. PREDICATE LOGIC 1 INSTITIÚID TEICNEOLAÍOCHTA CHEATHARLACH INSTITUTE OF TECHNOLOGY CARLOW PREDICATE LOGIC 1 Predicate Logic 1.1 Introduction There are various arguments which cannot be dealt
More information4 Quantifiers and Quantified Arguments 4.1 Quantifiers
4 Quantifiers and Quantified Arguments 4.1 Quantifiers Recall from Chapter 3 the definition of a predicate as an assertion containing one or more variables such that, if the variables are replaced by objects
More informationLogics - Introduction
Logics 1 Logics - Introduction So far we have seen a variety of operational formalisms based on some some notion of state and event/transition model the evolution of the system Now instead we will analyze
More informationComputational Logic. Recall of First-Order Logic. Damiano Zanardini
Computational Logic Recall of First-Order Logic Damiano Zanardini UPM European Master in Computational Logic (EMCL) School of Computer Science Technical University of Madrid damiano@fi.upm.es Academic
More informationIntermediate Logic. First-Order Logic
Intermediate Logic Lecture Four First-Order Logic Rob Trueman rob.trueman@york.ac.uk University of York Introducing First-Order Logic First-Order Logic Introducing First-Order Logic Names Predicates Quantifiers
More informationLogic and Proofs. Jan COT3100: Applications of Discrete Structures Jan 2007
COT3100: Propositional Equivalences 1 Logic and Proofs Jan 2007 COT3100: Propositional Equivalences 2 1 Translating from Natural Languages EXAMPLE. Translate the following sentence into a logical expression:
More informationSec$on Summary. Valid Arguments Inference Rules for Propositional Logic. Inference Rules for Quantified Statements. Building Arguments
Section 1.6 Sec$on Summary Valid Arguments Inference Rules for Propositional Logic Building Arguments Inference Rules for Quantified Statements Building Arguments 2 Revisi$ng the Socrates Example We have
More informationFor all For every For each For any There exists at least one There exists There is Some
Section 1.3 Predicates and Quantifiers Assume universe of discourse is all the people who are participating in this course. Also let us assume that we know each person in the course. Consider the following
More informationLogic. Propositional Logic: Syntax. Wffs
Logic Propositional Logic: Syntax Logic is a tool for formalizing reasoning. There are lots of different logics: probabilistic logic: for reasoning about probability temporal logic: for reasoning about
More informationLogical Structures in Natural Language: First order Logic (FoL)
Logical Structures in Natural Language: First order Logic (FoL) Raffaella Bernardi Università degli Studi di Trento e-mail: bernardi@disi.unitn.it Contents 1 How far can we go with PL?................................
More informationReasoning Under Uncertainty: Introduction to Probability
Reasoning Under Uncertainty: Introduction to Probability CPSC 322 Lecture 23 March 12, 2007 Textbook 9 Reasoning Under Uncertainty: Introduction to Probability CPSC 322 Lecture 23, Slide 1 Lecture Overview
More informationThinking of Nested Quantification
Section 1.5 Section Summary Nested Quantifiers Order of Quantifiers Translating from Nested Quantifiers into English Translating Mathematical Statements into Statements involving Nested Quantifiers. Translating
More information