互补子

不含有任何连接词的谓词公式叫原子公式，简称原子。如果A是一个原子公式，那么，A和¬A互为对方的互补子，二者的关系称为互补，互补关系以“□”表示。如果A是一个原子公式，那么，A和互为对方的互补子，二者的关系称为互补，互补关系以“”表示。