Logic is a game of symbols and relationships. The iPad is the best tool I've ever seen for working with symbols and relationships.
Being a practicing mathematician means generating and publishing results. I am interested to see your iPad app for diagonalization results or computability proofs.
Have you ever seen a whiteboard? I do anything remotely logic based on one.
My whiteboard even has a fantastic multi-user interaction system!