1.意味論的同値が同値関係であることを証明せよ 反射的であるのは定義から自明 対称的であるのは定義から自明 推移的であるのは定義から自明 よって意味論的同値は同値関係である。 2.AとBが意味論的同値であってもα等価でない例を挙げよ。 解答例）AとA∨A（…