充足可能な
「充足可能な」の英語
「充足可能な」は英語で satisfiable と言います。論理学や計算機科学で、式や条件を満たす解が存在する場合に使う専門語で、日常の「満足している」には satisfied を使います。
「充足可能な」の英語の使い分け
論理学や計算機科学で、式や条件を満たす解がある状態に使います。
This logical formula is satisfiable.
「充足可能な」の例文
The formula is satisfiable.
その式は充足可能である。
コアイメージ
充足可能なは、ある式や条件を満たす解や割り当てが存在する状態を指す
英英
Capable of being satisfied; in logic, describing a formula that has at least one assignment or model that makes it true.
語源
satisfiableは、satisfy（満たす）+ -able（〜できる）から成り、satisfyはラテン語satis（十分）+ facere（作る）由来で、論理では式を真にする割り当てがあるという意味で用いられる。
コラム
- 論理学や計算機科学ではsatisfiableは式に解が存在することを意味し、日常英語のsatisfied（満足している）やsatisfyingとは用法が異なる
「充足可能な」のレベル別の例文
- 中学
This formula is satisfiable because it has a solution.
この式は解があるので充足可能です。
- 高校・英検2級
The researchers proved that the set of conditions is satisfiable.
- TOEIC・ビジネス
The software checks whether each logical constraint is satisfiable.
- 日常会話
Is this system of rules satisfiable?
「充足可能な」を英語にするときのよくある間違い
× I am satisfiable.
○ I am satisfied.
satisfiableは主に式や条件に使い、人の満足感には satisfied を使います。