First-Order Natural Deduction. Part 1: Universal Introduction and Elimination
|
|
- Agatha Wilkinson
- 5 years ago
- Views:
Transcription
1 First-Order Natural Deduction Part 1: Universal Introduction and Elimination
2 Happy Birthday to Talan Two years old!
3 Business Homework #7 will be posted later today. It is due on Monday, October 21. The Midterm Exam is also on October 21.
4 Business The midterm exam will cover the first three chapters. You will not be asked to do first-order proofs!
5 Identity For the most part, we treat relations in a generic way. However, one relation is special. Identity gets its own symbol, =, and we write (a = b), rather than =ab.
6 Identity Identity is an equivalence relation: it is reflexive, symmetric, and transitive. In fact, identity is the smallest or most fine-grained equivalence relation. a b c
7 Identity Leibniz proposed two laws governing identity. Indiscernibility of Identicals: If a and b are identical, then everything true of a is true of b. Identity of Indiscernibles: If everything true of a is true of b, then a and b are identical.
8 Identity If whatever is true of includes relations, like identity itself, then Leibniz s Laws become trivial. However, Leibniz himself restricted his laws to monadic predicates. In its restricted form, the law of Identity of Indiscernibles is controversial.
9 Identity Leibniz himself pointed out the following odd consequence of his laws: There is no possible world containing two qualitatively identical, homogeneous spheres.
10 Identity Leibniz himself pointed out the following odd consequence of his laws: There is no possible world containing two qualitatively identical, homogeneous spheres. POOF!
11 Identity Worse, because of its symmetry properties, a world containing just a single homogeneous sphere is impossible!
12 Identity Such an object is indiscernible from a single point. POOF!
13 Identity When two constants a and b name the same individual, we write (a = b). Moreover, we can freely substitute a for occurrences of b in any non-intensional context in which it appears. What is an intensional context, and why does context matter?
14 Identity An intensional context is one where the sense, rather than the reference of a constant term matters to the meaning of the sentence in which it appears. An example of an intensional context is a sentence that uses the word believes.
15 Identity Harvey Dent believes that Bruce Wayne is Bruce Wayne, but he does not believe that Bruce Wayne is Batman.?
16 Identity Identity over time When I was younger, I was shorter.
17 Identity Identity over time When I was younger, I was shorter. I don t think Leibniz is gonna like this.
18 Identity Identity across worlds If I had a million dollars, I d be rich.
19 Identity Identity across worlds If I had a million dollars, I d be rich.
20 Identity Identity across worlds If I had a million dollars, I d be rich.
21 Identity Identity across worlds If I had a million dollars, I d be rich.
22 Identity Identity across worlds If I had a million dollars, I d be rich.
23 Identity Identity across worlds If I had a million dollars, I d be rich.
24 Identity We can use identity to translate sentences involving superlatives or numerical claims. Jim is the shortest man in the room. ( x)((mx ᴧ Rx) (Sjx v (j = x))) There is exactly one fish. ( x)(fx ᴧ ( y)(fy (y = x)))
25 First-Order Natural Deduction We now want to start thinking about how to prove things in first-order logic. To that end, we will add six new inference rules. We add introduction and elimination rules for the universal quantifier, the existential quantifier, and the identity relation.
26 First-Order Natural Deduction But before we add new rules of inference, we need to understand an operation: substitution. We use the substitution operation to describe the rules of inference for the quantifiers.
27 Substitution Let be a formula, let x be an arbitrary variable, and let c be an arbitrary constant. [x/c] denotes the result of replacing all free occurrences of x in with c.
28 Substitution (Fxy Myz) ( x)(gx Hy) (( y)(hy ᴧ Dx) ᴠ Fy) (Mxx ᴧ ( x)gx) ( Db Ky)
29 Substitution (Fxy Myz)[z/d] ( x)(gx Hy)[y/e] (( y)(hy ᴧ Dx) ᴠ Fy)[y/c] (Mxx ᴧ ( x)gx)[x/b] ( Db Ky)[y/a]
30 Substitution (Fxy Myz)[z/d] ( x)(gx Hy)[y/e] (( y)(hy ᴧ Dx) ᴠ Fy)[y/c] (Mxx ᴧ ( x)gx)[x/b] ( Db Ky)[y/a] (Fxy Myd) ( x)(gx He) (( y)(hy ᴧ Dx) ᴠ Fc) (Mbb ᴧ ( x)gx) ( Db Ka)
31 Universal Elimination ( E) Suppose ( x) is a well-formed formula for some variable x, and suppose c is an arbitrary constant. ( x) [x/c]
32 Let s try an example: { ( x)(gx ᴧ Hx), (Ga ( y)ky) } (Ha ᴧ Kb)
33 Assumptions Line Formula Justification 1 (1) ( x)(gx ᴧ Hx) A 2 (2) (Ga ( y)ky) A
34 Assumptions Line Formula Justification 1 (1) ( x)(gx ᴧ Hx) A 2 (2) (Ga ( y)ky) A 1 (3) (Ga ᴧ Ha) 1 E
35 Assumptions Line Formula Justification 1 (1) ( x)(gx ᴧ Hx) A 2 (2) (Ga ( y)ky) A 1 (3) (Ga ᴧ Ha) 1 E 1 (4) Ga 3 ᴧE
36 Assumptions Line Formula Justification 1 (1) ( x)(gx ᴧ Hx) A 2 (2) (Ga ( y)ky) A 1 (3) (Ga ᴧ Ha) 1 E 1 (4) Ga 3 ᴧE 1 (5) Ha 3 ᴧE
37 Assumptions Line Formula Justification 1 (1) ( x)(gx ᴧ Hx) A 2 (2) (Ga ( y)ky) A 1 (3) (Ga ᴧ Ha) 1 E 1 (4) Ga 3 ᴧE 1 (5) Ha 3 ᴧE 1,2 (6) ( y)ky 2,4 E
38 Assumptions Line Formula Justification 1 (1) ( x)(gx ᴧ Hx) A 2 (2) (Ga ( y)ky) A 1 (3) (Ga ᴧ Ha) 1 E 1 (4) Ga 3 ᴧE 1 (5) Ha 3 ᴧE 1,2 (6) ( y)ky 2,4 E 1,2 (7) Kb 6 E
39 Assumptions Line Formula Justification 1 (1) ( x)(gx ᴧ Hx) A 2 (2) (Ga ( y)ky) A 1 (3) (Ga ᴧ Ha) 1 E 1 (4) Ga 3 ᴧE 1 (5) Ha 3 ᴧE 1,2 (6) ( y)ky 2,4 E 1,2 (7) Kb 6 E 1,2 (8) (Ha ᴧ Kb) 5,7 ᴧI
40 Let s try another: { (Ga Hc) } (( y)gy Hc)
41 Assumptions Line Formula Justification 1 (1) (Ga Hc) A
42 Assumptions Line Formula Justification 1 (1) (Ga Hc) A 2 (2) ( y)gy A (for CP)
43 Assumptions Line Formula Justification 1 (1) (Ga Hc) A 2 (2) ( y)gy A (for CP) 2 (3) Ga 2 E
44 Assumptions Line Formula Justification 1 (1) (Ga Hc) A 2 (2) ( y)gy A (for CP) 2 (3) Ga 2 E 1,2 (4) Hc 1,3 E
45 Assumptions Line Formula Justification 1 (1) (Ga Hc) A 2 (2) ( y)gy A (for CP) 2 (3) Ga 2 E 1,2 (4) Hc 1,3 E 1 (5) (( y)gy Hc) 2,4 CP
46 Universal Introduction ( I) Suppose is a well-formed formula, and c is a constant that does not appear in. Then [x/c] ( x) So long as [x/c] does not depend on any formula containing c.
47 The rule for universal introduction has two clauses that constrain how we can introduce universal quantifiers. The constant c cannot appear in. The formula [x/c] cannot depend on any formula containing c.
48 The easiest way to see how the constraints on universal introduction work is to see how they might be violated.
49 The easiest way to see how the constraints on universal introduction work is to see how they might be violated. Let s see a proof that violates the first constraint: The constant c cannot appear in.
50 Assumptions Line Formula Justification 1 (1) ( x)fxx A
51 Assumptions Line Formula Justification 1 (1) ( x)fxx A 1 (2) Fbb 1 E
52 Assumptions Line Formula Justification 1 (1) ( x)fxx A 1 (2) Fbb 1 E 1 (3) ( x)fxb 2 I
53 Assumptions Line Formula Justification 1 (1) ( x)fxx A 1 (2) Fbb 1 E 1 (3) ( x)fxb 2 I NO!
54 Assumptions Line Formula Justification 1 (1) ( x)fxx A 1 (2) Fbb 1 E 1 (3) ( x)fxb 2 I NO! The formula Fxb contains the constant b!
55 And now a proof that violates the second constraint: The formula [x/c] cannot depend on any formula containing c.
56 Assumptions Line Formula Justification 1 (1) Fa A
57 Assumptions Line Formula Justification 1 (1) Fa A 1 (2) ( x)fx 1 I
58 Assumptions Line Formula Justification 1 (1) Fa A 1 (2) ( x)fx 1 I NO!
59 Assumptions Line Formula Justification 1 (1) Fa A 1 (2) ( x)fx 1 I NO! The formula Fa depends on a formula that contains the constant a, namely itself!
60 Now, let s see a correct example: { ( x)(fa Gx) } (Fa ( x)gx)
61 Assumptions Line Formula Justification 1 (1) ( x)(fa Gx) A
62 Assumptions Line Formula Justification 1 (1) ( x)(fa Gx) A 2 (2) Fa A (for CP)
63 Assumptions Line Formula Justification 1 (1) ( x)(fa Gx) A 2 (2) Fa A (for CP) 1 (3) (Fa Gb) 1 E
64 Assumptions Line Formula Justification 1 (1) ( x)(fa Gx) A 2 (2) Fa A (for CP) 1 (3) (Fa Gb) 1 E 1,2 (4) Gb 2,3 E
65 Assumptions Line Formula Justification 1 (1) ( x)(fa Gx) A 2 (2) Fa A (for CP) 1 (3) (Fa Gb) 1 E 1,2 (4) Gb 2,3 E 1,2 (5) ( x)gx 4 I
66 Assumptions Line Formula Justification 1 (1) ( x)(fa Gx) A 2 (2) Fa A (for CP) 1 (3) (Fa Gb) 1 E 1,2 (4) Gb 2,3 E 1,2 (5) ( x)gx 4 I 1 (6) (Fa ( x)gx) 2,5 CP
67 Next Time We will see rules for dealing with the existential quantifier.
First-Order Logic. Natural Deduction, Part 2
First-Order Logic Natural Deduction, Part 2 Review Let ϕ be a formula, let x be an arbitrary variable, and let c be an arbitrary constant. ϕ[x/c] denotes the result of replacing all free occurrences of
More informationHomework. Turn in Homework #4. The fifth homework assignment has been posted on the course website. It is due on Monday, March 2.
Homework Turn in Homework #4. The fifth homework assignment has been posted on the course website. It is due on Monday, March 2. First-Order Logic Formation Rules and Translations First Order Logic Well-Formed
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 informationTopic DPL: Answers. Exercise 1.1a Explain why the rule &E for MPL is a sound rule.
Topic DPL: Answers Exercise 1.1a Explain why the rule &E for MPL is a sound rule. In MPL, if (φ&ψ) is true under some interpretation then φ and ψ are true under that interpretation too. Thus, if (φ&ψ)
More information13. APPENDIX 1: THE SYNTAX OF PREDICATE LOGIC
394 Hardegree, Symbolic Logic 13. APPENDIX 1: THE SYNTAX OF PREDICATE LOGIC In this appendix, we review the syntactic features of predicate logic that are crucial to understanding derivations in predicate
More informationIf you can figure out this derivation, better yet if you can reproduce it yourself, then you have truly mastered the universal-out rule!
Chapter 8: Derivations in Predicate Logic 357 Example 5 (1) x(fx yrxy) Pr (2) x y(rxy zgz) Pr (3) ~Gb Pr (4) : ~Fa ID (5) Fa As (6) : DD (7) Fa yray 1, O (8) yray 5,7, O (9) Rab 8, O (10) y(ray zgz) 2,
More informationIntermediate Logic Spring. Second-Order Logic
Intermediate Logic Spring Lecture Five Second-Order Logic Rob Trueman rob.trueman@york.ac.uk University of York 1 / 47 Introduction Second-Order Logic Introduction The Language of SOL Introduction and
More informationZeroth-Order Natural Deduction. Part 4: Indirect Proof
Zeroth-Order Natural Deduction Part 4: Indirect Proof Conditional Proof Last time, we introduced the rule of conditional proof, which lets us discharge assumptions. Today, we will begin by looking at some
More informationAnnouncements & Overview
Branden Fitelson Philosophy 4515 (Advanced Logic) Notes 1 Announcements & Overview Administrative Stuff HW #3 grades and solutions have been posted HW #4 s due date extended to next Friday (LMPL/L2PL proofs)
More informationCompleteness in the Monadic Predicate Calculus. We have a system of eight rules of proof. Let's list them:
Completeness in the Monadic Predicate Calculus We have a system of eight rules of proof. Let's list them: PI At any stage of a derivation, you may write down a sentence φ with {φ} as its premiss set. TC
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 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 informationPhilosophy 240: Symbolic Logic
Philosophy 240: Symbolic Logic Russell Marcus Hamilton College Fall 2014 Class #41 - Second-Order Quantification Marcus, Symbolic Logic, Slide 1 Second-Order Inferences P Consider a red apple and a red
More informationPhilosophy 240: Symbolic Logic
Philosophy 240: Symbolic Logic Russell Marcus Hamilton College Fall 2015 Class #41 - Second-Order Quantification Marcus, Symbolic Logic, Slide 1 Second-Order Inferences P Consider a red apple and a red
More informationSection 2.3: Statements Containing Multiple Quantifiers
Section 2.3: Statements Containing Multiple Quantifiers In this section, we consider statements such as there is a person in this company who is in charge of all the paperwork where more than one quantifier
More informationMathematics 114L Spring 2018 D.A. Martin. Mathematical Logic
Mathematics 114L Spring 2018 D.A. Martin Mathematical Logic 1 First-Order Languages. Symbols. All first-order languages we consider will have the following symbols: (i) variables v 1, v 2, v 3,... ; (ii)
More informationFormal (Natural) Deduction for Predicate Calculus
Formal (Natural) Deduction for Predicate Calculus Lila Kari University of Waterloo Formal (Natural) Deduction for Predicate Calculus CS245, Logic and Computation 1 / 42 Formal deducibility for predicate
More informationAll psychiatrists are doctors All doctors are college graduates All psychiatrists are college graduates
Predicate Logic In what we ve discussed thus far, we haven t addressed other kinds of valid inferences: those involving quantification and predication. For example: All philosophers are wise Socrates is
More informationMath 3B: Lecture 11. Noah White. October 25, 2017
Math 3B: Lecture 11 Noah White October 25, 2017 Introduction Midterm 1 Introduction Midterm 1 Average is 73%. This is higher than I expected which is good. Introduction Midterm 1 Average is 73%. This is
More informationSome Review Problems for Exam 1: Solutions
Math 3355 Fall 2018 Some Review Problems for Exam 1: Solutions Here is my quick review of proof techniques. I will focus exclusively on propositions of the form p q, or more properly, x P (x) Q(x) or x
More informationa. (6.25 points) where we let b. (6.25 points) c. (6.25 points) d. (6.25 points) B 3 =(x)[ H(x) F (x)], and (11)
A1 Logic (25 points) For each of the following either prove it step-by-step using resolution or another sound and complete technique of your stated choice or disprove it by exhibiting in detail a relevant
More informationLogic: First Order Logic
Logic: First Order Logic Raffaella Bernardi bernardi@inf.unibz.it P.zza Domenicani 3, Room 2.28 Faculty of Computer Science, Free University of Bolzano-Bozen http://www.inf.unibz.it/~bernardi/courses/logic06
More informationDeduction by Daniel Bonevac. Chapter 8 Identity and Functions
Deduction by Daniel Bonevac Chapter 8 Identity and Functions Introduction 1 This chapter introduces two important extensions of Q that make it quite a bit more powerful. The first is the mathematical relation
More informationErrata in Modern Logic
Errata in Modern Logic Modern Logic contains a number of minor typos and slips in its first printing. Most of these are inconsequential or easily spotted by the reader, but some could be misleading, so
More informationInterpretations of PL (Model Theory)
Interpretations of PL (Model Theory) 1. Once again, observe that I ve presented topics in a slightly different order from how I presented them in sentential logic. With sentential logic I discussed syntax
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 informationMATH 2001 MIDTERM EXAM 1 SOLUTION
MATH 2001 MIDTERM EXAM 1 SOLUTION FALL 2015 - MOON Do not abbreviate your answer. Write everything in full sentences. Except calculators, any electronic devices including laptops and cell phones are not
More informationP Q (P Q) (P Q) (P Q) (P % Q) T T T T T T T F F T F F F T F T T T F F F F T T
Logic and Reasoning Final Exam Practice Fall 2017 Name Section Number The final examination is worth 100 points. 1. (10 points) What is an argument? Explain what is meant when one says that logic is the
More informationMath 106 Answers to Exam 1a Fall 2015
Math 06 Answers to Exam a Fall 05.. Find the derivative of the following functions. Do not simplify your answers. (a) f(x) = ex cos x x + (b) g(z) = [ sin(z ) + e z] 5 Using the quotient rule on f(x) and
More information7 Classical Quantified Logic
7 Classical Quantified Logic efore examining quantified modal logic, we review a bare-bones system for first-order predicate or quantificational logic, i.e., that involving the quantifiers x... and x...,
More informationSelected problems from past exams
Discrete Structures CS2800 Prelim 1 s Selected problems from past exams 1. True/false. For each of the following statements, indicate whether the statement is true or false. Give a one or two sentence
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 informationBarriers to Inference
Barriers to Inference Greg Restall University of Melbourne restall@unimelb.edu.au Page 0 of 53 Gillian Russell Washington University in St Louis grussell@artsci.wustl.edu 27th May, FEW 2005 Hume s Law
More informationPreparing for the CS 173 (A) Fall 2018 Midterm 1
Preparing for the CS 173 (A) Fall 2018 Midterm 1 1 Basic information Midterm 1 is scheduled from 7:15-8:30 PM. We recommend you arrive early so that you can start exactly at 7:15. Exams will be collected
More informationThe Mean Value Theorem
Math 31A Discussion Session Week 6 Notes February 9 and 11, 2016 This week we ll discuss some (unsurprising) properties of the derivative, and then try to use some of these properties to solve a real-world
More informationREADME - Syntax. Skolemization. Skolemization - Example 1. Skolemization - Example 1. Skolemization - Example 1. Skolemization - Example 2
README - Syntax Skolemization Logical implication is commonly included in the syntax of first-order and propositional logical languages. The symbol used to denote logical implication differs from language
More informationThe predicate calculus is complete
The predicate calculus is complete Hans Halvorson The first thing we need to do is to precisify the inference rules UI and EE. To this end, we will use A(c) to denote a sentence containing the name c,
More informationDO NOT FORGET!!! WRITE YOUR NAME HERE. Philosophy 109 Final Exam, Spring 2007 (80 points total) ~ ( x)
Page 1 of 13 DO NOT FORGET!!! WRITE YOUR NAME HERE Philosophy 109 Final Exam, Spring 2007 (80 points total) ~ ( x) Part I: Symbolization into RL: Provide symbolizations of the following sentences, using
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 informationOne-to-one functions and onto functions
MA 3362 Lecture 7 - One-to-one and Onto Wednesday, October 22, 2008. Objectives: Formalize definitions of one-to-one and onto One-to-one functions and onto functions At the level of set theory, there are
More informationFUNCTIONS AND MODELS
1 FUNCTIONS AND MODELS FUNCTIONS AND MODELS The fundamental objects that we deal with in calculus are functions. FUNCTIONS AND MODELS This chapter prepares the way for calculus by discussing: The basic
More informationMath 10850, fall 2017, University of Notre Dame
Math 10850, fall 2017, University of Notre Dame Notes on first exam September 22, 2017 The key facts The first midterm will be on Thursday, September 28, 6.15pm-7.45pm in Hayes-Healy 127. What you need
More informationMath 111, Introduction to the Calculus, Fall 2011 Midterm I Practice Exam 1 Solutions
Math 111, Introduction to the Calculus, Fall 2011 Midterm I Practice Exam 1 Solutions For each question, there is a model solution (showing you the level of detail I expect on the exam) and then below
More informationKB Agents and Propositional Logic
Plan Knowledge-Based Agents Logics Propositional Logic KB Agents and Propositional Logic Announcements Assignment2 mailed out last week. Questions? Knowledge-Based Agents So far, what we ve done is look
More informationDRAFT - Math 101 Lecture Note - Dr. Said Algarni
2 Limits 2.1 The Tangent Problems The word tangent is derived from the Latin word tangens, which means touching. A tangent line to a curve is a line that touches the curve and a secant line is a line that
More informationAnnouncements Monday, September 18
Announcements Monday, September 18 WeBWorK 1.4, 1.5 are due on Wednesday at 11:59pm. The first midterm is on this Friday, September 22. Midterms happen during recitation. The exam covers through 1.5. About
More informationPredicate Logic. Predicates. Math 173 February 9, 2010
Math 173 February 9, 2010 Predicate Logic We have now seen two ways to translate English sentences into mathematical symbols. We can capture the logical form of a sentence using propositional logic: variables
More informationAdam Blank Spring 2017 CSE 311. Foundations of Computing I
Adam Blank Spring 2017 CSE 311 Foundations of Computing I Pre-Lecture Problem Suppose that p, and p (q r) are true. Is q true? Can you prove it with equivalences? CSE 311: Foundations of Computing Lecture
More informationMath 341 Summer 2016 Midterm Exam 2 Solutions. 1. Complete the definitions of the following words or phrases:
Math 34 Summer 06 Midterm Exam Solutions. Complete the definitions of the following words or phrases: (a) A sequence (a n ) is called a Cauchy sequence if and only if for every ɛ > 0, there exists and
More informationG52DOA - Derivation of Algorithms Predicate Logic
G52DOA - Derivation of Algorithms Predicate Logic Venanzio Capretta Predicate Logic So far, we studied propositional logic, in which we started with unspecified propositional variables A, B, C, and combined
More informationLecture 10 CS 1813 Discrete Mathematics. Quantify What? Reasoning with Predicates
Lecture 10 CS 1813 Discrete Mathematics Quantify What? Reasoning with Predicates 1 More Examples with Forall the Universal Quantifier L predicate about qsort L(n) length(qsort[a 1, a 2,, a n ] ) = n Universe
More informationWriting proofs for MATH 61CM, 61DM Week 1: basic logic, proof by contradiction, proof by induction
Writing proofs for MATH 61CM, 61DM Week 1: basic logic, proof by contradiction, proof by induction written by Sarah Peluse, revised by Evangelie Zachos and Lisa Sauermann September 27, 2016 1 Introduction
More informationSupplementary Logic Notes CSE 321 Winter 2009
1 Propositional Logic Supplementary Logic Notes CSE 321 Winter 2009 1.1 More efficient truth table methods The method of using truth tables to prove facts about propositional formulas can be a very tedious
More informationMath 31 Lesson Plan. Day 5: Intro to Groups. Elizabeth Gillaspy. September 28, 2011
Math 31 Lesson Plan Day 5: Intro to Groups Elizabeth Gillaspy September 28, 2011 Supplies needed: Sign in sheet Goals for students: Students will: Improve the clarity of their proof-writing. Gain confidence
More informationPredicate Logic. 1 Predicate Logic Symbolization
1 Predicate Logic Symbolization innovation of predicate logic: analysis of simple statements into two parts: the subject and the predicate. E.g. 1: John is a giant. subject = John predicate =... is a giant
More informationCS1021. Why logic? Logic about inference or argument. Start from assumptions or axioms. Make deductions according to rules of reasoning.
3: Logic Why logic? Logic about inference or argument Start from assumptions or axioms Make deductions according to rules of reasoning Logic 3-1 Why logic? (continued) If I don t buy a lottery ticket on
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 informationCollins' notes on Lemmon's Logic
Collins' notes on Lemmon's Logic (i) Rule of ssumption () Insert any formula at any stage into a proof. The assumed formula rests upon the assumption of itself. (ii) Double Negation (DN) a. b. ( Two negations
More information(1) Which of the following are propositions? If it is a proposition, determine its truth value: A propositional function, but not a proposition.
Math 231 Exam Practice Problem Solutions WARNING: This is not a sample test. Problems on the exams may or may not be similar to these problems. These problems are just intended to focus your study of the
More informationAnnouncements. Today s Menu
Announcements Reading Assignment: > Nilsson chapters 13-14 Announcements: > LISP and Extra Credit Project Assigned Today s Handouts in WWW: > Homework 10-13 > Outline for Class 26 > www.mil.ufl.edu/eel5840
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 informationIntroduction to Metalogic 1
Philosophy 135 Spring 2012 Tony Martin Introduction to Metalogic 1 1 The semantics of sentential logic. The language L of sentential logic. Symbols of L: (i) sentence letters p 0, p 1, p 2,... (ii) connectives,
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 informationIdentity. "At least one dog has fleas" is translated by an existential quantifier"
Identity Quantifiers are so-called because they say how many. So far, we've only used the quantifiers to give the crudest possible answers to the question "How many dogs have fleas?": "All," "None," "Some,"
More informationDerivations in the Predicate Calculus
Derivations in the Predicate Calculus The rules of proof for the full predicate calculus are the same as those for the monadic predicate calculus, with only the teeniest changes to accommodate the extra
More informationExam Practice Problems
Math 231 Exam Practice Problems WARNING: This is not a sample test. Problems on the exams may or may not be similar to these problems. These problems are just intended to focus your study of the topics.
More informationThis is logically equivalent to the conjunction of the positive assertion Minimal Arithmetic and Representability
16.2. MINIMAL ARITHMETIC AND REPRESENTABILITY 207 If T is a consistent theory in the language of arithmetic, we say a set S is defined in T by D(x) if for all n, if n is in S, then D(n) is a theorem of
More informationNormal Forms for First-Order Logic
Logic and Proof Hilary 2016 James Worrell Normal Forms for First-Order Logic In this lecture we show how to transform an arbitrary formula of first-order logic to an equisatisfiable formula in Skolem form.
More informationName: MAT 444 Test 4 Instructor: Helene Barcelo April 19, 2004
MAT 444 Test 4 Instructor: Helene Barcelo April 19, 004 Name: You can take up to hours for completing this exam. Close book, notes and calculator. Do not use your own scratch paper. Write each solution
More informationPHIL 50 INTRODUCTION TO LOGIC 1 FREE AND BOUND VARIABLES MARCELLO DI BELLO STANFORD UNIVERSITY DERIVATIONS IN PREDICATE LOGIC WEEK #8
PHIL 50 INTRODUCTION TO LOGIC MARCELLO DI BELLO STANFORD UNIVERSITY DERIVATIONS IN PREDICATE LOGIC WEEK #8 1 FREE AND BOUND VARIABLES Before discussing the derivation rules for predicate logic, we should
More information1 Introduction to Predicate Resolution
1 Introduction to Predicate Resolution The resolution proof system for Predicate Logic operates, as in propositional case on sets of clauses and uses a resolution rule as the only rule of inference. The
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 informationCHAPTER 0: BACKGROUND (SPRING 2009 DRAFT)
CHAPTER 0: BACKGROUND (SPRING 2009 DRAFT) MATH 378, CSUSM. SPRING 2009. AITKEN This chapter reviews some of the background concepts needed for Math 378. This chapter is new to the course (added Spring
More informationCardinality and ordinal numbers
Cardinality and ordinal numbers The cardinality A of a finite set A is simply the number of elements in it. When it comes to infinite sets, we no longer can speak of the number of elements in such a set.
More informationLP and Relatives. p p
LP and Relatives Graham Priest is certainly the philosopher most widely known as a champion of paraconsistent logic and dialetheism. He has written several books and quite many papers on almost all aspects
More informationTheorem. For every positive integer n, the sum of the positive integers from 1 to n is n(n+1)
Week 1: Logic Lecture 1, 8/1 (Sections 1.1 and 1.3) Examples of theorems and proofs Theorem (Pythagoras). Let ABC be a right triangle, with legs of lengths a and b, and hypotenuse of length c. Then a +
More information1A Logic 2015 Model Answers
1A Logic 2015 Model Answers Section A 1. (a) Show each of the following [40]: (i) P Q, Q R, P R P 1 P Q 2 Q R 3 P R 4 P 5 P R, 4 6 P 7 Q DS, 1, 6 8 R DS, 2, 7 9 R 10 I, 8, 9 11 R E, 9, 10 12 P MT, 3, 11
More informationREVIEW FOR THIRD 3200 MIDTERM
REVIEW FOR THIRD 3200 MIDTERM PETE L. CLARK 1) Show that for all integers n 2 we have 1 3 +... + (n 1) 3 < 1 n < 1 3 +... + n 3. Solution: We go by induction on n. Base Case (n = 2): We have (2 1) 3 =
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 informationSeminaar Abstrakte Wiskunde Seminar in Abstract Mathematics Lecture notes in progress (27 March 2010)
http://math.sun.ac.za/amsc/sam Seminaar Abstrakte Wiskunde Seminar in Abstract Mathematics 2009-2010 Lecture notes in progress (27 March 2010) Contents 2009 Semester I: Elements 5 1. Cartesian product
More informationStrong AI vs. Weak AI Automated Reasoning
Strong AI vs. Weak AI Automated Reasoning George F Luger ARTIFICIAL INTELLIGENCE 6th edition Structures and Strategies for Complex Problem Solving Artificial intelligence can be classified into two categories:
More informationMath 250B Midterm I Information Fall 2018
Math 250B Midterm I Information Fall 2018 WHEN: Wednesday, September 26, in class (no notes, books, calculators I will supply a table of integrals) EXTRA OFFICE HOURS: Sunday, September 23 from 8:00 PM
More informationProseminar on Semantic Theory Fall 2013 Ling 720 First Order (Predicate) Logic: Syntax and Natural Deduction 1
First Order (Predicate) Logic: Syntax and Natural Deduction 1 A Reminder of Our Plot I wish to provide some historical and intellectual context to the formal tools that logicians developed to study the
More informationMath 1: Calculus with Algebra Midterm 2 Thursday, October 29. Circle your section number: 1 Freund 2 DeFord
Math 1: Calculus with Algebra Midterm 2 Thursday, October 29 Name: Circle your section number: 1 Freund 2 DeFord Please read the following instructions before starting the exam: This exam is closed book,
More informationREADME - Syntax. In these notes we use.
README - Syntax Logical implication is commonly included in the syntax of first-order and propositional logical languages. The symbol used to denote logical implication differs from language to language.
More information6.825 Techniques in Artificial Intelligence. Logic Miscellanea. Completeness and Incompleteness Equality Paramodulation
6.825 Techniques in Artificial Intelligence Logic Miscellanea Completeness and Incompleteness Equality Paramodulation Lecture 9 1 Logic is a huge subject. It includes esoteric mathematical and philosophical
More informationGEOMETRY. 2.4 Algebraic Reasoning
GEOMETRY 2.4 Algebraic Reasoning 2.4 ESSENTIAL QUESTION How can algebraic properties help you solve an equation? GOALS Use properties from algebra. Use properties to justify statements. ADDITION PROPERTY
More informationMATH 51H Section 4. October 16, Recall what it means for a function between metric spaces to be continuous:
MATH 51H Section 4 October 16, 2015 1 Continuity Recall what it means for a function between metric spaces to be continuous: Definition. Let (X, d X ), (Y, d Y ) be metric spaces. A function f : X Y is
More informationIntroduction to Predicate Logic Part 1. Professor Anita Wasilewska Lecture Notes (1)
Introduction to Predicate Logic Part 1 Professor Anita Wasilewska Lecture Notes (1) Introduction Lecture Notes (1) and (2) provide an OVERVIEW of a standard intuitive formalization and introduction to
More informationLogic and Modelling. Introduction to Predicate Logic. Jörg Endrullis. VU University Amsterdam
Logic and Modelling Introduction to Predicate Logic Jörg Endrullis VU University Amsterdam Predicate Logic In propositional logic there are: propositional variables p, q, r,... that can be T or F In predicate
More informationProperly forking formulas in Urysohn spaces
Properly forking formulas in Urysohn spaces Gabriel Conant University of Notre Dame gconant@nd.edu March 4, 2016 Abstract In this informal note, we demonstrate the existence of forking and nondividing
More informationReview for Final Exam, MATH , Fall 2010
Review for Final Exam, MATH 170-002, Fall 2010 The test will be on Wednesday December 15 in ILC 404 (usual class room), 8:00 a.m - 10:00 a.m. Please bring a non-graphing calculator for the test. No other
More information1. From Lewis Carroll: extract a pair of premises and finish the conclusion.
Math 2200 2. Treibergs σιι First Midterm Exam Name: Sample January 26, 2011 Sample First Midterm Questions. Sept. 17, 2008 and Sept. 16, 2009. Some questions from Math 3210 Midterms of 1. From Lewis Carroll:
More informationMAT137 - Term 2, Week 4
MAT137 - Term 2, Week 4 Reminders: Your Problem Set 6 is due tomorrow at 3pm. Test 3 is next Friday, February 3, at 4pm. See the course website for details. Today we will: Talk more about substitution.
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 informationLogic: Propositional Logic Truth Tables
Logic: Propositional Logic Truth Tables Raffaella Bernardi bernardi@inf.unibz.it P.zza Domenicani 3, Room 2.28 Faculty of Computer Science, Free University of Bolzano-Bozen http://www.inf.unibz.it/~bernardi/courses/logic06
More information7.8E 8.1E. Question 2. Question 1
Problem Set 8: Answers Damien Rochford All the interpretations I provide are relatively informal. It s fine if you did things the informal way I did them. It s fine if you did things more formally too.
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 informationPropositional 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 informationPhil 2B03 (McMaster University Final Examination) Page 1 of 4
Phil 2B03 (McMaster University Final Examination) Page 1 of 4 1. [SL proof] (a) Prove the formal validity of the following sequent: (F & G), F H, H G H (1) (F & G) Prem (2) F H Prem (3) H G Prem (4) H
More information