也叫”永真式”。常真的真值形式。这类真值形式的特点是：不论包含在其中的变项取什么值，该真值形式的值总是真的，一个真值形式是否为重言式，可用真值表方法来判定。如：⑴p→p。⑵(pp)。⑶pvp。⑷p←→p。可用真值表判定它们都是重言式。
重言式都是逻辑规律。如上述重言式⑴、⑵、⑷分别是同一律、矛盾律和排中律在命题逻辑中的表现。重言的蕴涵式和等值式相当于复合命题的有效推理形式。如(p(p→q))→q，(p→q)←→(q→q)等。有些逻辑学家把重言式概念还推广到谓词逻辑中去。
析取范式(语言)：支命题是简单合取的析取式。(1)(pq)v(pq)，⑵(pqp)v(qq)。所谓简单合取，是指支命题或是一命题变项或是一命题变项的否定的合取式。如“pq”、“pqp”等。析取范式的作用在于显示矛盾式。一析取范式是否为..
并集(语言)：集合的基本运算之一。设给定集合A和B，如有集合C，C=｛X：X∈A或者X∈B｝，则称C为A与B的并集，记为C=AUB。显然C元素是由A的元素和B的元素汇合而成的，它们或属于A，或属于B。如A=｛a，b｝，B=｛b，c｝，则C=AUB｛a，b，c｝。并集可图示如下： 图中画..
等值式(语言)：也叫“等价式”。用等值真值联结词“←→”联结两个命题而成的真值形式。等值式一般记为p←→q，读作“p等值q”。等值式的逻辑性质取决于“等值”这一真值联结词。一个等值式为真，当且仅当，它的两个支命题具..
合取范式(语言)：支命题是简单析取的合取式。如⑴(pvq)(pvq)，⑵(pvqvp)(qvq)。简单析取指支命题是一命题变项或是一命题变项的否定的析取式。如“pvq”、“pvqvp”等等。合取范式的作用在于显示重言式。合取范式是重言式..
交集(语言)：集合的基本运算之一。设给定两个集合A和B，如有集合C，C=｛x：X∈A并且X∈B｝，则称C为A与B的交集，记为C=A∩B。显然C的元素既属于集合A，又属于集合B。如A=｛a，b｝，B=｛b，C｝，则C=A∩B=｛b｝。交集可图示如下： 图中画斜线部分为A与B的交集..