原子論理式の定め方だけは述語論理と同じだけれど
命題論理の体系の一種だという理解でいいんでしょうか?