冠頭標準形
記号論理学
すべての量化記号が式の左端に連続して並ぶ式
あらゆる一階述語論理式はそれと論理的に同値な冠頭標準形に変換することができる
冠頭標準形にすることで、多重量化式の分析が単純になる
ね、簡単でしょう？mtane0412.icon
手順
1. 個体変項名が重ならないようにする
2. 否定記号を内側に移動する
このとき量化記号が逆転する
3. 量化記号を外側に移動する
多重の場合は内側から