重言式理论是各多值逻辑系统的一个重要组成部分。

山西队第一个上场的，书写的是“开斛”，但遗憾写成了“开糊”，第二人出场写的是“币重言甘”，上场的队员也遗憾写成了“璧重言甘”。

重言，重行，重貌，重好。言重则有法，行重则有德，貌重则有威，好重则有欢。

原来这联不仅将重言叠字，回环顶真，拆字象形据为一体，而且意境高雅，环环相扣，加之前两字为地名，后一风字繁体乃是凡鸟二字象形，所以难度极大。

对泛逻辑的广义重言式理论进行了研究，给出了基于零级泛与运算的广义重言式的一系列性质。

重言教、重身教、严以律己，学知识、学品德、宽以待人。

虽然没有经过任何事先彩排和通知，但当柳重言唱起《红豆》的副歌时，台下所有观众竟然不由自主地跟着一起唱起来，全场大合唱的场面令人动容。

在此基础上给出局部赋值的广义拟重言式定义，并在其中建立了升级算法。

赤木闻言疑惑问道杨再兴说了什么，松木将杨再兴的原话添加了一些色彩，赤木一听心中也忍不住大怒，立下重言一定要让杨再兴知道祸从口出患从口入的道理。

在此基础上给出一机器能行算法，把排中律等值置换成任一重言式，证明任一命题逻辑内定理。