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