modmajgen

To give some context into my current state of knowledge, I'm currently enrolled in a calculus course. My experience with formal logic is somewhat limited, but I have played around with both propositional and predicate…