How would I go about getting true or false returned on these propositions?
I have tried just about every eval and various syntax methods, but nothing has worked so far.
I know most can easilly be done by hand/thinking, but I'm sure Maple should have a way to do this as well.
∀n∈Z:2n>n+2 , ∃n∈Z:2|(3n+1) , ∃k∈Z:∀n∈Z:n=kn , ∃k∈Z:∀n∈Z:2|(n+k) , ∀n∈Z:∀k∈Z:(n>k∨k≥n)