1. 2 6 derivations in Predicate Logic 15 points each, plus 10 free points 1.universal derivation[Exercise Set C] 2.existential-out[Exercise Set D] 3.negation.

Slides:

Advertisements

Similar presentations

1.3 Predicates and Quantifiers

Advertisements

1. 2   x Rxk no-one respects Kay  x Rxk everyone respects Kay  x Rjx Jay respects someone  x Rjx Jay respects everyone   x Rjx Jay respects no.

Single Quantifier, Multiple Predicates xx there is some x there is some one some Student Respects Jay AND Rxj  Sx )( who is a student who respects Jay.

CS 285- Discrete Mathematics

Test practice Multiplication. Multiplication 9x2.

First-Order Logic. Conceptualization The formalization of knowledge begins with a conceptualization. This includes the objects presumed or hypothesized.

Today’s Topics Limits to the Usefulness of Venn’s Diagrams Predicates (Properties and Relations) Variables (free, bound, individual, constants)

Identifying Patterns Because much of math is based in patterns, its very useful to be able to identify them when they show up.

1. 2 Exam 1Sentential LogicTranslations (+) Exam 2Sentential LogicDerivations Exam 3Predicate LogicTranslations Exam 4Predicate LogicDerivations 6

2009/91 Predicates and Quantifiers (§1.3) In the sentence “x is greater than 3”: The phrase “x” denotes the subject - the object or entity that the sentence.

The Language P 8 9 ( 8 x) ( 9 y) ( 8 z) 9 8. Quantificational Logic Quantificational Logic: Quantificational Logic is the logic of sentences involving.

5.1 Perpendicular Bisector Equidistant. Definition of a Perpendicular Bisector A Perpendicular Bisector is a ray, line, segment or even a plane that is.

Formal Aspects of Computer Science - Week 5 Logic and Reasoning Lee McCluskey, room 2/07

Today’s Topics Relational predicates Multiple quantification Expansions of relational predicates.

MTH 252 Integral Calculus Chapter 6 – Integration Section 6.8 – Evaluating Definite Integrals by Substitution Copyright © 2005 by Ron Wallace, all rights.

Exam 1:Sentential LogicTranslations (+) Exam 2:Sentential LogicDerivations Exam 3:Predicate LogicTranslations Exam 4:Predicate LogicDerivations.

Hx xx x is happythere is some x : who is happythere is someone is happysomeone.

1. 2 Exam 1Sentential LogicTranslations (+) Exam 2Sentential LogicDerivations Exam 3Predicate LogicTranslations Exam 4Predicate LogicDerivations 6

The Semantic Web – WEEK 7: Logic, Reasoning and Proof The “Layer Cake” Model – [From Rector & Horrocks Semantic Web cuurse] You are here!

1. 2  6 argument forms, 15 points each, plus 10 free points  Symbolic argument forms (no translations)  For each one, you will be asked to construct.

AI - Week 15 Logic and Reasoning in AI Lee McCluskey, room 2/07

1 2 We demonstrate (show) that an argument is valid deriving by deriving (deducing) its conclusion from its premises using a few fundamental modes of.

1 2 We demonstrate (show) that an argument is valid deriving by deriving (deducing) its conclusion from its premises using a few fundamental modes of.

3,000Ft 4,000Ft 5,000Ft O2O2 O2O2 O2O2 O2O2 O2O2 O2O2 O2O2 O2O2 O2O2 O2O2 O2O2 O2O2 O2O2 O2O2 O2O2 O2O2 O2O2 O2O2.

every Grespectsevery F some Grespectsevery F every Grespectssome F some Grespectssome F Kayrespectsevery F Kayrespectssome F every FrespectsJay.

1. 2 EXAM #3 25 translations from English into Predicate Logic 4 points each Only final formula is graded. Do intermediate work on scratch paper.

Predicate Logic (PL) 1.Syntax: The language of PL Formula VS. Sentence Symbolize A-, E, I-, and O-sentences 2.Semantic: a sentence compare two sentences.

1. 2 Exam 1Sentential LogicTranslations (+) Exam 2Sentential LogicDerivations Exam 3Predicate LogicTranslations Exam 4Predicate LogicDerivations 6

Existential Introduction Kareem Khalifa Department of Philosophy Middlebury College.

1. 2 Day 14 Day 13 Day 12 Day 11 Day 10 Day 09 Introductory Material EXAM #2 show: conjunction Indirect Derivation show: atomic show: disjunction Conditional.

More on Multiplication and Multiples What do playing cards have to do with Multiplication?

$100 $200 $300 $400 $500 $100 $200 $300 $400 $500 $100 $200 $300 $400 $500 $100 $200 $300 $400 $500 $100 $200 $300 $400 $500 $100 $200 $300.

Existential Elimination Kareem Khalifa Department of Philosophy Middlebury College 

Universal Introduction and Quantifier Exchange Rules.

CSCE 4613 Artificial Inteligence

Slide 3- 1 Rule 1 Derivative of a Constant Function.

Quantifiers, Predicates, and Names Kareem Khalifa Department of Philosophy Middlebury College Universals, by Dena Shottenkirk.

Math 51/COEN 19 Day 3, 1.4 Quantifiers 1. 3 Predicates A lot like functions that return booleans Let P(x) denote x

Relationships of Equivalences February Observe Relationship How two things relate to each other Mathematical A=A or ~A=~A Logically A=A, E=E,

Lecture 7 – Jan 28, Chapter 2 The Logic of Quantified Statements.

Discrete Mathematics CS 2610 August 22, Agenda Last class Propositional logic Logical equivalences This week Predicate logic & rules of inference.

4.2 – The Mean Value Theorem

80-210: Logic & Proofs July 30, 2009 Karin Howe

1 Outline Quantifiers and predicates Translation of English sentences Predicate formulas with single variable Predicate formulas involving multiple variables.

If f (x) is continuous over [ a, b ] and differentiable in (a,b), then at some point, c, between a and b : Mean Value Theorem for Derivatives.

基督再來（一）. 經文： 1 你們心裡不要憂愁；你們信神，也當信我。 2 在我父的家裡有許多住處；若是沒有，我就早已告訴你們了。我去原是為你們預備地去。 3 我若去為你們預備了地方，就必再來接你們到我那裡去，我在那裡，叫你們也在那裡， ] ( 約 14 ： 1-3)

