text: логика немесе символикалық логика логикалық қорытындыларды қатаң символикалық тілдің негізіндегі логикалық есептеулер арқылы зерттейтін логиканың тармағы. термин ретінде алғаш 1880 жылы дж.венн қолданған. аристотельдің өзі өзгергіштерді әріптермен белгілеген. бүкіл математика үшін әмбебап тіл жасау, сөйтіп, матем. дәлелдерді, тіпті кез келген пайымдауларды формалдау идеясын 17 ғасырда лейбниц ұсынды. бірақ 19 ғасырдың ортасында аристотельдік силлогистика сол кездегі ғылым дамуының сұраныстарына жауап бере алмайтыны белгілі болды. бір жағынан, абстрактілі алгебраның 