 So (3) is a logical truth. That is, there is no possible situation in which its antecedent \((A \supset B)\) is true and its consequent (if \(A, B)\) is false. That is, \((A \supset B)\) entails “If \(A, B\)”.