Theorems Lisa Brady Mrs. Pellissier Calculus AP 28 November 2008.

Multiplication Facts.

Discrete Mathematics.

Testing simple quantification schemas for satisfiability

CSE 2353 – September 4th 2002 Logic.

£"'>£"'>.I.I ' ·.· · ·..I.

Today’s Topics Universes of Discourse

Existential Elimination

Your Mid Term Exam Score

Average Rate vs. Instantaneous Rate

Least Common Multiples

Слайд-дәріс Қарағанды мемлекеттік техникалық университеті

.. -"""--..J '. / /I/I =---=-- -, _ --, _ = :;:.

II //II // \ Others Q.

I1I1 a 1·1,.,.,,I.,,I · I 1··n I J,-·

Universal Elimination

5 minutes Warm-Up Solve. 1) x + 7 < 12 2) 3) 4).

Rolle’s Theorem and the Mean Value Theorem

Am I Ready for the Final Exam?

Intermediate Value Theorem

Herbrand Semantics Computational Logic Lecture 15

. '. '. I;.,, - - "!' - -·-·,Ii '.....,,......, -,

Herbrand Logic Semantics

Presentation transcript:

1

2 6 derivations in Predicate Logic 15 points each, plus 10 free points 1.universal derivation[Exercise Set C] 2.existential-out[Exercise Set D] 3.negation rules[Exercise Set E] 4.multiple quantifiers[Exercise Set F] 5.polyadic quantifiers[Exercise Set G] 6.polyadic quantifiers[Exercise Set G]

3 (10) (9) (8) (7) (6) (5) (4) (3) (2) (1) there is someone whom everyone R’s / everyone R’s someone or other 8,9,  7,  Rab 6, Rab 4,  y  Ray 1,  yRyb DD  :  As   yRay  D (ID)  :  yRay UD  :  x  yRxy Pr  x  yRyx II OO OO OO OO

4 (2) (1) there is a F who R’s every G / every G is R’ed by some F or other  :  x(Gx   y(Fy & Ryx)) Pr  x(Fx &  y(Gy  Rxy))

5 (13) (17) (16) (15) (14) (12) (11) (10) (8) (9) (7) (6) (5) (4) (3) (2) (1) 11, Ga  Rba 15,16,  10,14  Rba 4,13, Rba 12, Fb   Rba 8,  (Fb & Rba)  y(Gy  Rby) 9, Fb 6,  y  (Fy & Rya) 1, Fb &  y(Gy  Rby) DD  :  As   y(Fy & Rya)  D (ID)  :  y(Fy & Rya) As Ga CD  : Ga   y(Fy & Rya) UD  :  x(Gx   y(Fy & Ryx)) Pr  x(Fx &  y(Gy  Rxy)) OO II OO OO  &O OO &O OO OO

6 (2) (1) there is a G who R’s no F / every F is dis-R’ed by at least one G  :  x(Fx   y(Gy &  Ryx)) Pr  x(Gx &   y(Fy & Rxy))

7 (19) (18) (17) (16) (15) (14) (13) (12) (11) (10) (9) (8) (7) (6) (5) (4) (3) (2) (1) 17,18,  4,16,  Rba 10,1,  Rba 15, Fa   Rba 13,  (Fa & Rba) 12, Gb   Rba 11,  y  (Fy & Rby) 9,  (Gb &  Rba)   y(Fy & Rby) 8, Gb 6,  y  (Gy &  Rya) 1, Gb &   y(Fy & Rby) DD  :  As   y(Gy &  Rya)  D (ID)  :  y(Gy &  Rya) As Fa CD  : Fa   y(Gy &  Rya) UD  :  x(Fx   y(Gy &  Ryx)) Pr  x(Gx &   y(Fy & Rxy)) II OO OO  &O OO OO OO &O OO OO

8 GOOD LUCK ON THE FINALS! HAVE A GREAT SUMMER! GOOD LUCK ON EXAM 4! GO SOX!