逻履道

熊赐履假道学, 康初年，鳌拜跋扈，排挤同僚，蔑视幼主。康面对鳌拜的恣意妄为，决心肃清吏治，整顿

概论逻辑（英语：logic）的字根源起于希腊语逻各斯（希腊语：λόγος），最初的意思有词语、思想、概念、论点、推理之意。后译为（法语：logique），最后发展为英文中的逻辑（英语：logic）。1902年严复译《穆勒名学》时，将其意译为“名学”，但这不合名家或者名教之名学中“名”的本意。和制汉语采用汉字“论理”，意译为“论理学”。孙文于其文《治国方略·以作文为证》意译为“理则”，当代中文一般采取音译方式，将其译为逻辑。逻辑本身是指是推论和证明的思想过程，而逻辑学是研究“有效推论和证明的原则与标准”的一门学科。作为一个形式科学，逻辑透过对推论的形式系统与自然语言中的论证等来研究并分类命题与论证的结构。逻辑的范围是非常广阔的，从对谬论与悖论的研究之类的核心议题，到利用概率来推论及包含因果论的论证等专业的推理分析。逻辑在今日亦常被使用在论辩理论之中。传统上，逻辑被作为哲学的一个分支来研究，和...

符号化应该（obligate）p：Op允许（permit）p：Pp禁止（forbid）p：Fp应该...不...（obligate...not...）非p：O¬p允许...不...（permi

? 蜀汉兴元元年、曹魏景元四年（公元263年），就在邓艾进攻沓中，诸葛绪试图在路上阻截姜维的同时，魏国的主力军队在镇西将军钟会的领导下，兵分五路向汉中进军。 这次的进军几乎利用了所有的通往汉中的通道，数路兵马分别从陈仓道、褒斜道、傥骆道、子午道进军。同时，还动用了从南阳经过安康的汉江通道直上汉中。 与邓艾不赞成攻打蜀国不同，钟会却是进攻蜀国的最主要支持

? 荆州的丢失，宣告诸葛亮“隆中对”战略已经失败，但诸葛亮却继续进行了一系列的新尝试。 在历史上，四川是一个奇特的地方，它物资富裕，地理封闭，是争霸天下优秀的后勤基地。但历史又告诉我们，任何人如果只想凭借四川的天险守成，不想扩张，就必然会越来越弱小，最终被吞并。 诸葛亮显然也知道四川的危险，丢掉了荆州，如果不思进取，一味防守，最终连四川也是守不住的。一