力迫关系在力迫法中力迫关系通常记为⊩ (读作力迫),是定义在基础模型 M 中一个二元关系。力迫关系的左变量是一个力迫条件,右变量是力迫语言的句子。
本词条最后更新于 2026-07-01 07:41:31