[ P，ξ，N（ξ）]
第一个 P
代表的是，任意一组基本命题的全体
第二个 ξ
代表的是，任意一组真值函项的全体
第三个 N（ξ）
代表的是，该真值函项的形式序列中紧接着 ξ 的那一项
P 和 ξ 代表的是任意一组基本命题和真值函项的全部