重言式
重

重言式　　　zhòng yán shì

命題邏輯中常真的真值形式的簡稱。不論命題變元取什么真值，其值總是真的。它表現(xiàn)命題邏輯里的規(guī)律。如：p∨—p，(p∨q)(q∨p)均為重言式。一個公式是否為重言式，可以通過運(yùn)用真值表等方法予以判定。有的邏輯學(xué)家把重言式概念也推廣到謂詞邏輯中去。