>>294
恒真って、トートロジーだってことですよ？
それが恒真かなんてモデルによりますよね
わかりもしない用語を振り回すのやめたらどうですか？

で、なんでりんごだと{x,x}={x}なんですか？
りんごは2個ありますよ？