Головна » Логіка » Ф » Формалізація

Формалізація (лат. formalis — складений за формулою). Метод, що полягає в заміні всіх змістовних термінів символами, а всіх змістовних суджень (висловлювань) та їх поєднань відповідними послідовностями символів, або формулами.

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