Test 3


      Let
    1. (1):p,
    2. (2): if p then q.
        Set
      • a
      • b
      • c
    3. (1,2,MP)|-(3): q