formal logic
/ˈfɔːrməl ˈlɒdʒɪk/翻译: 使用严格规则和符号来分析论证、命题和推理的系统，常用于数学、哲学和计算机科学。
phrase
/ˈfɔːrməl ˈlɒdʒɪk/
Система рассуждений, использующая строгие правила и символы для анализа аргументов, утверждений и выводов, часто применяемая в математике, философии и информатике.
Sistema de razonamiento que utiliza reglas estrictas y símbolos para analizar argumentos, proposiciones e inferencias, empleado frecuentemente en matemáticas, filosofía e informática.
Système de raisonnement reposant sur des règles strictes et des symboles pour analyser des arguments, des énoncés et des inférences, souvent utilisé en mathématiques, en philosophie et en informatique.
System des Denkens, das mit strengen Regeln und Symbolen Argumente, Aussagen und Schlussfolgerungen analysiert; wird häufig in Mathematik, Philosophie und Informatik angewendet.
Sistema de raciocínio que utiliza regras estritas e símbolos para analisar argumentos, afirmações e conclusões, frequentemente aplicado em matemática, filosofia e ciência da computação.
使用严格规则和符号来分析论证、命题和推理的系统，常用于数学、哲学和计算机科学。
نظام للاستدلال يستخدم قواعد ورموزاً صارمة لتحليل الحجج والتصريحات والاستنتاجات، ويُستعمل غالباً في الرياضيات والفلسفة وعلم الحاسوب.
A system of reasoning that uses strict rules and symbols to analyze arguments, propositions, and deductions, often used in mathematics, philosophy, and computer science.
Study of reasoning structuresC1formal
A branch of logic that deals with the analysis of arguments using formal systems, symbols, and rules of inference, abstracting from the content of statements.
Изучение структур рассужденийlógica formalLogique formelleFormale LogikEstudo das estruturas do raciocínio形式逻辑دراسة بنى الاستدلال- Formal logic uses symbols to represent propositions and logical connectives.
- Students of philosophy often study formal logic to understand valid reasoning.
- In formal logic, a syllogism is a classic example of a deductive argument.