「命題値」に関連した英語例文の一覧と使い方 - Weblio英語例文検索

方程式に代入されるとき、真の命題となるような値の集合例文帳に追加

the set of values that give a true statement when substituted into an equation  - 日本語WordNet

命題計算は真理値（真または偽）を持つ文に基づいている。例文帳に追加

The propositional calculus is based on statements which have truth values (true or false).  - コンピューター用語辞典

係数の可能な連結毎に、関係演算子を用いてブール値命題が求められ、命題空間が生成される。例文帳に追加

For each possible combination of the coefficients, a Boolean valued proposition is determined using relational operators to generate a propositional space. - 特許庁

時系列信号値データから人手を介すことなく自動的に動作命題を作成するシステム、及び論理回路の検証前に動作命題を検証することが可能な動作命題を検証するシステムを提供する。例文帳に追加

To provide a system for automatically generating an operation proposition from time-series signal value data without depending upon human assistance and a system for verifying an operation proposition, which can verify an operation proposition before verifying a logic circuit. - 特許庁