根据逻辑思维规律中的（）律，若已知（p→q）为假，可推知（p∧q）必真。