除了所详述过的五个联结词外, 还可定义更多的联结词。像计算机的硬件电路设计分析就常使用
异或(半加)
: P
Q = (
P∧Q)∨(P∧
Q)
与非 ↑: P↑Q =
(P∧Q)
或非 ↓: P↓Q =
(P∨Q)
等联结词。
问题是对n 个命题变项P
1
…P
n
来说, 共可定义出多少个联结词? 还可以问, 在那么多联结词中有多少是独立的?
:
PQ
= (
P∧Q)∨(P∧Q)(P∧Q)(P∨Q)