Predicate Calculus - Syntax
|
|
- Katrina Nelson
- 5 years ago
- Views:
Transcription
1 Predicate Calculus - Syntax Lila Kari University of Waterloo Predicate Calculus - Syntax CS245, Logic and Computation 1 / 26
2 The language L pred of Predicate Calculus - Syntax L pred, the formal language of predicate calculus, consists of the following basic symbols: individual constant symbols: a, b, c, a 1, a 2... predicate or relation symbols: F, G, H, P, F 1,... function symbols: f, g, h, f 1,... free variable symbols: u, v, w, u 1,... bound variable symbols: x, y, z, x 1,... connectives:,,,, quantifiers:, punctuation symbols: ( ), Predicate Calculus - Syntax CS245, Logic and Computation 2 / 26
3 Comments There is a special binary relation symbol called the equality symbol, written as. L pred may or may not contain. L pred containing is called the first order language with equality. In order to emphasize the equality symbol, we stipulate that it is denoted by none of F, G, H... The adjective first-order is used to distinguish the language we study from those in which (1) there are predicates having other predicates as arguments, or (2) in which predicate quantifiers or function quantifiers are permitted, or both. Predicate Calculus - Syntax CS245, Logic and Computation 3 / 26
4 The terms of L pred Definition. Term(L pred ) is the smallest class of expressions of L pred closed under the following formation rules: (1) Every individual constant symbol is a term of L pred. (2) Every free variable symbol is a term of L pred. (3) If f is an n-ary function symbol and t 1, t 2,... t n are terms of L pred, then f (t 1,... t n ) is a term of L pred. Predicate Calculus - Syntax CS245, Logic and Computation 4 / 26
5 Atoms of L pred Definition. An expression of L pred is an atom in Atom(L pred ) iff it is of one of the following two forms: (1) P(t 1, t 2,..., t n ) where P is an n-ary predicate (relation symbol) and t 1, t 2,..., t n are terms in Term(L pred ). (2) (t 1, t 2 ) where t 1, t 2 are terms in Term(L pred ). Predicate Calculus - Syntax CS245, Logic and Computation 5 / 26
6 Formulas of L pred Definition. Form(L pred ), the class of (well-formed) formulas of L pred, is the smallest class of expressions of L pred closed under the following formation rules: (1) Every atom in Atom(L pred ) is a formula of L pred. (2) If A is a formula of L pred then ( A) is a formula of L pred. (3) If A, B are formulas of L pred then (A B), (A B), (A B), (A B) are formulas of L pred. (4) If A(u) is a formula of L pred, where u is a free variable occurring in A, and x is a variable not occurring in A(u), then xa(x) and xa(x) are formulas of L pred. Predicate Calculus - Syntax CS245, Logic and Computation 6 / 26
7 The terms are the nouns and pronouns of the English language: they are the expressions which can be interpreted as naming an object. The terms are defined to be those expressions which can be built up from the individual constant symbols and variables, possibly by prefixing with function symbols. The atoms (atomic formulas) will be those formulas formed by using only terms and predicates, but which have neither connective nor quantifier symbols. The formulas are those expressions which can be built up from the atoms by use of the connective symbols and the quantifier symbols. Predicate Calculus - Syntax CS245, Logic and Computation 7 / 26
8 Example (1) For every integer x, there is an integer which is greater than x. (2) 500 is an integer. (3) There is an integer which is greater than 500. Translate into predicate calculus if the domain is the set of real numbers: Symbol N(x) G(y, x) x y Meaning x is an integer y is greater than x for all x there exists y Predicate Calculus - Syntax CS245, Logic and Computation 8 / 26
9 Example contd. Now the preceding reasoning can be formalized as follows: (1) x(n(x) y(n(y) G(y, x))). (2) N(500) (3) y(n(y) G(y, 500)) Predicate Calculus - Syntax CS245, Logic and Computation 9 / 26
10 Example - comments To get the first formula from the preceding example x(n(x) y(n(y) G(y, x))) according to the definition of a formula in L pred, we proceed as follows: terms atoms formulas To get N(500) one proceeds as follows: u, v G(u, v), N(u), N(v) (N(u) G(u, v)) y(n(y) G(y, v)) (N(v) y(n(y) G(y, v))) x(n(x) y(n(y) G(y, x))) term 500 atom N(500) Predicate Calculus - Syntax CS245, Logic and Computation 10 / 26
11 The eight types of formulas in Form(L pred ) Theorem. Any term is of exactly one of three forms: an individual constant symbol, a free variable symbol, or f (t 1,..., t n ) where f is an n-ary function symbol; and in each case it is of that form in exactly one way. Theorem. Any formula of Form(L pred ) is of exactly one of eight forms: an atom (uses only terms and predicates), ( A), (A B), (A B), (A B), (A B), xa(x) or xa(x); and in each case it is of that form in exactly one way. Predicate Calculus - Syntax CS245, Logic and Computation 11 / 26
12 Generating formulas in L pred The formula x(f (b) y( zg(y, z) H(u, x, y))) is generated as follows: Predicate Calculus - Syntax CS245, Logic and Computation 12 / 26
13 Sentences (closed formulas) and precedence rules Definition A sentence or a closed formula of L pred is a formula of L pred in which no free variable symbols occurs. The set of sentences of L pred is denoted by Sent(L pred ). As before, we omit brackets to simplify the appearance of a formula using the precedence rules for connectives and quantifiers. Thus the formula can be written as x((a(x) B(x)) C(x)) x(a(x) B(x) C(x)). Predicate Calculus - Syntax CS245, Logic and Computation 13 / 26
14 Quantification of two variables Let Q(x, y) denote x + y = 0. If the domain is the set of real numbers, what are the truth values of y xq(x, y) and x yq(x, y)? Solution: The formula y xq(x, y) denotes the statement It is true that there is a real number y such that for every real number x, Q(x, y). Since there is no real number y such that x + y = 0 for all real numbers x, this statement, and thus the formula, is false. The formula x yq(x, y) denotes the statement It is true that for every real number x, there is a real number y such that Q(x, y). Given a real number x there is a real number y such that x + y = 0; namely y = x. Hence, this statement, and thus the formula, is true. Conclusion: The order in which quantifiers appear matters! Predicate Calculus - Syntax CS245, Logic and Computation 14 / 26
15 Quantification of two variables In working with quantifications of more than one variable, it is sometimes helpful to think of them in terms of nested loops. For example, to see whether x yp(x, y) is true, we loop through the values for x and, for each x, we loop through the values for y. If we find that P(x, y) is true for all values of x and y we have determined that x yp(x, y) is true. If we find that we ever hit a value x for which we hit a value y for which P(x, y) is false, then we have shown that x yp(x, y) is false. Predicate Calculus - Syntax CS245, Logic and Computation 15 / 26
16 Summary: quantification of 2 variables Statement When true? 1. x yp(x, y) P(x, y) is true for every y xp(x, y) pair x, y 2. x yp(x, y) For every x there is a y for which P(x, y) is true 3. x yp(x, y) There is an x for which P(x, y) is true for every y 4. x yp(x, y) There is a pair x, y for which y xp(x, y) P(x, y) is true Predicate Calculus - Syntax CS245, Logic and Computation 16 / 26
17 Summary: quantification of 2 variables - contd. Statement When false? 1. x yp(x, y) There is a pair x, y for y xp(x, y) which P(x, y) is false 2. x yp(x, y) There is an x such that P(x, y) is false for every y 3. x yp(x, y) For every x there is a y for which P(x, y) is false 4. x yp(x, y) P(x, y) is false for every y xp(x, y) pair x, y Predicate Calculus - Syntax CS245, Logic and Computation 17 / 26
18 Exercise Let Q(x, y, z) be the statement x + y = z. If the domain is the set of real numbers, what are the truth values of the statements and x y zq(x, y, z) z x yq(x, y, z)? Predicate Calculus - Syntax CS245, Logic and Computation 18 / 26
19 Negating quantifiers We will often want to consider the negation of a quantified expression. Consider the negation of the statement: Every student in the class has taken a course in calculus. If the domain is the set of all students in this class, this statement can be translated as xp(x) where P(x) is the statement x has taken a course in calculus. The negation of this statement is It is not the case that every student in this class has taken a course in calculus. This is equivalent to There is a student in the class who has not taken a course in calculus., that is x P(x). Predicate Calculus - Syntax CS245, Logic and Computation 19 / 26
20 Negating quantifiers Consider the proposition There is a student in this class who has taken a course in calculus. which, if the domain is the set of all students in this class, can be translated as xp(x) where P(x) is the statement x has taken a course in calculus. The negation of this statement is It is not the case that there is a student in this class who has taken a course in calculus. This is equivalent to Every student in this class has not taken calculus, that is, x P(x) Predicate Calculus - Syntax CS245, Logic and Computation 20 / 26
21 Negation of quantifiers summarized Negation Equivalent statement 1. xp(x) x P(x) 2. xp(x) x P(x) When true? When false? 1. xp(x) P(x) is false for every x There is an x for which P(x) is true 2. xp(x) There is an x for which P(x) is true for every x P(x) is false Predicate Calculus - Syntax CS245, Logic and Computation 21 / 26
22 Assume the domain D is finite, D = {α 1,..., α n } The universal quantifier can be interpreted as a generalization of conjunction: xr(x) = 1 iff R(α 1 ) R(α 2 )... R(α n ) = 1 The existential quantifier can be interpreted as a generalization of disjunction: xr(x) = 1 iff R(α 1 ) R(α 2 )... R(α n ) = 1 Thus, the rules of negating quantifiers can be viewed as generalizations of De Morgan s Laws Predicate Calculus - Syntax CS245, Logic and Computation 22 / 26
23 First-order languages When associated with a structure, L pred consist of the same classes of symbols as defined before, but the three classes of individual constant symbols, relation symbols, and function symbols should be in one-to-one correspondence with designated individual constants, relations and functions of the structure. We have: non-logical symbols (parameters): individual constants, relations (predicates), and functions. logical symbols: free and bound variable symbols, connectives, quantifier symbols, punctuation, and. Predicate Calculus - Syntax CS245, Logic and Computation 23 / 26
24 Examples of first-order languages Language of ordered abelian groups Equality: Yes. Predicate symbols: One 2-place predicate. Individual constant symbol: 0 (neutral element for +). Function symbols: a unary function symbol (inverse), a binary function symbol + (addition). Language of set theory Equality: Yes. Predicate symbols: One 2-place predicate symbol. Individual constant symbols:. Function symbols: None. Predicate Calculus - Syntax CS245, Logic and Computation 24 / 26
25 Examples of first-order languages Language of elementary number theory: Equality: Yes. Predicate symbols: One 2-place predicate symbol <. Individual constant symbols: The symbol 0. One place function symbols: S (for successor) Two-place function symbols: + (for addition), and (for multiplication). Predicate Calculus - Syntax CS245, Logic and Computation 25 / 26
26 Language of elementary number theory The expressions +(u, v) and +(u, +(v, w)) are terms. They are usually written as u + v and u + v + w. The expressions (+(u, v), 0) and < (+(u, +(v, w)), +(u, v)) are atoms, usually written as u + v = 0 and u + v + w < u + v. The expression < (u, v) < (+(u, u), +(v, v)) is a formula usually written as (u < v) (u + u < v + v) The expression x y(< (x, S(y)) z(< (x, z) < (z, y))) is a formula usually written as x y((x < y + 1) z((x < z) (z < y))). Predicate Calculus - Syntax CS245, Logic and Computation 26 / 26
Predicate 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 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 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 informationDiscrete Mathematics and Its Applications
Discrete Mathematics and Its Applications Lecture 1: The Foundations: Logic and Proofs (1.3-1.5) MING GAO DASE @ ECNU (for course related communications) mgao@dase.ecnu.edu.cn Sep. 19, 2017 Outline 1 Logical
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 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 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 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 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 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 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 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 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 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 informationAAA615: Formal Methods. Lecture 2 First-Order Logic
AAA615: Formal Methods Lecture 2 First-Order Logic Hakjoo Oh 2017 Fall Hakjoo Oh AAA615 2017 Fall, Lecture 2 September 24, 2017 1 / 29 First-Order Logic An extension of propositional logic with predicates,
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 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 informationRecall that the expression x > 3 is not a proposition. Why?
Predicates and Quantifiers Predicates and Quantifiers 1 Recall that the expression x > 3 is not a proposition. Why? Notation: We will use the propositional function notation to denote the expression "
More information2-4: The Use of Quantifiers
2-4: The Use of Quantifiers The number x + 2 is an even integer is not a statement. When x is replaced by 1, 3 or 5 the resulting statement is false. However, when x is replaced by 2, 4 or 6 the resulting
More informationProving Arguments Valid in Predicate Calculus
Proving Arguments Valid in Predicate Calculus Lila Kari University of Waterloo Proving Arguments Valid in Predicate Calculus CS245, Logic and Computation 1 / 22 Predicate calculus - Logical consequence
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 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 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 informationECOM Discrete Mathematics
ECOM 2311- Discrete Mathematics Chapter # 1 : The Foundations: Logic and Proofs Fall, 2013/2014 ECOM 2311- Discrete Mathematics - Ch.1 Dr. Musbah Shaat 1 / 85 Outline 1 Propositional Logic 2 Propositional
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 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 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 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 as a Tool Chapter 4: Deductive Reasoning in First-Order Logic 4.4 Prenex normal form. Skolemization. Clausal form.
Logic as a Tool Chapter 4: Deductive Reasoning in First-Order Logic 4.4 Prenex normal form. Skolemization. Clausal form. Valentin Stockholm University October 2016 Revision: CNF and DNF of propositional
More informationTHE LOGIC OF QUANTIFIED STATEMENTS. Predicates and Quantified Statements I. Predicates and Quantified Statements I CHAPTER 3 SECTION 3.
CHAPTER 3 THE LOGIC OF QUANTIFIED STATEMENTS SECTION 3.1 Predicates and Quantified Statements I Copyright Cengage Learning. All rights reserved. Copyright Cengage Learning. All rights reserved. Predicates
More informationPredicate Logic. Andreas Klappenecker
Predicate Logic Andreas Klappenecker Predicates A function P from a set D to the set Prop of propositions is called a predicate. The set D is called the domain of P. Example Let D=Z be the set of integers.
More information1.1 Language and Logic
c Oksana Shatalov, Fall 2017 1 1.1 Language and Logic Mathematical Statements DEFINITION 1. A proposition is any declarative sentence (i.e. it has both a subject and a verb) that is either true or false,
More informationMAT2345 Discrete Math
Fall 2013 General Syllabus Schedule (note exam dates) Homework, Worksheets, Quizzes, and possibly Programs & Reports Academic Integrity Do Your Own Work Course Web Site: www.eiu.edu/~mathcs Course Overview
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 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 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 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 informationLogical equivalences 12/8/2015. S T: Two statements S and T involving predicates and quantifiers are logically equivalent
1/8/015 Logical equivalences CSE03 Discrete Computational Structures Lecture 3 1 S T: Two statements S and T involving predicates and quantifiers are logically equivalent If and only if they have the same
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 informationsoftware design & management Gachon University Chulyun Kim
Gachon University Chulyun Kim 2 Outline Propositional Logic Propositional Equivalences Predicates and Quantifiers Nested Quantifiers Rules of Inference Introduction to Proofs 3 1.1 Propositional Logic
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 informationToday. Proof using contrapositive. Compound Propositions. Manipulating Propositions. Tautology
1 Math/CSE 1019N: Discrete Mathematics for Computer Science Winter 2007 Suprakash Datta datta@cs.yorku.ca Office: CSEB 3043 Phone: 416-736-2100 ext 77875 Course page: http://www.cs.yorku.ca/course/1019
More informationDepartment of Computer Science & Software Engineering Comp232 Mathematics for Computer Science
Department of Computer Science & Software Engineering Comp232 Mathematics for Computer Science Fall 2018 Assignment 1. Solutions 1. For each of the following statements use a truth table to determine whether
More informationQuantifiers Here is a (true) statement about real numbers: Every real number is either rational or irrational.
Quantifiers 1-17-2008 Here is a (true) statement about real numbers: Every real number is either rational or irrational. I could try to translate the statement as follows: Let P = x is a real number Q
More information1.1 Language and Logic
c Oksana Shatalov, Spring 2018 1 1.1 Language and Logic Mathematical Statements DEFINITION 1. A proposition is any declarative sentence (i.e. it has both a subject and a verb) that is either true or false,
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 informationITS336 Lecture 6 First-Order Logic
ITS6 Lecture 6 First-Order Logic 6.1 Syntax for FOL Basic Elements of FOL Constant Symbols A constant is an specific object such as a person name Tom, a particular apple etc. Variable Symbols A countably
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 informationPredicate Logic: Syntax
Predicate Logic: Syntax Alice Gao Lecture 12 Based on work by J. Buss, L. Kari, A. Lubiw, B. Bonakdarpour, D. Maftuleac, C. Roberts, R. Trefler, and P. Van Beek 1/31 Outline Syntax of Predicate Logic Learning
More informationLogic. Logic is a discipline that studies the principles and methods used in correct reasoning. It includes:
Logic Logic is a discipline that studies the principles and methods used in correct reasoning It includes: A formal language for expressing statements. An inference mechanism (a collection of rules) to
More informationCSI30. Chapter 1. The Foundations: Logic and Proofs Nested Quantifiers
Chapter 1. The Foundations: Logic and Proofs 1.9-1.10 Nested Quantifiers 1 Two quantifiers are nested if one is within the scope of the other. Recall one of the examples from the previous class: x ( P(x)
More informationPredicates and Quantifiers. Nested Quantifiers Discrete Mathematic. Chapter 1: Logic and Proof
Discrete Mathematic Chapter 1: Logic and Proof 1.3 Predicates and Quantifiers 1.4 Nested Quantifiers Dr Patrick Chan School of Computer Science and Engineering South China University of Technology http://125.216.243.100/dm/
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 informationLecture Notes on DISCRETE MATHEMATICS. Eusebius Doedel
Lecture Notes on DISCRETE MATHEMATICS Eusebius Doedel c Eusebius J. Doedel, 009 Contents Logic. Introduction............................................................................... Basic logical
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 informationAdequate set of connectives, logic gates and circuits
Adequate set of connectives, logic gates and circuits Lila Kari University of Waterloo Adequate set of connectives, logic gates and circuits CS245, Logic and Computation 1 / 59 Connectives We have mentioned
More informationSyntax. Notation Throughout, and when not otherwise said, we assume a vocabulary V = C F P.
First-Order Logic Syntax The alphabet of a first-order language is organised into the following categories. Logical connectives:,,,,, and. Auxiliary symbols:.,,, ( and ). Variables: we assume a countable
More informationFirst-Order Logic (FOL)
First-Order Logic (FOL) Also called Predicate Logic or Predicate Calculus 2. First-Order Logic (FOL) FOL Syntax variables x, y, z, constants a, b, c, functions f, g, h, terms variables, constants or n-ary
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 informationPredicate Logic: Introduction and Translations
Predicate Logic: Introduction and Translations Alice Gao Lecture 10 Based on work by J. Buss, L. Kari, A. Lubiw, B. Bonakdarpour, D. Maftuleac, C. Roberts, R. Trefler, and P. Van Beek 1/29 Outline Predicate
More informationPredicate Calculus. Formal Methods in Verification of Computer Systems Jeremy Johnson
Predicate Calculus Formal Methods in Verification of Computer Systems Jeremy Johnson Outline 1. Motivation 1. Variables, quantifiers and predicates 2. Syntax 1. Terms and formulas 2. Quantifiers, scope
More informationTransparencies to accompany Rosen, Discrete Mathematics and Its Applications Section 1.3. Section 1.3 Predicates and Quantifiers
Section 1.3 Predicates and Quantifiers A generalization of propositions - propositional functions or predicates.: propositions which contain variables Predicates become propositions once every variable
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 informationToday we will probably finish Course Notes 2.3: Predicates and Quantifiers.
Friday, Sept 14 Today we will probably finish Course Notes 2.3: Predicates and Quantifiers. After that, we might begin Course Notes 1.1: Definitions in Set Mathematics. EXAMPLE Let P(x): 'x is a JRR Tolkien
More information1.3 Predicates and Quantifiers
1.3 Predicates and Quantifiers INTRODUCTION Statements x>3, x=y+3 and x + y=z are not propositions, if the variables are not specified. In this section we discuss the ways of producing propositions from
More informationLECTURE NOTES DISCRETE MATHEMATICS. Eusebius Doedel
LECTURE NOTES on DISCRETE MATHEMATICS Eusebius Doedel 1 LOGIC Introduction. First we introduce some basic concepts needed in our discussion of logic. These will be covered in more detail later. A set is
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 informationLogic and Propositional Calculus
CHAPTER 4 Logic and Propositional Calculus 4.1 INTRODUCTION Many algorithms and proofs use logical expressions such as: IF p THEN q or If p 1 AND p 2, THEN q 1 OR q 2 Therefore it is necessary to know
More informationLogic: The Big Picture
Logic: The Big Picture A typical logic is described in terms of syntax: what are the legitimate formulas semantics: under what circumstances is a formula true proof theory/ axiomatization: rules for proving
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 informationPropositional Calculus: Formula Simplification, Essential Laws, Normal Forms
P Formula Simplification, Essential Laws, Normal Forms Lila Kari University of Waterloo P Formula Simplification, Essential Laws, Normal CS245, Forms Logic and Computation 1 / 26 Propositional calculus
More informationConjunction: p q is true if both p, q are true, and false if at least one of p, q is false. The truth table for conjunction is as follows.
Chapter 1 Logic 1.1 Introduction and Definitions Definitions. A sentence (statement, proposition) is an utterance (that is, a string of characters) which is either true (T) or false (F). A predicate is
More informationCOMP 182 Algorithmic Thinking. Proofs. Luay Nakhleh Computer Science Rice University
COMP 182 Algorithmic Thinking Proofs Luay Nakhleh Computer Science Rice University 1 Reading Material Chapter 1, Section 3, 6, 7, 8 Propositional Equivalences The compound propositions p and q are called
More informationExercises 1 - Solutions
Exercises 1 - Solutions SAV 2013 1 PL validity For each of the following propositional logic formulae determine whether it is valid or not. If it is valid prove it, otherwise give a counterexample. Note
More informationCOMP 2600: Formal Methods for Software Engineeing
COMP 2600: Formal Methods for Software Engineeing Dirk Pattinson Semester 2, 2013 What do we mean by FORMAL? Oxford Dictionary in accordance with convention or etiquette or denoting a style of writing
More informationLogic and Propositional Calculus
CHAPTER 4 Logic and Propositional Calculus 4.1 INTRODUCTION Many algorithms and proofs use logical expressions such as: IF p THEN q or If p 1 AND p 2, THEN q 1 OR q 2 Therefore it is necessary to know
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 informationMath.3336: Discrete Mathematics. Nested Quantifiers
Math.3336: Discrete Mathematics Nested Quantifiers Instructor: Dr. Blerina Xhabli Department of Mathematics, University of Houston https://www.math.uh.edu/ blerina Email: blerina@math.uh.edu Fall 2018
More information06 From Propositional to Predicate Logic
Martin Henz February 19, 2014 Generated on Wednesday 19 th February, 2014, 09:48 1 Syntax of Predicate Logic 2 3 4 5 6 Need for Richer Language Predicates Variables Functions 1 Syntax of Predicate Logic
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 information1 FUNDAMENTALS OF LOGIC NO.10 HERBRAND THEOREM 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 informationFirst Order Logic (FOL) 1 znj/dm2017
First Order Logic (FOL) 1 http://lcs.ios.ac.cn/ znj/dm2017 Naijun Zhan March 19, 2017 1 Special thanks to Profs Hanpin Wang (PKU) and Lijun Zhang (ISCAS) for their courtesy of the slides on this course.
More informationFirst order Logic ( Predicate Logic) and Methods of Proof
First order Logic ( Predicate Logic) and Methods of Proof 1 Outline Introduction Terminology: Propositional functions; arguments; arity; universe of discourse Quantifiers Definition; using, mixing, negating
More informationA Little Logic. Propositional Logic. Satisfiability Problems. Solving Sudokus. First Order Logic. Logic Programming
A Little Logic International Center for Computational Logic Technische Universität Dresden Germany Propositional Logic Satisfiability Problems Solving Sudokus First Order Logic Logic Programming A Little
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 information3. Only sequences that were formed by using finitely many applications of rules 1 and 2, are propositional formulas.
1 Chapter 1 Propositional Logic Mathematical logic studies correct thinking, correct deductions of statements from other statements. Let us make it more precise. A fundamental property of a statement is
More informationPropositional Language - Semantics
Propositional Language - Semantics Lila Kari University of Waterloo Propositional Language - Semantics CS245, Logic and Computation 1 / 41 Syntax and semantics Syntax Semantics analyzes Form analyzes Meaning
More informationWhy Learning Logic? Logic. Propositional Logic. Compound Propositions
Logic Objectives Propositions and compound propositions Negation, conjunction, disjunction, and exclusive or Implication and biconditional Logic equivalence and satisfiability Application of propositional
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 informationPredicate Logic - Semantic Tableau
CS402, Spring 2016 Informal Construction of a Valid Formula Example 1 A valid formula: x(p(x) q(x)) ( xp(x) xq(x)) ( x(p(x) q(x)) ( xp(x) xq(x))) x(p(x) q(x)), ( xp(x) xq(x)) x(p(x) q(x)), xp(x), xq(x)
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 informationComp487/587 - Boolean Formulas
Comp487/587 - Boolean Formulas 1 Logic and SAT 1.1 What is a Boolean Formula Logic is a way through which we can analyze and reason about simple or complicated events. In particular, we are interested
More informationTHE LOGIC OF QUANTIFIED STATEMENTS
CHAPTER 3 THE LOGIC OF QUANTIFIED STATEMENTS Copyright Cengage Learning. All rights reserved. SECTION 3.2 Predicates and Quantified Statements II Copyright Cengage Learning. All rights reserved. Negations
More informationRosen, Discrete Mathematics and Its Applications, 6th edition Extra Examples
Rosen, Discrete Mathematics and Its Applications, 6th edition Extra Examples Section 1.4 Nested Quantifiers Page references correspond to locations of Extra Examples icons in the textbook. #1. Write the
More informationPredicate Logic & Quantification
Predicate Logic & Quantification Things you should do Homework 1 due today at 3pm Via gradescope. Directions posted on the website. Group homework 1 posted, due Tuesday. Groups of 1-3. We suggest 3. In
More informationLING 501, Fall 2004: Quantification
LING 501, Fall 2004: Quantification The universal quantifier Ax is conjunctive and the existential quantifier Ex is disjunctive Suppose the domain of quantification (DQ) is {a, b}. Then: (1) Ax Px Pa &
More informationFoundations of Mathematics Worksheet 2
Foundations of Mathematics Worksheet 2 L. Pedro Poitevin June 24, 2007 1. What are the atomic truth assignments on {a 1,..., a n } that satisfy: (a) The proposition p = ((a 1 a 2 ) (a 2 a 3 ) (a n 1 a
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 information1 The Foundation: Logic and Proofs
1 The Foundation: Logic and Proofs 1.1 Propositional Logic Propositions( 명제 ) a declarative sentence that is either true or false, but not both nor neither letters denoting propositions p, q, r, s, T:
More informationCM10196 Topic 2: Sets, Predicates, Boolean algebras
CM10196 Topic 2: Sets, Predicates, oolean algebras Guy McCusker 1W2.1 Sets Most of the things mathematicians talk about are built out of sets. The idea of a set is a simple one: a set is just a collection
More information