Help with Tutorial 25d

Logical System
12/14/20

Tutorial 25 Exercises d