system of logic
/ˈsɪstəm əv ˈlɒdʒɪk/翻译: 用于推理、演绎和推断的一套结构化且连贯的原则、规则或方法，通常在哲学、数学或计算机科学中研究。
phrase
/ˈsɪstəm əv ˈlɒdʒɪk/
Структурированный и последовательный набор принципов, правил или методов, используемых для рассуждения, дедукции и вывода, часто изучаемый в философии, математике или информатике.
Conjunto estructurado y coherente de principios, reglas o métodos empleados para razonar, deducir e inferir, estudiado a menudo en filosofía, matemáticas o informática.
Ensemble structuré et cohérent de principes, de règles ou de méthodes utilisés pour le raisonnement, la déduction et l'inférence, souvent étudié en philosophie, en mathématiques ou en informatique.
Ein strukturiertes und folgerichtiges System von Prinzipien, Regeln oder Methoden, das zum Schlussfolgern, Deduzieren und Ableiten verwendet wird, oft untersucht in Philosophie, Mathematik oder Informatik.
Conjunto estruturado e coerente de princípios, regras ou métodos usados para raciocinar, deduzir e inferir, frequentemente estudado em filosofia, matemática ou ciência da computação.
用于推理、演绎和推断的一套结构化且连贯的原则、规则或方法，通常在哲学、数学或计算机科学中研究。
منظومة منظمة ومتسقة من المبادئ والقواعد أو الطرائق تُستخدم في الاستدلال والاستنتاج، وتُدرس غالباً في الفلسفة والرياضيات وعلوم الحاسوب.
A structured and coherent set of principles, rules, or methods used for reasoning, deduction, and inference, often studied in philosophy, mathematics, or computer science.
Formal reasoning frameworkC1formal
A structured set of principles and rules used to evaluate arguments and deduce conclusions.
Формальная система рассужденийsistema de lógicasystème de logiqueFormales SchlussfolgerungssystemSistema de lógica formal形式推理系统نظام المنطق- Aristotle developed one of the earliest systems of logic.
- A system of logic helps mathematicians prove theorems.
- Philosophers often debate the foundations of a system of logic.