若“p→（¬q→p）”真与“p”真，则（）