質問です。
学校で出された問題なんですが
『�T〜�Vの条件が成り立つとき�@〜�Dがの命題のうち,確実に導かれるものをすべて答えよ。
�T:Aでないならば,CでないかまたはDでない。
�U:Bならば,Cである。
�V:Dでないならば,Cでない。

�@Aでないならば,Bでない。
�ADならば,Aである。
�BCならば,Aである。
�CBかつCかつDならばAである。
�DBまたはCまたはDならばAである。 』

この問題ってA〜Dが集合か,命題かによって答えが変わりません?
例えば集合なら,�Uと�Vの対偶よりきB⊂C⊂D,�Vの対偶よりC∩D=D,�Tの対偶よりD⊂A
よってB⊂C⊂D⊂A
すると�@〜�D全て真ですよね?
命題で考えるとまたかわってきます。
問題文で特に指定はありません。
私の考えは間違ってますか?