 Arrow: no, not necessarily. For “\(A \rightarrow B\)” may be false when \(A \amp{\sim}B\) is false. With just the information that \(A \amp{\sim}B\) is false, I should not be certain that if \(A, B\).