Симонова, Ирина ГаяновнаСимонова, Ірина ГаянівнаSimonova, Irina G.2010-09-162010-09-162008Вiсник Одеського нацiонального унiверситету = Odesa National University Heraldhttps://dspace.onu.edu.ua/handle/123456789/398В настоящей статье доказывается выполнимость сепарационного свойства для исчисления I^. Доказательство проводится методом перестройки выводов, позволяющим получать из вывода формулы А ее вывод, не содержащий логических связок, не входящих в эту формулу.В поданій статті доводиться, що має місце сепараційна властивість для числення І. Доведення використовує метод перебудови виводів, який дає можливість отримати з виводу формули А такий її вивід, що не містить логічний зв'язок, які не входять в цю формулу.This article shows that seperable property is true for calculus I. The proof is beinq done by the transformation of deduction allowinq to qet the deduction from formula A, without possessinq any loqical symbol whick do not belonq to this formula.доказуемостно-интуиционистское исчислениесепарационное свойствовывод формулыприведенный выводдоводжувально-інтуіціоністське численнясепараційна властивістьвивод формулиприведенний висновокproof-intuitionistic calculusseperable propertydeduction of a formulareduced deductionArticle