图2.4.1 　　写出真值函项： 　　　f0(P) = F 　　　f1(P) = P 　　　f2(P) = ?P 　　　f3(P) = T 　　其中f0(P)是永假式, f3(P)是永真式, 均与P无关, 而f1(P)就是变项P本身, 从而新的公式只有f2(P), 这就是由否定词所建立的真值函项。 　　二元联结词联结两个命题变项，两个变项PQ共有四种取值情形, 于是联结词作用于PQ可建立起16种不同的真值函项, 相应的可定义出16个不同的二元联结词g0, g1, …, g15 。图2.4.2给出了这些联结词gI或说真值函项gi(P, Q)的定义。 图2.4.2