述語論理じゅつごろんりjutsugoronrinounpredicate logicpredicate calculusKanji in this word理logic語word論argument述mentionStudy it in Yanamino