Закон двойного отрицания
Если
неверно
,
то суждение-