楼上是不是没上过高中啊

p的充要条件是q

充分性，q→p

必要性，p→q