Definiția cuvântului „logică simbolică”
logică simbolică — substantiv
- ramură a logicii care cercetează operatorii logici și care are ca obiect aplicarea metodelor matematice în domeniul logicii formale, în electronică, cibernetică, lingvistică; logistică.