互补子

百科含义

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