Читать онлайн «Орфография и пунктуация русского языка. Три способа писать без ошибок»

 Можно показать, что принцип 6. ~ М. (р & —- р) теорема AML Gp 3 G—р 7. — G ( p & ~ р ) 5, 6, п. о. дедуктивно эквивалентен на базе минимальной логики абсолют- ных оценок, дополненной некоторыми очевидными теоремами але- 8. G (p&q) = Gp&Gq теорема GHm тической модальной логики, утверждению 9. G(p&-^p)^Gp&G~p 8. qj—p •—(Gp& — Alp), 10. — (Gp&G—p) 7, 9, п. э. «неверно, что невозможное является добром». 11. G p ^ > ~ G ^ p 10, PL. Допустим, что справедливо отрицание этого утверждения, Сходным образом может быть показана дедуктивная эквива- Gp& — Мр. лентность утверждений Это означает, что истинны высказывания Gp и —-Мр. Последнее Hp~Z) — Н—Р и ~-(Нр&~Мр), из них с помощью законов «неверно, что невозможное является злом». ~MpZ)L~p, Конъюнкция формул LpZ>p (Gp&~Mp), дает —р. Используя тавтологию — (Ир&^мр) pZ>. qZ)p эквивалентна формуле пропозициональной логики, получаем, далее, «невозможное не может быть ми добром, ни злом». Если не яв- ляющееся ни добром, ни злом отождествляется с безразличным, то эту же мысль можно передать и такой форме: «невозможное — и затем по правилу (R3) безразлично». Отмстим, что утверждение Gp3G~p. Из истинности высказываний Gp и G p = > G ~ p заключаем, что вы- Мр ZD Gp \ / Hp, сказывание G—/7 является истинным. С другой стороны, из ис- тинности принципа «если p возможно, то оно является положительной или отрица- тельной ценностью», не является теоремой расширения минималь- Gp D G~р ной логики положением о безразличности невозможного.