See other material I use in my logic course and my informal survey on using Carnap.io here. Display the problem set above on Carnap.io here. See more on Carnap.io here.