modeling - 迹等价性/双相似性

Question

1. (a→P)2(a→Q) =T a →(P2Q) (2) (a→P) 2 (a→Q) ∼ a →(P2Q)

对于任意过程 PandQ，这些陈述中哪一个是正确的？在每种情况下，要么分别证明迹等价性和双相似性，要么给出具体的反例