/r/logic
Mark as read: Add to a list
Logic noob in need of help (Ex falso quodlibet, negation intro and correctly drawing info out of subproof)
Mark as read: Add to a list
Mark as read: Add to a list
Mark as read: Add to a list
Mark as read: Add to a list