This is a sample solution. You can type the text and then input formulae by using this button $ \forall $
Back to Assignment
