命题逻辑

Data from JMdict, KANJIDIC2 (EDRDG), KanjiVG, CC-CEDICT and Make Me a Hanzi. Sources and licences