
Название: Элементы математический логики и теории множеств
Автор: Слупецкий Е., Борковский Л.
Издательство: М.: Прогресс
Год: 1965
Страниц: 368
Формат: djvu
Размер: 24,6 Мб
Язык: Русский
К тем выражениям, которые пригодны и необходимы для формулирования утверждений в любой области знания, относятся постоянные исчисления предложений. Благодаря этому обстоятельству, а также и тому, что вместо пропозициональных переменных можно подставить произвольные предложения, законы и правила исчисления предложений могут применяться в любой науке и к обычным рассуждениям.