命題論理めいだいろんり 1propositional logic ; propositional calculus Translated by Jiyomi noun (common) (futsuumeishi) Kanji · tap to open fate topic argument logic JMdict entry 2214090. Source and licence.