恆真句(tautology). 當一個WFF在其包含的語句字母的所有真值賦與下都為真,我們便稱它為「恆真句」。下面是一些例子:. P, (P→P). T, T. F, T. P, Q, ((P&Q)→(P∨Q)).
確定! 回上一頁