首页|国学书库|影印古籍|诗词宝典|精选|汉语字典|汉语词典|部件查字|书法大师|甲骨文|历史人物|历史典故|年号|姓氏|民族|丛书|中医|软件下载
译文|四库全书|全文检索|古籍书目|正史|成语词典|康熙字典|说文解字|字形演变|金 文|历史地名|历史事件|官职|知识|对联|印谱|地图|会员中心
命题逻辑中常真的真值形式的简称。不论命题变元取什么真值,其值总是真的。它表现命题逻辑里的规律。如:p∨—p,(p∨q)(q∨p)均为重言式。一个公式是否为重言式,可以通过运用真值表等方法予以判定。有的逻辑学家把重言式概念也推广到谓词逻辑中去。