СИМВОЛИ́ЧЕСКАЯ ЛО́ГИКА

СИМВОЛИ́ЧЕСКАЯ ЛО́ГИКА, ино­гда упот­реб­ляе­мое на­зва­ние ма­те­ма­ти­че­ской ло­ги­ки, свя­зан­ное с тем, что в ней бо­лее ши­ро­ко, чем в тра­ди­ци­он­ной, для вы­ра­же­ния ло­гич. свя­зей и вы­ска­зы­ва­ний при­ме­ня­ют­ся ма­те­ма­тич. сим­во­лы.