也叫”永真式”。常真的真值形式。这类真值形式的特点是：不论包含在其中的变项取什么值，该真值形式的值总是真的，一个真值形式是否为重言式，可用真值表方法来判定。如：⑴p→p。⑵(pp)。⑶pvp。⑷p←→p。可用真值表判定它们都是重言式。
重言式都是逻辑规律。如上述重言式⑴、⑵、⑷分别是同一律、矛盾律和排中律在命题逻辑中的表现。重言的蕴涵式和等值式相当于复合命题的有效推理形式。如(p(p→q))→q，(p→q)←→(q→q)等。有些逻辑学家把重言式概念还推广到谓词逻辑中去。
重言(语言)：也叫“重语”、“重文”。两个相同的汉字叠用。分为两类：(1)叠词。两个形音义完全相同的单音词重叠，其意义基本上是单音词意义的叠加，但增添了新的附加意义。如“渐渐”、“岁岁”等。(2)叠字。两个形音完全相..
重言式(语言)：也叫”永真式”。常真的真值形式。这类真值形式的特点是：不论包含在其中的变项取什么值，该真值形式的值总是真的，一个真值形式是否为重言式，可用真值表方法来判定。如：⑴p→p。⑵(pp)。⑶pvp。⑷p←→p。可用..
析取范式(语言)：支命题是简单合取的析取式。(1)(pq)v(pq)，⑵(pqp)v(qq)。所谓简单合取，是指支命题或是一命题变项或是一命题变项的否定的合取式。如“pq”、“pqp”等。析取范式的作用在于显示矛盾式。一析取范式是否为..
等值式(语言)：也叫“等价式”。用等值真值联结词“←→”联结两个命题而成的真值形式。等值式一般记为p←→q，读作“p等值q”。等值式的逻辑性质取决于“等值”这一真值联结词。一个等值式为真，当且仅当，它的两个支命题具..
真值(语言)：也叫“真假值”、“逻辑值”。在二值逻辑中，指命题变元所取的真或假两个值。真假是命题最重要的一种特征。形式逻辑并不研究每一一具体命题事实上是真的还是假的，而是主要研究制约一个命题真假的逻辑条件。一..