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