真=1,偽=0
条件命題 p=>q が真(=1)のときで、
(A) p=0, q=1
(B) p=0, q=0
(C) p=1, q=1では論証は健全である。
(D) p=1, q=0
の場合は証明問題のときにA B C Dはどのようによばれて、
どう扱われるのでしょうか。

また、集合の包含関係（（P⊆Q)はここでは(p⊆q)と小文字で。）でも、A B C Dは
どうよばれて、どう扱われるのでしょうか。
よろしくおねがいします。