Больше цитат

Eiren

19 апреля 2015 г., 19:14

В основе рассуждения от противного лежит принцип исключенного третьего, который базируется на предложении о том, что всякое высказывание либо истинно, либо ложно. Следовательно, если доказано, что ложность предложения места не имеет, то есть что предложение не может быть ложно, то оно неминуемо оказывается истинным.