Thread: Predicate logic problem

Formalizing the following two sentences predicate logically:

1. Nobody likes warm beer (Let B(x) stand for "x like warm beer")

2. Everyone likes someone, and someone likes all (Let T (x, y) stand for "x likes y")

Is this right thinking?
(¬∃x)B(x)

((∀xy)T(x,y))/\((yx∀)T(x,y))

Im dont know how to put it together mathematically correct.

hi Monika,
1) I think you're answer is right, although I would write it like this:


but, what you have written is equivalent:


2) I think you want:

"For all people there exists at least (or some) person, that they like" and "there exist at least (or some) person, who likes everyone."