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