Ученые записки математических кафедр 1968 г.

Г.Н.Ш2РЛАТ0В •>ЛКОИ ИСКЛЮЧЕННОГО ТРЕТЬЕГО И . ' : КАЯ ЛОП1КА ВЫСКАЗЫВАНИЙ ; 3 ь в с и к е Интуиционистская логика высказывании возникла из отрицании г. классической логике высказывании закона исклю­ ченного третьего. Впоследствии было запечено , что отрицание закола исключенного третьего з полной системе независимых акс-он классического исчисления высказываний ыоает привести к сис­ темам исчисления высказывании, отличным от интуиционистских, ь настоящей заметке рассматриваются две такие системы, из которых одна содержится в интуиционистской логике высказыва­ ний и не совладает с ней, а вторая содераит предложения, зе выводимые в интуиционистской логике, но не содержит эту ло­ гику целиком. Включение одной логической системы в другую понимается в смысле включения классов выводимых формул. § 2. Построение системы аксиом В классического исчисления высказываний Правила образования формул:. а / Стоящая отдельно переменная^ , £ и т.д. есть правильно построенная формула;