В роботі розглянуто класичне [лямбда]-числення та ідеї його використання. Введено нові поняття, базовим з яких є поняття логічного рівняння та описано принцип застосування [лямбда]-теорії до складних та нечітких логічних систем. За допомогою типової моделі дерев Бема наведено приклади практичного використання логічних рівнянь. Досліджені локальні і глобальні властивості [лямбда]-моделі та її інтерпретацій.