4.3. Законы двойного отрицания.

Если [неверно, что (\неверно, что р)], то р.

Вспомним, что оборот «неверно, что р» можно заменить кратким оборотом «не ръ. Этот оборот мы будем исполь-зовать в дальнейшем. Закон (3) мы можем поэтому выразить также в виде:

Если [не (не р)ї, то р.

Законом также является и обратное выражение:

(5) Если р, то [не (не />)].

Эти законы признает всякий, если выписать несколько их конкретных примеров, например:

а) Если (я имею в правом кармане платок),

то {неверно, что [не (имею в правом кармане платка)]},

б) Если (я вижу сейчас Гевонт )),

то {неверно, что [не (вижу сейчас Гевонт)]}.

Истинными являются также импликации, обратные этим ), т. е.

в) Если {неверно, что

[не (имею в правом кармане платка)]}, то (имею в правом кармане платок).

г) Если {неверно, что [не вижу сейчас Гевонт) ]}* то (вижу сейчас Гевонт).

Все эти предложения представляют собой схемы (3) и (5), в которые вместо р подставлены предложения: «Имею в правом кармане платок» или «Вижу сейчас Гевонт». Предложения (а), (б), (в), (г), как это легко видеть, не являются точными подстановками в схемы (3)—(5), но являются подстановками несколько стилистически приглаженными. Таким образом, в общем случае строгая подстановка в логические схемы оказывается зачастую очень неуклюжей, звучащей по-русски очень искусственно. Так, точная подстановка в схему (4) имела бы вид:

г') Если {не [не (вижу сейчас Гевонт)}], то (вижу сейчас Гевонт).

Но это предложение по-русски звучит некрасиво. Несколько лучше звучит аналогичное и эквивалентное ему предложение, как подстановка в схему (3):

г") Если {неверно, что

[неверно, что (вижу сейчас Гевонт)]}, то (вижу сейчас Гевонт).

Все три предложения г), г' и г") рассматриваются нами

КаКйпГ Г^ °аНа,ающие одно и то же и как подстановки в схемы одного и того же закона логика Но лучше всего по-русски звучит предложение ^ Кон-струируя дальнейшие примеры, мы ^удем их

стилистически приглаженными. м

Поскольку мы склонны считать рассмотренные подстановки и все другие подстановки в схемы (3) и (5) истинными предложениями, то эти схемы мы можем назвать законами логики в соответствий с определением, приведенным в начале этого параграфа1).