Мова класичної логіки висловлювань. Штучна мова, призначена для аналізу логічної будови складних висловлювань, що характеризується відповідним набором елементарних знаків (символів) і визначенням формул класичної логіки висловлювань.
Джерело: Тофтул М. Г. Логіка: Підручник. Видання 2-ге, виправлене, доповнене. — К.: Видавничий центр «Академія», 2006. — 400 с. (Альма-матер). ISBN 966-580-214-3.
Джерело: Тофтул М. Г. Логіка: Підручник. Видання 2-ге, виправлене, доповнене. — К.: Видавничий центр «Академія», 2006. — 400 с. (Альма-матер). ISBN 966-580-214-3.