李白有诗云：我且为君捶碎黄鹤楼（用p表示），君亦为我倒却鹦鹉洲（用q表示）。已知p为“假”，则蕴含式p->q（）。