>>216
命題Aを真にする場合の集合をA'などとおくと
「A=>Bが真」 <=> 「A'⊆B'」
ということを認めるならば
「Aがつねに偽」 <=> 「A'が空集合」 => 「∀B', A'⊆B'」 <=> 「∀B, A=>Bは真」
のように自然であるかのように見える