“人体每个带细胞核的细胞都具有原癌基因和抑癌基因”这一命题的逻辑形式，可用符号公式表示为（）