>>884
たとえば (a∧b)∧c=a∧(b∧c) なら、
inf(inf(a,b),c)=inf(a,inf(b,c))を証明することになるわけだが、
左辺≧右辺 と 左辺≦右辺 を別個に示すといい。