1.同一律、不矛盾律和排中律是传统形式逻辑中的基本规律，在正统数理逻辑中体现为重言式。
2.应用于重言式和矛盾式。
3.他的文章中经常出现重言，读来朗朗上口。
4.人们通常认为，闭合论是重言式。
5.庄子“寓言十九重言十七”的思想，对于“0方案”的思想政治理论课教学具有重要启示。
6.首先以蕴涵算子为基础从有限扰动模糊命题逻辑出发，讨论其逻辑代数及广义重言式的性质。
7.重言式在会话中非常普遍而且具有鲜明的特色和交际价值。
8.论文对泛逻辑的广义重言式理论进行研究，给出了泛逻辑的中极形式系统中的广义重言式的一系列性质。
9.赤木闻言疑惑问道杨再兴说了什么，松木将杨再兴的原话添加了一些色彩，赤木一听心中也忍不住大怒，立下重言一定要让杨再兴知道祸从口出患从口入的道理。
10.在此基础上给出局部赋值的广义拟重言式定义，并在其中建立了升级算法。
11.命题显示它们所说的东西，重言式和矛盾式则显示它们什么也役有说。
12.后上场的张皓冬与裴炳森接连写错“开斛”“币重言甘”，也站上待定位置。
13.重言式理论是各多值逻辑系统的一个重要组成部分。
14.本文首次对泛逻辑的广义重言式理论进行研究。
15.在第一种情况下，我们称这命题为重言式，在第二种情况下，称这命题为矛盾式。
16.某些命题对于变元后的任何一种真值状况，它均为真，这样的命题称为重言式。
17.虽然没有经过任何事先彩排和通知，但当柳重言唱起《红豆》的副歌时，台下所有观众竟然不由自主地跟着一起唱起来，全场大合唱的场面令人动容。
18.每个重言式本身表明它是一个重言式。[www.87653.com重言造句]
19.对泛逻辑的广义重言式理论进行了研究，给出了基于零级泛与运算的广义重言式的一系列性质。
20.借鉴历史，更重言情，心中所想，下笔成文，愿与大家分享其中乐趣。
21.最后本文在完成等价式、重言式、矛盾式等问题时，为防止频仍地输入和输入对主函数地局部停止啦改良。
22.在此基础上给出一机器能行算法，把排中律等值置换成任一重言式，证明任一命题逻辑内定理。
23.人无少长，莫不有疾，但轻重言之耳。而受气各有多少，多者其尽迟，少者其竭速。葛洪
24.重言，重行，重貌，重好。言重则有法，行重则有德，貌重则有威，好重则有欢。
25.原来这联不仅将重言叠字，回环顶真，拆字象形据为一体，而且意境高雅，环环相扣，加之前两字为地名，后一风字繁体乃是凡鸟二字象形，所以难度极大。
26.山西队第一个上场的，书写的是“开斛”，但遗憾写成了“开糊”，第二人出场写的是“币重言甘”，上场的队员也遗憾写成了“璧重言甘”。
27.为了出国，他父亲币重言甘到处求人。
28.可以说，叶圣陶重言教，更重身教，他以身示范的艺术追求和人格修养，对孩子产生着潜移默化的影响，这正是“润物细无声”。
29.常修身，守望相助邻里亲；摒陋习，举止文明风气新；重言行，一点一滴总关情；看你我，携手美德永不停。文明风拂文明人，和谐花开和谐城。
30.“证明这个定理”就是要证明这个蕴涵式是一个重言式。
31.如果能证明该蕴涵式为重言式，那么其数学命题的证明推理形式就是正确的。
32.重言式和矛盾式不是实在的图像。
33.重言教、重身教、严以律己，学知识、学品德、宽以待人。
