Как в математике знаками сказать, что при каком-то условии выполняется какое-то высказывание? Я знаю, что "=>" означает "следовательно", но условие перед ним в любом случае значит должно быть верно. А как сказать, что условие не обязательно должно выполняться, но если и выполняется, то утверждение после "=>" было верным?