ЛОГИ́ЧЕСКАЯ ФО́РМУЛА

ЛОГИ́ЧЕСКАЯ ФО́РМУЛА, фор­му­ла, со­дер­жа­щая лишь сим­во­лы ло­ги­че­ских опе­ра­ций и пе­ре­мен­ные для вы­ска­зы­ва­ний и пре­ди­ка­тов, т. е. вы­ра­же­ние в язы­ке фор­маль­ной ло­ги­ки, яв­ляю­щее­ся ана­ло­гом пред­ло­же­ния. Точ­ное оп­ре­де­ле­ние Л. ф. да­ёт­ся для ка­ж­до­го кон­крет­но­го ло­гич. язы­ка. Как пра­ви­ло, оп­ре­де­ле­ние Л. ф. име­ет ин­дук­тив­ный ха­рак­тер: вы­де­ля­ет­ся класс вы­ра­же­ний, на­зы­вае­мых эле­мен­тар­ны­ми или ато­мар­ны­ми Л. ф., и ука­зы­ва­ют­ся пра­ви­ла, по­зво­ляю­щие из уже по­стро­ен­ных Л. ф. стро­ить но­вые Л. ф., ис­поль­зуя сим­во­лы ло­гич. опе­ра­ций. См. так­же Ал­геб­ра ло­ги­ки, Пре­ди­ка­тов ис­чис­ле­ние.