settheoryのプロフィール

三角形で、2つの辺が等しいとき、等しい2つの角がある このことがらの逆は 三角形で、2つの角が等しいとき、等しい2つの辺がある ですよね？ このことがらの逆は正しいですか　それとも正しいとはかぎらないですか？？

例えば、 　　　　　ｍ∈N　について、同値関係を「２をModとする関係」と定義すると、 　　　　　０を代表元とする同値類Cl(０)は、 　　　　　Cl(０)＝{０、２、４、、、} 　　　　　１を代表元とする同値類Cl(１)は、 　　　　　Cl(１)＝{１、３、５、、、} 　　　　　ですが、単に「同値類Xは？」と言われると、これがわからんのです。 　　　　　この場合の同値類Xは、 　　　　　X＝Cl(０)　または　X＝Cl(１) 　　　　　で合ってますか？ 　　　　　{Cl(０)、Cl(１)}　だと、これは商集合ですよね 　　　　　（それとも、これは誤解？）

例えば、 　　　　　ｍ∈N　について、同値関係を「２をModとする関係」と定義すると、 　　　　　０を代表元とする同値類Cl(０)は、 　　　　　Cl(０)＝{０、２、４、、、} 　　　　　１を代表元とする同値類Cl(１)は、 　　　　　Cl(１)＝{１、３、５、、、} 　　　　　ですが、単に「同値類Xは？」と言われると、これがわからんのです。 　　　　　この場合の同値類Xは、 　　　　　X＝Cl(０)　または　X＝Cl(１) 　　　　　で合ってますか？ 　　　　　{Cl(０)、Cl(１)}　だと、これは商集合ですよね 　　　　　（それとも、これは誤解？）

a→p∧q（aならばpかつq）の対偶が －p∨－q→－a（pでないまたはqでないならばaでない） となる理由は何故でしょうか？ －p∧－q→－a（pでないかつqでないならばaでない）ではないのでしょうか？ 何故、∧が∨になるのかがサッパリわかりません。 よろしくお願いします

（１）『すべてのＣに対して(Ａ∩Ｃ)⊃(Ｂ∩Ｃ)』と『Ａ⊃Ｂ』　 （２）『(Ａ∩Ｃ)⊃(Ｂ∩Ｃ)となるＣがある』と『Ａ⊃Ｂ』 必要十分の関係がうまくわかりません．ベン図を書いてもよくわからないのです． よろしくお願いします．