Top matchめいだいろんり命題論理meidaironriNounpropositional logic; propositional calculusLogicsee 述語論理 Listen Pitch on OJAD Explore