1 / 52

Propositional and predicate logic

Propositional and predicate logic Propositional and predicate logic At the end of this lecture you should be able to: distinguish between propositions and predicates ; utilize and construct truth tables for a number of logical connectives ;

HarrisCezar
Download Presentation

Propositional and predicate logic

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. Propositional and predicate logic

  2. Propositional and predicate logic At the end of this lecture you should be able to: • distinguish between propositions and predicates; • utilize and construct truth tables for a number of logical connectives; • determine whether two expressions are logically equivalent; • explain the difference between bound and unbound variables; • bind variables by substitution and by quantification.

  3. Propositions In classical logic, propositions are statements that are either TRUE or FALSE…..

  4. There are seven days in a week

  5. 2 + 4 = 6

  6. London is the capital of France.

  7. The food at UEL tastes nice.

  8. Put 10 into X

  9. Using Symbols..

  10. In mathematics we often represent a proposition symbolically by a variable name such as Por Q. P: I go shopping on Wednesdays Q : 102.001 > 101.31

  11. Logical connectives..

  12. Negation Negation is represented by the symbol ¬ if P is a proposition, then not P is represented by: ¬P

  13. I like dogs P

  14. I do notlike dogs ¬P

  15. Connectives can be defined by truth tables….

  16. P ¬P T F F T

  17. The andoperator And is represented by the symbol 

  18. I like shopping P

  19. The sun is shining Q

  20. I like shopping and the sun is shining PQ

  21. The truth table for 'and' P Q P Q T T T T F F F T F F F F

  22. The oroperator The or operator is represented by the symbol 

  23. It is raining P

  24. Today is Tuesday Q

  25. It is raining or today is Tuesday PQ

  26. The truth table for ‘or' P Q P Q T T T T F T F T T F F F

  27. The implicationoperator Implication is represented by the symbol 

  28. It is Wednesday P

  29. I do the ironing Q

  30. If it is WednesdayI do the ironing PQ

  31. The truth table for implication P Q P  Q T T T T F F F T T F F T

  32. The equivalence operator Equivalence is represented by the symbol .

  33. I’ve passed my exam P

  34. I’ve passed my coursework Q

  35. I’ve passed my module M

  36. I will pass my module if and only if I pass my exam and my coursework.  M (PQ)

  37. The truth table for equivalence P Q P  Q T T T T F F F T F F F T

  38. Compound statements P : Physics is easy Q : Chemistry is interesting ¬PQ “Physics is not easy and chemistry is interesting”

  39. Compound statements P : Physics is easy Q : Chemistry is interesting ¬(PQ) “It is not true both that physics is easy and that chemistry is interesting.”

  40. Logical equivalence Two compound propositions are said to be logically equivalent if identical results are obtained from constructing their truth tables; This is denoted by the symbol . For example ¬ ¬P P P ¬P ¬¬P T F T F T F

  41. T T T F F T F F Logical equivalence : a demonstration (P  Q)P Q P Q P  Q (P  Q) P Q P Q T F F F F F T F T T F T T F T F T T T T

  42. T F Tautologies A statement which is always true (that is, all the rows of the truth table evaluate totrue) is called a tautology. For example, the following statement is a tautology: P P This can be seen from the truth table: P ¬P P P F T T T

  43. T F Contradictions A statement which is always false (i.e. all rows of the truth table evaluate tofalse) is called a contradiction. For example, the following statement is a contradiction: P P Again, this can be seen from the truth table: P ¬P P P F F T F

  44. Sets A set is any well-defined, unordered, collection of objects; For example we could refer to: • the set containing all the people who work in a particular office; • the set of whole numbers from 1 to 10; • the set of the days of the week; • the set of all the breeds of cat in the world.

  45. Representing sets A = {s, d, f, h, k } B = {a, b, c, d, e, f} the symbol  means "is an element of". the statement "d is an element of A" is written: dA the statement "p is not an element of A" is written: pA Predicatelogicis a powerful way for us to reason about sets.

  46. Predicates A predicate is a truth valued expression containing free variables; These allow the expression to be evaluated by giving different values to the variables; Once the variables are evaluated they are said to be bound. Examples C(x): x is a cat Studies(x,y): x studies y Prime(n): n is a prime number

  47. Binding Variables There are two ways in which variables in predicates can be given values. • By substitution (giving a particular value to the variable) • By Quantification

  48. Substitution C( x ) Studies( x , y ) Prime( x ) Simba ): Simba is a cat Olawale, physics ): Olawale studies physics 3 ): 3 is a prime number

  49. Quantification A quantifier is a mechanism for specifying an expression about a set of values; There are three quantifiers that we can use, each with its own symbol: The Universal Quantifier, The Existential Quantifier The Unique Existential Quantifier !

  50. The Universal Quantifier,  This quantifier enables a predicate to make a statement about all the elements in a particular set.; For example: If M(x) is the predicate x chases mice, we could write: x Cats M(x) this reads: For all the x’s which are members of the set Cats, x chases mice Or All cats chase mice.

More Related