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

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. - 特許庁