如果一个相容选言命题“p或者q”是假的，则这个选言命题的选言支p一定是真的。