沈涵（生卒年未详），字度汪，号心斋，晚年更号彖余居士，归安（今湖州）人。清康熙十五年（1676）进士，授编修，充任会试同考官。曾任东宫讲官、右庶子等职。后历官少詹事，升任内阁学士，兼礼部侍郎、会试副总裁。五十三年，任湖广乡试正主考。不久，免职归居一年，奉命修密云城，竣工后放还。沈涵在任以公正廉明著称，康熙四十一年（1702）任福建学政，取士不杂私心，闽中人士以为数百年所未有。康熙中，皇帝命廷臣推荐能胜任郡守者，沈涵荐知江宁而以罪讼系身未释的陈鹏年，获准为苏州郡守。陈鹏年致书问候，以门下士自称，沈涵退还书信，说：“涵荐鹏年，岂因私耶？”沈涵著有《赐砚斋诗存》及《左传注疏纂钞》、《读史随笔》等。

语义蕴涵A⊨⊨-->B{\displaystyleA\modelsB}陈述句子集合A语义上蕴涵句子集合B。形式定义：集合A蕴涵集合B，当且仅当在其中A中所有句子都为真的所有模型中，在B中的所有句子也是真的。在图表形式中，它看起来像：我们需要蕴涵的定义要求A的所有的模型也是B的模型，因为像知识库这样的形式系统在被问到事实的集合（A）是否蕴涵命题（B）的时候，不可能知道在用户头脑中对此的解释。在语用学（语言学）中，蕴涵有不同的但密切相关的意思。如果对于公式X有∅∅-->⊨⊨-->X{\displaystyle\varnothing\modelsX}则X被称为"有效的"或是"重言式"。逻辑蕴涵A⊢⊢-->B{\displaystyleA\vdashB}陈述句子集合A逻辑蕴涵句子集合B。它可以读作"B可以证明自A"...

历史1904年，张元济主理商务印书馆的编务，在编辑工作中，苦于无善本可迹询，遂创设涵芬楼，取“涵善本书香、知识芬芳”之意。1909年定名涵芳楼，1910年底改称涵芬楼。1924年涵芬楼藏书移入东方图书馆，善本室仍称涵芬楼。1932年爆发一二八事变，商务印书馆总厂及东方图书馆毁于日军炮火。涵芬楼藏书除5000余册善本移藏在银行保险库中，其余化为灰烬。事变后编有《涵芬楼烬余书录》。参考文献参见商务印书馆

参考文献

清朝历史学家。浙江余姚人。字与桐、二云，号南江。高宗乾隆时进士。后充四库馆纂修官，史部之书多由其最后校定，提要亦多出其手。授翰林院编修，仍纂校《四库全书》兼辑《续三通》。晚年擢翰林院侍讲学士，兼文渊阁直阁事历充《万寿盛典》、《八旗通志》、国史馆《三通》》馆纂修官，并任国史馆提阁，兼掌进拟文字，前后任职史馆十余年，名卿列传，多出其手，曾辑佚《旧五代史》。所作《尔雅正义》、《义例谨严》、《尔雅正义序》与汉魏音序诸篇，于训诂声音衍变，叙述明晰。所撰《四库全书史部提要》亦多创见。曾立志修改《宋史》，志未遂，仅作《南都京略》。毕沅编《续资治通鉴》，他不仅参与商订义例，校订事实，且作通本复审修订工作。尚著有《旧五代史考异》、《史记辑评》、《南江诗文钞》、《孟子述义》、《燕乐考原》、《校礼堂文集》等共八部。