Hjälp med mängdlära

Jag har fastnat på dessa uppgifter och skulle uppskatta all hjälp jag kan få.
1)
Låt universum vara mängden av reella tal. Betrakta följande predikat:
T(x) : “x är en tomte”,
S(x) : “x har skägg”,
G(x) : “x är en get”.
Översätt meningarna
– Alla som har skägg är tomtar.
– Om någon har skägg, så är den en tomte eller en get.
– Julbocken är både tomte och get.
till predikatlogisk notation.

2) 
Låt R vara en relation mellan talpar x = (x1, x2) och y = (y1, y2) som ges
av att xRy gäller då och endast då x1 ≤ y1 och x2 ≥ y2.
(a) Visa att relationen R är en partialordning på mängden av naturliga
tal.
(b) Låt X = {(1, 2),(1, 3),(2, 2),(3, 1),(3, 3)}. Det följer från a)-uppgiften
att relationen R är en partialordning även på mängden X. Rita (den
riktade) grafen för partialordningen R på mängden X. Rita även
Hassediagramet för partialordningen R på mängden X.

:D