форма логічна

ФОРМА ЛОГІЧНА — структура, яка утворюється в результаті заміни всіх складових частин мовного виразу змінними, що належать до різних семантичних категорій. Напр., якщо у реченні "Дерево є зеленим" замінити слово "дерево" предметною змінною х, "зеленим" — предикативною змінною Р (див. предикат), а "є" — певним способом зв'язку або запису, то одержимо Ф. л., що має вигляд Р(х) Ф. ормальна логіка розглядає як Ф. л. форми мислення, формалізовані мови, формальні теорії тощо (див. формалізація).

П. Йолон