記号論理の問題がわかりません

質問

論理式∀ｘ∃ｙ（（ｘ⊂ｙ）⊃（ｘ＋１⊃ｙ＋１））の真か偽かをを求めよという問題で求め方がまったくわかりません。

∀ｘ∃ｙの部分の意味はすべてのｘに対してあるｙが少なくとも１つ存在している。でいいのでしょうか？

それに（（ｘ⊂ｙ）⊃（ｘ＋１⊃ｙ＋１））でまったくわかりません。
もしご存知の方が居れば教えていただければ幸いです。
宜しくお願いいたします。

回答No.1

a-saitoh

⊂や⊃は集合の包含関係を表す記号ですが、もしかして「ならば」演算子のつもりで書いておられますか？
それとも一部は不等号のtypo?