2. Верно ли, что если исходное утверждение истинно, то противоположное утверждение должно быть ложным?

Да. Противоположное утверждение отрицает исходное, поэтому, если исходное истинно, противоположное ложно.

Ответ: да.