перший член імплікації, якому передує слово "якщо".