Закон Косвенного Доказательства - это...

- логическийзакон, позволяющий делать заключения об истинности какого-то высказывания на основании того, что отрицание этого высказывания влечет противоречие. Напр.: "Если из того, что 11 не является простым числом, вытекает то, что оно делится на число, отличное от самого себя и единицы, и то, что оно не делится на такое число, то 11 есть простое число". С использованием символики логической (p, q - некоторые высказывания; -> - импликация, "если, то"; & - конъюнкция, "и";