首页|国学书库|影印古籍|诗词宝典|精选|汉语字典|汉语词典|部件查字|书法大师|甲骨文|历史人物|历史典故|年号|姓氏|民族|丛书|中医|软件下载
译文|四库全书|全文检索|古籍书目|正史|成语词典|康熙字典|说文解字|字形演变|金 文|历史地名|历史事件|官职|知识|对联|印谱|地图|会员中心
推理中前提与结论之间的联系方式。是用变项符号去代替具体推理中有各种具体内容的词项或判断的结果。如“如果p,那么q;p;所以q”就是充分条件假言推理的一种推理形式。不同的推理形式有不同的逻辑规则。一个遵守逻辑规则的推理形式,是正确的即有效的推理形式;反之,则是一个不正确的即无效的推理形式。