Professional Documents
Culture Documents
Objects
Relations
Functions
Example: Leftleg…
6- Syntax:
a- Terms: objects
7- Sentences:
( )list of terms.
Example:
1- Universal quantifiers: ∀
2- Existential quantifier: ∃
NOTE:
Mother(x): x is a mother
∃ x : could be pronounciated
2- For some x…
∃x, P: states that P is true for at least one object x.( quantified
sentence)
∀ x ∀y , brother(x,y) sibling(x,y)
∀x ∃y, loves(x, y)
∀x likes(x, chocolate)
In general:
Relations: ∀ and
∃ Or
Properties in PL:
1- P or Q or P = P or Q
3- True and P = P
4- True or P = true
5- False or P = P
It can be used also with negation to state that two objects are
different.