蘊涵句

真值蘊涵 (material implication)
中央研究院數學所李國偉研究員責任編輯

條件句「若…，則…」中的「…」可用符號代替，便寫成「若 $$p$$，則 $$q$$」，甚至更簡化為「$$p\rightarrow q$$」或「$$p\Rightarrow q$$」。這裡用的符號 $$p$$ 與 $$q$$ 稱為「命題符號」，而 $$\rightarrow$$ 與 $$\Rightarrow$$ 稱為「蘊涵符號」，所以條件句也可稱為蘊涵句。命題符號的特點是我們可以賦予它真假值，真值用 $$\bf T$$ 代表，假值用 $$\bf F$$ 代表。蘊涵符號的作用其實是一種連結詞，它把兩個組成份子的命題連結在一起，產生一個新的複合句。