二階命題論理

2階の場合は量化される命題変数が論理式の全体を動くので、例えば∀pが付いた論理式は多相型に相当する感じだと思います

メモ

どういうことなんだろう？と思って考えてある程度納得したのに何を納得したのか全然忘れた