Question: How to write notation for logical induction programming in Maple like F# or Haskell having tuples?

How to write notation for logical induction programming in Maple like F# or Haskell having tuples?

such as 

Conj(A,Disj(B,C)) ...

Please Wait...