スコーレム標準形造句

例句与造句

1. があるので、スコーレム標準形ではない。
2. 全ての一階述語論理の論理式はスコーレム標準形に変換でき、そのスコーレム化（Skolemization）に際して充足可能性は変化しない。
3. スコーレム標準形（英: Skolem normal form）とは、冠頭標準形に全称量化子しか含まれない一階述語論理の論理式の形式である。
4. 用スコーレム標準形造句挺难的，这是一个万能造句的方法