クリプキモデルならば、全ての命題は可能世界を変数に取る述語として考えることが可能ですから、関係ない命題は存在しません

AならばB

↑Aが真となる任意の可能世界において、Bもまた真となる、という意味ですよ、クリプキモデルで解釈するならば