5、 设二元关系R（A,B）,关系代数表达式是：π1,2（σ1=4 AND 2=3 （R×R）） 写出与此表达式等价元组

5、 设二元关系R（A,B）,关系代数表达式是：π1,2（σ1=4 AND 2=3 （R×R）） 写出与此表达式等价元组

{t2|($u)($v)(R(u)∧R(v)∧t[1]=u[1]∧t[2]=u[2]∧u(1)= v[2]∧u[2]=v[1])}
说明：$是存在量词符号,这里敲不出反E的那个符号,word里粘贴过来也显示不了,只好用这个美元符号替换.
另外t2,后面的2是上标,也显示不了.