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?
Im dont know how to put it together mathematically correct.