The formulas obtained from the first two rules are said to be atomic formulas.
由頭兩個規則得到的公式稱為原子公式。