• : تعریف: a modern kind of formal logic employing a system of symbols to represent relationships, quantities, or propositions.
مترادف ها
منطق رمزی (اسم)
formal logic, symbolic logic
منطق نمادی (اسم)
symbolic logic, logistics
تخصصی
[کامپیوتر] منطق نمادی، منطق سمبلیک . [برق و الکترونیک] منطق نمادین منطقی که در آن نمادهای مناسب برای محاسبه رابطه های عددی را برای کامپیوتر شرح می دهند، مانند جبر بولی . [ریاضیات] منطق علامتی، منطق صوری، منطق نمادی، منطق ریاضی