Question: 4 . For this exercise, use the following sets and predicates: P = a set of people ParentOf ( p , c ) = p
For this exercise, use the following sets and predicates:
P a set of people
ParentOfp cp is a parent of c where p c in P
SiblingOfp qp and q are siblingssymmetric where p q in P
CloseRelp qp and q are closely relatedsymmetric where p q in P
Translate each of the following statements into propositions in predicate logic using the appropriate
quantifiers:
a A person is closely related to their parent.
b If two people are siblings, they are closely related.
c Every person has at least one other person they are closely related to
d For every person, there is someone that they are not a sibling of
e There is no person that is closely related to everyone.
f There are three people such that the first and second are siblings and the second and third are
siblings, but the first and third are not siblings.
g If two people are siblings, there is someone who is the parent of both of them.
h If two people are closely related, then they are siblings or one is the parent of the other.
Step by Step Solution
There are 3 Steps involved in it
1 Expert Approved Answer
Step: 1 Unlock
Question Has Been Solved by an Expert!
Get step-by-step solutions from verified subject matter experts
Step: 2 Unlock
Step: 3 Unlock
