1. Test the validity of the following argument using truth table and formal proof
If there was a ball game, then travelling was difficult. If they arrived on time. then the travelling was not difficult. They arrived on time. Therefore, there was no ball game.