「P ⇒ Q」という命題ではPとQは条件だよね
「Pが成立するような要素は必ずQを成立させる」
ということを「P ⇒ Q」と表すわけだから
PやQは要素によって真偽が変わる「条件」
全称記号を使って書くと∀x (P ⇒ Q)
そして全体集合Uの要素のうち
Pを成立させる要素の全部を集合A
Qを成立させる要素の全部を集合Bとしたら
命題「P ⇒ Q」が真であることは命題「A⊂B」が真であること
こんな流れじゃネ？