Back to Semantic concepts

Exercise L

Avg difficulty 3.0

Consider the following principle:

Suppose A\mathcal{A} and B\mathcal{B} are logically equivalent. Suppose an argument contains A\mathcal{A} (either as a premise, or as the conclusion). The validity of the argument would be unaffected, if we replaced A\mathcal{A} with B\mathcal{B}.

Is this principle correct? Explain your answer.

Magnus et al., forall x: Calgary, Truth tables, Semantic concepts, Exercise L

AI Tutor

Adapted from forall x: Calgary © 2025 P. D. Magnus, Tim Button, Robert Trueman, and Richard Zach. Licensed under CC BY 4.0. Source: forall x: Calgary. Imported at revision ec34df8.