相容型选言命题