記号論理学の英語

科学の言語の論理的分析を基盤とし,記号論理学を発展させた哲学例文帳に追加

a philosophy that is based on logical analysis of the language of science that developed symbolic logic発音を聞く  - EDR日英対訳辞書

数学あるいは論理学表現で用いられる（xやyのような）記号で、変動量を示す例文帳に追加

a symbol (like x or y) that is used in mathematical or logical expressions to represent a variable quantity発音を聞く  - 日本語WordNet

入力文の記号論理式レベルの文への単純化、記号論理式レベルの単純な文を用いた推論、及び記号論理式レベルの文に基づく出力文の生成の統一的、単純な方法による実現、並びに同様な方法による論理又は言語表現の自動的学習の実現。例文帳に追加

To achieve: simplification of an input sentence to a sentence at a symbolic logic expression level, inference using a simple sentence at a symbolic logic expression level and generation of an output sentence on the basis of a sentence at a symbolic logic expression level by a unified and simple method, and to achieve automatic learning of a logic or language representation by a similar method. - 特許庁

入力文の記号論理式レベルの文への単純化、記号論理式レベルの単純な文を用いた推論、及び記号論理式レベルの文に基づく出力文の生成の統一的、単純な方法による実現、並びに同様な方法による論理又は言語表現の自動的学習の実現。例文帳に追加

To provide an integrated and simple method of simplifying an input sentence to a symbol logic expression level of sentence, of deriving the symbol logic expression level using a simple sentence, and of generating an output sentence based on the symbol logic expression level of sentence, and to provide automatic learning of a logic or language expression by the same method. - 特許庁

入力文の記号論理式レベルの文への単純化、記号論理式レベルの単純な文を用いた推論、及び記号論理式レベルの文に基づく出力文の生成の統一的、単純な方法による実現、並びに同様な方法による論理又は言い換え表現の自動的学習の実現。例文帳に追加

To simplify an input statement to a statement at a symbolic logic expression level; to realize a unified simple method for generating an output statement on the basis of an inference using a simple statement at a symbolic logic expression level and a statement at a symbolic logic expression level; and to realize automatic learning of a logic or a paraphrasing representation by a similar method. - 特許庁

個々を表わし断定する記号論理学、および個々における量化のシステム（提案の関係と同様に）例文帳に追加

a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)発音を聞く  - 日本語WordNet