logic with carnap.io sample 2

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.