二階命題論理JJapedia 編集部|更新日: 2026年8月2日二階命題論理とは、命題に対する量化によって拡張された命題論理のことである。特殊なケースとして、二階ブール命題を許容する論理があり、その場合、量化子はブール真理値のみ、またはブール値真理関数のいずれかの範囲をとることができる。最も広く知られている形式体系は、非述語量化を伴う直観主義論理体系Fである。パリゴ（1997）は、この計算体系が古典論理を受け入れるように拡張できることを示した。関連項目真の量化ブール式2次演算二階述語論理型理論参考文献Parigot, Michel (1997 年 12 月). 「2 階古典的自然演繹の強力な正規化の証明」 . Journal of Symbolic Logic . 62 (4) (2014 年 3 月 12 日発行): 1461–1479 . doi : 10.2307/2275652 . ISSN 0022-4812 . JSTOR 2275652 . カテゴリー：ロジックスタブ命題論理非表示のカテゴリ:短い説明付きの記事短い説明はWikidataと一致しますすべてのスタブ記事関連するトピック関連量化関連命題論理のこと関連真理値関連真理関数の
