2
$\begingroup$

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.

  • 3
    @Lulluu: Here we have LaTeX support, you can insert a pair of dollar sign to latexify your formulas like this: $U = \{o \mid o \textrm{ is a person}\}$.2011-03-03

1 Answers 1