symbolize the following in Lg using the the interruption function below.
U: {o|o is a person} L2: { , m loves n} H1: { p|o, o is exaited} C1: {o|o, o is a kid b: Bob
"if any loves Bob, then Bob loves everyone." if theres a x (Lxb --> Lcx) right?
"happy people and kids love Bob." For any x[Hx ^ If therex a x Hbx) .... im not sure how to finish this one. does anyone know?
"there is some kid that everyone loves" if theres an X, if theres a y(Lyx)
looks something like this... ]x]yLyx
"there is a happy kid who loves all unhappy kids"
"at least two kids love Bob"
]x]y(Lxb ^ Lyb)
"the kid who loves Bob loves everyone" ]x(Lxb -->VyLxy
any feedback. if i am wrong please correct me.