grafer och predikat (diskret matte)

Nån som kan hjälpa mig med hur jag ska tänka?

Låt universum bestå av alla grafer, och inför predikaten E(x): x har
en eulerkrets, J(x): alla x:s hörn har jämn grad.
(a) Skriv ”om en graf har en eulerkrets så har alla hörn jämn grad”
och ”det finns ingen graf som har en eulerkrets och hörn av udda
grad” med predikatlogiska symboler.
(b) Visa att påståendena är ekvivalenta genom att använda predikatlogiska räkneregler