Закон Клавія

закон класичної логіки, який репрезентує випадок загальної схеми доведення від супротивного: якщо дане висловлення випливає зі свого заперечення, то воно є істинним