Logic noob in need of help (Ex falso quodlibet, negation intro and correctly drawing info out of subproof)

by /u/gremarrnazy in /r/logic

Upvotes: 1

Favorite this post:

Mark as read:

Your rating:

Add this post to a custom list