命題論理めいだいろんりmeidaironrinounpropositional logicpropositional calculusKanji in this word命fate理logic論argument題topicStudy it in Yanamino