English Dictionary

satisfiability

IPA（発音記号）

/satɪsfʌɪəˈbɪlɪti/

名詞

可算名詞 命題・論理式 不可算名詞

(mathematics, of a proposition or formula) The property of being able to be satisfied.

日本語の意味

充足可能性

The satisfiability of a propositional formula is determined by whether an assignment of truth values exists that makes the formula true.

命題式の充足可能性は、その式を真にする真偽値の割り当てが存在するかどうかによって決まる。

意味（1）

(mathematics, of a proposition or formula) The property of being able to be satisfied.

satisfiabilities （ plural ）