Bが真のとき常にA⇒Bは真になるんだから、
Bがどんなpについても真になるならA⇒Bとしても矛盾はないだろ?

1はソフトウェアやってたんだろ?論理式も理解できないのかい?