<p>
</p>
<p>There are a few exceptions – students who take a math-with-proofs course probably would find such a course redundant.</p>
<p>take the class if you really want to but is the class a requirement for your major?</p>
<br>
<br>
<p>I think that most of your math-with-proofs courses usually don’t cover proposition calculus in the level of detail that you see in a logic course and may not cover predicate calculus at all.</p>