気になって眠れないので、>>553以外の人でわかる人がいたら教えてください

論理式を構成する際は、命題記号や述語記号や関数記号の区別は要らずに関数記号だけで十分なそうなんですが、本当ですか？
本当だとすれば、それはなぜですか？