Два сообщения, читанные 27 февраля и 23 марта 1882г
СодержаниеИ обобратном способе
Часть i. 36
Часть ii. 116
ПРЕДИСЛОВИЕ. Об отношении математической логики к математике и логике.
A=B не нарушается
A=B всегда приводит к тождественному с ними равенству A
А. В. Васильеву
П. Порецкий.
1.a=a; a(a+b)=a; a(b+c)=ab+ac
С. Джевонс
ЧАСТЬ I. О способах решения логических равенств.
A содержится в B, вместо равенства Буля A=vB
A=B. Если, например и
A=B тождественна не только с нулевою своею формою 0=AB
A=C, т.е. оба складываемые равенства суть определения одной и той же функции
A=C. Первые два тождества поверяются. Остается удовлетворить двум остальным, для чего достаточно положить B=AB, D=CD=AD
A=B в форму определения данного класса a
Задача 1-ая
X, и 2) из таких певчих, которые обладали качеством Y
Задачи 2-ая.
Часть ii.
A=B должны иметь единичную
A=B должны иметь форму определений одной и той же произвольно составленной функции n
A=B максимальною системою посылок, имеющих нулевую форму
A=B, превращая его в форму 0=N(a,b,c,d,…)
A=B? Во 1-х, можно утверждать, что число это всегда меньше, чем 2
A=B. Однако, применение общего метода не всегда удобно. Бывают случаи, когда требуется построить одну какую-либо
A=B требуется построить тождественную с ним максимальную систему посылок в единичной форме
M на продуценты двух классов b и d, получим след. систему 4-х равенств: 1=b+d+M(a,0,c,0)=b+d+ac
M на продуценты классов b,c,d
A=B приведено сначала к форме 1=M(a,b,c,d…)
A=B, то, комбинируя их между собою на все лады, будем получать всевозможные системы, тождественные с равенством A=B
1=a+b+c, 1=a+b+c
A=B максимальной системы в форме элементарных определений одной и той же функции u
A=B. Для этой цели нами было предложено 4 параллельных способа, каждый не менее как в двух вариантах. При этом мы убедились, что
Порецкий – гордость россии.
Список научных работ П.С. Порецкого [4].
0=0. 38 Напр., при двух классах a
