根据逻辑基本规律中的（）律，已知”如果p，那么非q”假，则联言命题（）为真。