A compound statement of the form if p then q , also written p implies q , is called aconditional or an implication, p is…

Just as operations of addition, subtraction etc., are performed on numbers, theoperations of unions, intersection etc., are performed on sets. We are already familiar withthem.…