PREDICATE CALCULUS FIRST ORDER LOGIC 030513122 Discrete Mathematics

  • Slides: 32
Download presentation
PREDICATE CALCULUS FIRST ORDER LOGIC 030513122 - Discrete Mathematics Asst. Prof. Dr. Choopan Rattanapoka

PREDICATE CALCULUS FIRST ORDER LOGIC 030513122 - Discrete Mathematics Asst. Prof. Dr. Choopan Rattanapoka

Universe of Discourse: Multivariate functions แตละตวแปรใน n-tuple อาจม universe of discourse ทแตกตางกน พจารณา n-ary

Universe of Discourse: Multivariate functions แตละตวแปรใน n-tuple อาจม universe of discourse ทแตกตางกน พจารณา n-ary ของ predicate P: P(r, g, b, c)= ‘The rgb-values of the color c is (r, g, b)’ ตวอยาง : จงหาคาความจรงของ statement ตอไปน P(255, 0, 0, red) P(0, 0, 255, green) จงหา universes of discourse of (r, g, b, c)

Existential Quantifier: ตวอยาง กำหนดให P(x, y) ยอมาจาก statement ‘x+y=5’ What does the expression x

Existential Quantifier: ตวอยาง กำหนดให P(x, y) ยอมาจาก statement ‘x+y=5’ What does the expression x y P(x, y) mean? Which universe(s) of discourse make it true?

Nested Quantifier: ตวอยางท 5 จงแสดง statement ตอไปนในรปแบบของ Predicate Logic: “There is a number x

Nested Quantifier: ตวอยางท 5 จงแสดง statement ตอไปนในรปแบบของ Predicate Logic: “There is a number x such that when it is added to any number, the result is that number and if it is multiplied by any number, the result is x” กำหนด universe of discourse คอ Z (จำนวนเตม )

PREDICATE LOGIC PREDICATE LOGIC Dikenal juga sebagai PredicatePREDICATE LOGIC PREDICATE LOGIC Dikenal juga sebagai Predicate
PREDICATE LOGIC From Propositional Logic to Predicate LogicPREDICATE LOGIC From Propositional Logic to Predicate Logic
First Order Logic First Order Logic AKAPredicate CalculusFirst Order Logic First Order Logic AKAPredicate Calculus
Section 7 1 FirstOrder Predicate Calculus Predicate calculusSection 7 1 FirstOrder Predicate Calculus Predicate calculus
First Order Logic Chapter 8 First Order PredicateFirst Order Logic Chapter 8 First Order Predicate
Todays Topics Predicate Logic aka FirstOrder Predicate CalculusTodays Topics Predicate Logic aka FirstOrder Predicate Calculus
Discrete Math Predicate Logic Predicate Statement involving variablesDiscrete Math Predicate Logic Predicate Statement involving variables
Knowledge Representation with Logic First Order Predicate CalculusKnowledge Representation with Logic First Order Predicate Calculus
Predicate Definition Applications Examples Predicate A predicate isPredicate Definition Applications Examples Predicate A predicate is
METHOD OF PROOF 030513122 Discrete Mathematics Asst ProfMETHOD OF PROOF 030513122 Discrete Mathematics Asst Prof
RELATIONS 030513122 Discrete Mathematics Asst Prof Dr ChoopanRELATIONS 030513122 Discrete Mathematics Asst Prof Dr Choopan
ALGORITHMS ANALYSIS 030513122 Discrete Mathematics Asst Prof DrALGORITHMS ANALYSIS 030513122 Discrete Mathematics Asst Prof Dr
METHOD OF PROOF 030513122 Discrete Mathematics Asst ProfMETHOD OF PROOF 030513122 Discrete Mathematics Asst Prof
CS 1813 Discrete Mathematics Review of Predicate CalculusCS 1813 Discrete Mathematics Review of Predicate Calculus
Lecture 9 CS 1813 Discrete Mathematics Predicate CalculusLecture 9 CS 1813 Discrete Mathematics Predicate Calculus
FirstOrder Logic FOL aka predicate calculus FirstOrder LogicFirstOrder Logic FOL aka predicate calculus FirstOrder Logic
FirstOrder Logic FOL aka predicate calculus FirstOrder LogicFirstOrder Logic FOL aka predicate calculus FirstOrder Logic
Predicate Calculus Representing meaning 1 Revision Firstorder predicatePredicate Calculus Representing meaning 1 Revision Firstorder predicate
Predicate Calculus Syntax Countable set of predicate symbolsPredicate Calculus Syntax Countable set of predicate symbols
Predicate Logic Quantification EECS 203 Discrete Mathematics LecturePredicate Logic Quantification EECS 203 Discrete Mathematics Lecture
Predicate Logic Quantification EECS 203 Discrete Mathematics LecturePredicate Logic Quantification EECS 203 Discrete Mathematics Lecture
Predicate Logic INT 404 K 3305 A PredicatePredicate Logic INT 404 K 3305 A Predicate
TREE Credit Benchaporn Jantarakongkul Burapha University 030513122 DiscreteTREE Credit Benchaporn Jantarakongkul Burapha University 030513122 Discrete
TREE Credit Benchaporn Jantarakongkul Burapha University 030513122 DiscreteTREE Credit Benchaporn Jantarakongkul Burapha University 030513122 Discrete