Wff or not wff? Get ready to play!!!
Welcome message from author
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
- Slide 1
- Slide 2
- Wff or not wff? Get ready to play!!!
- Slide 3
- 1. Cube(a)
- Slide 4
- Cube(a)
- Slide 5
- 2. Cube(x)
- Slide 6
- Cube(x)
- Slide 7
- A quantifier must always be followed by a variable, e.g. y Cube(x)
- Slide 8
- 3. Tet(x)
- Slide 9
- Tet(x)
- Slide 10
- 4. Smaller(Cube(a), Tet(b))
- Slide 11
- Smaller(Cube(a), Tet(b))
- Slide 12
- The only things you can put into a predicate hole are a name, a variable, or a function. You cant put a predicate into another predicate. In this case you need to write: (Cube(a) Tet(b)) Smaller(a, b)
- Slide 13
- 5. z(Tet(x) Cube(a))
- Slide 14
- z(Tet(x) Cube(a))
- Slide 15
- Order of construction: Tet(x) Cube(a) (Tet(x) Cube(a)) z(Tet(x) Cube(a))
- Slide 16
- Slide 17
- 6. c Large(c)
- Slide 18
- c Large(c)
- Slide 19
- A quantifier must be followed by a variable, i.e. one of the letters: t, u, v, w, x, y, z. So you need (e.g.): v Large(v)
- Slide 20
- 7. Smaller( , a) Large(a)
- Slide 21
- Smaller( , a) Large(a)
- Slide 22
- The only things you can put into a predicate hole are a name, a variable, or a function. You cant put a quantifier directly into the hole of a predicate. In this case you need: x (Smaller(x, a) Large(a))
- Slide 23
- 8. x(Large(x) y(Tet(y) Adjoins(x, y)))
- Slide 24
- x(Large(x) y(Tet(y) Adjoins(x, y)))
- Slide 25
- Circuit diagram:
- Slide 26
- 9. Cube(a) Large(a) Small(y)
- Slide 27
- Cube(a) Large(a) Small(y)
- Slide 28
- You need to add brackets when using and . Then, depending on the order of construction, youll get either: (Cube(a) Large(a)) Small(y) or Cube(a) (Large(a) Small(y)) (I left off the outer pair of brackets, as usual.)
- Slide 29
- 10. y(Dentist(father(y)) Rich(y))
- Slide 30
- y(Dentist(father(y)) Rich(y))
- Slide 31
- Order of construction: Dentist(father(y)) Rich(y) (Dentist(father(y)) Rich(y)) y(Dentist(father(y)) Rich(y))
Related Documents
