完备联结词组

1. $\{\neg,\lor,\land\}$
2. $\{\neg,\to\}$
3. $\{\Delta_1,\to\}$
4. $\{\downarrow\}$
5. $\{\uparrow\}$

与非词：$\uparrow$

1. $\neg p \iff \neg (p\land p) \iff p\uparrow p$
2. $p\land q\iff \neg\neg(p\land q) \iff \neg(p\uparrow q) \iff (p\uparrow q)\uparrow (p\uparrow q)$
3. $p\lor q \iff \neg \neg(p\lor q) \iff \neg(\neg p\land \neg q)\iff (\neg p)\uparrow (\neg q) \iff (p\uparrow p)\uparrow (q\uparrow q)$

或非词：$\downarrow$

1. $\neg p\iff \neg(p\lor p)\iff p\downarrow p$
2. $\cdots$