По сравнению с определением § 17, пункт 1 прежнего определения заменен новым пунктом 1, а ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Клини С.К. Введение в математику


По сравнению с определением § 17, пункт 1 прежнего определения заменен новым пунктом 1, а пункты 6 - 7 откинуты. Если будет желательно проводить различия между обоими понятиями формулы, мы будем называть формулы в смысле § 17 арифметическими формулами, а формулы в только что введенном смысле - формулами исчисления высказываний, или пропозициональными формулами.

(cкачать страницу)

Смотреть книгу на libgen

По сравнению с определением § 17,  пункт 1 прежнего определения заменен новым пунктом 1,  а пункты 6  -  7 откинуты.  Если будет желательно проводить различия между обоими понятиями формулы,  мы будем называть формулы в смысле § 17 арифметическими формулами,  а формулы в только что введенном смысле  -  формулами исчисления высказываний,  или пропозициональными формулами.