25 Feb
2017
25 Feb
'17
9:29 a.m.
Oops, I am very sorry, I mistyped the Walnut command. It should be eval lunnon "An ((T[n]>T[n+1]) => (S[n]=@2)) & ((T[n]=T[n+1]) => (S[n]=@1)) & ((T[n]<T[n+1]) => (S[n]=@0))": and not as I wrote previously.
eval lunnon "An ((T[n]>T[n+1])=> S[n]=@2)&((T[n]=T[n+1)=>S[n]=@1)&((T[n]<T[n+1])=> S[n]=@0)":