Top matchじゅつごろんり述語論理jutsugoronriNounpredicate logic; predicate calculusLogicsee 命題論理 Listen Pitch on OJAD Explore