21 Jun
2007
21 Jun
'07
4:13 p.m.
Is f(~p(x))=e(x) semantically equivalent to: f(z)=e(x) where p(x)=z?