Predicate Flashcards
(11 cards)
What are the five connectives of predicate?
¬, &, ∨, →, =
What are designators in predicate?
an infinite supply of lower case letters a, b, c, …
What are individual variables in predicate?
An infinite supply of lower case letters x, y, z, …
What are Predicates
An infinite supply of capital letters P, Q, R
What are the two quantifiers in predicate?
∀ and ∃
What do designators represent?
Proper nouns I.e. London, Gabriel, Edgecliffe
what do individual variables represent?
they denote things but not specific ones.
i.e. let x be an arbitrary human
What do predicates represent?
their function is to denote (a) properties which characterise things or (b) relations in which things stand
(a) ‘Stewart is American’ - American is the predicate
(b) ‘John is married to Katie’ the predicate is married
In Predicate - ‘All As are Bs’ would be translated as a
universally quantified conditional
In Predicate - ‘Some As are Bs’ would be translated as a
existentially quantified conjunction