symbolic logic
/sɪmˈbɒlɪk ˈlɒdʒɪk/翻译: 使用符号和变量来表示逻辑命题和关系的正式逻辑分支，能进行精确推理和论证分析。
phrase
/sɪmˈbɒlɪk ˈlɒdʒɪk/
Формальная ветвь логики, использующая символы и переменные для представления логических утверждений и отношений, позволяющая проводить точные рассуждения и анализ аргументов.
Rama de la lógica formal que utiliza símbolos, variables y operadores para representar proposiciones, relaciones y razonamientos, permitiendo un análisis riguroso y la demostración de argumentos mediante sistemas formales.
Branche formelle de la logique qui utilise des symboles et des variables pour représenter des propositions et des relations logiques, permettant un raisonnement et une analyse d'arguments précis.
Formaler Zweig der Logik, der Symbole und Variablen verwendet, um logische Aussagen und Beziehungen darzustellen, und präzise Schlussfolgerungen und Argumentationsanalysen ermöglicht.
Ramo formal da lógica que utiliza símbolos e variáveis para representar proposições e relações lógicas, permitindo raciocínios precisos e a análise de argumentos.
使用符号和变量来表示逻辑命题和关系的正式逻辑分支，能进行精确推理和论证分析。
فرع من فروع المنطق يستخدم رموزًا ومتغيرات لتمثيل العبارات والعلاقات المنطقية، مما يتيح إجراء استدلال دقيق وتحليل للبراهين والحجج.
A formal branch of logic that uses symbols and variables to represent logical statements and relationships, allowing for precise reasoning and analysis of arguments.
Formal system of reasoningC1formal
A branch of logic that uses symbols and mathematical notation to represent logical expressions and arguments, allowing for precise and abstract reasoning.
Формальная система рассужденийLógica simbólicalogique symboliqueFormale System des SchließensLógica simbólica形式推理系统نظام استدلال صوري- Symbolic logic is essential for understanding computer programming languages.
- The philosopher used symbolic logic to analyze the argument's validity.
- Students in the advanced math class studied symbolic logic.