述語計算ＮＫとＨｑは同値な体系ですか？
松本和夫さんの本では
命題計算Ｈｐと命題計算ＮＫは同値な体系としか書いてないのですが。