如果命题p:A包含于B q:A真包含于B