Here you are to show that P -> R, Q & P |- Q & R   Help   Next   Return to Menu