В чем смысл закона двойного отрицания?
Если истинно А или В, но В не выполнено, то должно выполняться А
Двойное отрицание исключает отрицание
Истинно либо суждение, либо его отрицание
Из двух противоречивых суждений одно истинно