述词逻辑

述词逻辑

拼音： shù cí luó ji
日本語訳 述語論理