St ructure amp dle Consider this sentence bobby' s father can beat up the father of any other kid on the block Solution Let o K(x): x is a child on the block and b means BobbyStructure . Example . . Consider this sentence ”Bobby’s father can beat up the father of any other kid on the block”. . Solution . . Let 1. K(x): x is a child on the block and b means Bobby. 2. f (x): x’s father, 3. B(x, y): x can beat up y, 4. Finally, ∀x(K(x) → (¬(x = b) → B(f (b), f (x)))). Yi Li (Fudan University) Discrete Mathematics May 28, 2013 7 / 27