ｐならばｑ

 現代の高校生がわからなくなった数学の基本問題　「p⇒(ならば)q」の否定文から考える数学教育（東洋経済オンライン） - Yahoo!ニュース

これを読むと、却って分からなくなる人も多いのではないでしょうか？

何度も書いていますが、A→B=~A｜B　と覚えてしまうことです。

A｜B  |C

----------

０| x  | 1

1 |  0 | 0

1 | 1  | 1

~(A→B)=~(~A |B)=A&~B

従って、「天気がよい」⇒「遠足に行く」の否定は、天気がよい、かつ、遠足に行かないこと、になります。

パターンABで考えるとA→Bまたは、A←Bですから

(~A|B) | (A|~B)なので、

=～（(A&~B) &(~A&B)）

つまり、定型パターンとなります。

もっとよい説明は次です。P→Qは、集合の包含関係を表しています。

必要条件と十分条件の意味・3つの覚え方・例題 | 高校数学の美しい物語 (manabitimes.jp)

高校数学の美しい物語は、いつもお世話になっています。