Российские математики А.Н. Колмогоров, В.А. Гливенко, А.А. Марков стояли у истоков логики

№ «Преступление могли совершить или Петров, или Иванов, или Сидоров, но точно известно, что ни Иванов, ни Сидоров его не совершали, следовательно, преступление… № Если первая посылка в условно-категорическом умозаключении является суждением эквивалентности, то какие модусы являются правильными: № Возможность выражения смысла этого знака другими знаками, способными заменить его, считается значением знака ... № Явное и строгое формулирование правил, позволяющих строить сложные выражения из исходных (правила образования), предполагает построение № Суждение «Михаил старше Бориса» выражает: № Между понятиями «прокурор» (А), «адвокат» (В), «спортсмен» (С) имеют место отношения