satisfiable

「satisfiable」のレベル別の例文

• 中学

  This logic puzzle is satisfiable because one answer fits all the clues.

  この論理パズルは、すべての手がかりに当てはまる答えが一つあるので、充足可能です。

• 高校・英検2級

  The conditions are satisfiable when each variable is assigned a single value.

  それぞれの変数に一つの値を割り当てれば、その条件は満たせます。

• TOEIC・ビジネス

  The software checks whether the proposed requirements are satisfiable.

  そのソフトウェアは、提案された要件をすべて満たせるかどうかを確認します。

• 日常会話

  Do you know whether these conditions are satisfiable?

  この条件って、満たせるかどうか分かる？

「satisfiable」のよく使う型

• be satisfiable論理式や条件などが充足可能である

  The constraints are satisfiable together.

  その制約条件は同時に満たせます。

• be satisfiable under AAの条件下で充足可能である

  The formula is satisfiable under these assumptions.

  その論理式は、これらの仮定の下で充足可能です。

「satisfiable」とよく一緒に使う語

• a satisfiable formula充足可能な論理式
• a satisfiable set of constraints充足可能な制約の集合
• satisfiable conditions満たすことが可能な条件
• check whether something is satisfiable何かが充足可能か確認する

「satisfiable」のよくある間違い

• ✕ The formula satisfies.

  ○ The formula is satisfiable.

  satisfiableは、論理式が何らかの値の割り当てで真になりうることを表す形容詞です。

• ✕ satisfiableは「満足できる」という意味だ。

  ○ satisfiableは論理学やコンピューター科学では「充足可能な」という意味で使う。

  日常的な満足を表す形容詞ではなく、条件や論理式に使う専門語です。

「 satisfiable」の英英 英英

Capable of being satisfied; in logic, describing a formula that has at least one assignment or model that makes it true.

「satisfiable」のよくある質問