Запишите следующие утверждения с помощью кванторов и логических связок

Запишите следующие утверждения с помощью кванторов и логических связок (используя правила перевода):
а) Натуральное число всегда положительно;
б) Целое число, кратное 4, является ч¨етным;
в) синус не всегда положителен.