形式論理けいしきろんりkeishikironrinounformal logicKanji in this word式style形shape理logic論argumentStudy it in Yanamino