话题
搜索

同义反复

重言式是一种逻辑陈述，其中结论等同于前提。更通俗地说，命题演算中的公式总是正确的（Simpson 1992，p.2015；D'Angelo and West 2000，p.33；Bronshtein and Semendyayev 2004，p.288）。

如果第页是一个重言式，它是书面的|=p.A型句子谁的真理桌子只包含“T”称为重言式。以下内容句子是重言式的例子：

A^B=！（！A对！B）
（1）
A v B=！A=>B
(2)
A^B=！（A=>！B）
(3)

（Mendelson 1997，第26页），其中 ^ 表示和,=表示“是相等的至，“!表示不是, v（v） 表示或、和=>表示暗示.

另请参见

意外事故,矛盾,定理,真的

与Wolfram一起探索| Alpha

工具书类

Bronshtein，I.N。；Semendyayev，K.A。；穆索尔，G。；和Muehlig，H。手册数学，第四版。纽约：施普林格，2004年。卡纳普，R。介绍符号逻辑及其应用。纽约：多佛，第13页，1958年。安吉洛，J.P.公司。和West，D.B。数学思考：问题解决与证明，第二版。新泽西州上鞍河：普伦蒂斯·霍尔，2000Mendelson，E.《重言式》第1.2节介绍数学逻辑，第4版。伦敦：查普曼和霍尔出版社，第17-24页，1997J.A.辛普森。和Weiner，E.S。C、。（编制人）。这个简明牛津英语词典，第二版。英国牛津：克拉伦登出版社，1992

参考Wolfram | Alpha

同义反复

引用如下：

埃里克·魏斯坦（Eric W.Weisstein）。“同义反复。”摘自数学世界--Wolfram Web资源。https://mathworld.wolfram.com/Tautology.html

主题分类