Symbolic relations (5 = father, 9 = sister, 4 = brother, 3 = wife): Encode “F is the mother of K”.
Mappings: B5D ⇒ B is father of D; B9D ⇒ B is sister of D; B4D ⇒ B is brother of D; B3D ⇒ B is wife of D.
Which option correctly implies that F is K’s mother?
Choose the correct encoded expression.
Difficulty: Easy
Correct Answer: F3M5K
Explanation:
Decode options
F3M5K: F3M ⇒ F is wife of M; M5K ⇒ M is father of K. Wife of K’s father ⇒ F is K’s mother.
F5M3K: F is father of M (F male), then M wife of K — does not yield F mother of K.
F9M4N3K: F sister of M; M brother of N; N wife of K — no mother relation to K.
F3M5N3K: F wife of M; M father of N; N wife of K — F is mother of N, not necessarily of K.
Discussion & Comments