P;Φ含于{0} q{1}∈{1,2} 由它们构成的新命题中