HOMELv013 OCLの3値論理において、`false implies null` の評価結果はどれか。 2026年1月25日 implies(含意)において、前件がfalseであれば後件が何であれ(nullであっても)全体はtrueになる。 ステートマシン図の「コンポジット状態(Composite State)」において、外部からの遷移が境界に到達した際、初期擬似状態を経由せずに特定のサブ状態に直接入るために使用する要素はどれか。 クラス図における「汎化セット(Generalization Set)」の制約 `{complete}` が意味するものはどれか。