重言式
【词语拼音】zhòng yán shì
【词语繁体】重言式
【词语结构】ABC式词语
【词语字数】三字词语
【网络解释】
重言式（Tautology ）又称为永真式，它的汉语拼音为：[Chóng yán shì]，是逻辑学的名词。命题公式中有一类重言式。如果一个公式，对于它的任一解释下其真值都为真，就称为重言式（永真式）。数理逻辑旨在利用有限的公理推出尽可能多的重言式，除此之外，重言式在计算机词法分析领域也具有重要应用。
言重重言三言式形式语言被式语言正式语言公式语言文言句式重厚寡言一言为重沉重少言言重九鼎重庆言子币重言甘重庆方言莫言重生沉重寡言重庆模式重力式墩交互式语言嵌入式语言后组式语言函数式语言先组式语言电报式言语文言文句式沉重的诺言侯嬴重一言门式起重机桥式起重机重力式桥台体外式重组言言一式重机枪轮式起重机重叠式插花塔式起重机重力式驳岸重力式桥墩重力式货架自重式喷枪重要不等式浮式起重机形式语言理论重生之预言师身教重于言教式式九一式重战车门座式起重机移动式起重机衡重式挡土墙水冷式重机枪固定式起重机称重式气压表称重式雨量器重力式挡土墙静重式安全阀汽车式起重机多重测光模式履带式起重机虎式重型坦克二四式重机枪重锤式料位计重锤式破碎机鼠式重型坦克卅节式重机枪国际重力公式悬臂式起重机重力式继电器桅杆式起重机九二式重机枪潘言言重锤式安全阀重力式分级器轮胎式起重机实质重于形式重重言言善果至言去言言言语语不言之言直言谀言重重重生记视觉程式设计语言重重脆重重孙重重生一言为重，百金为轻合式公式种种式式式歌式舞言子的语言言言冬雪飘言婚不言爱言值言野