Question

‘A is sufficient for B’ is equivalent to ‘the negative of A is necessary for the

negative of B’.

Answer 1

$A \implies B \equiv (\lnot A \lor B) \\ \equiv (B\lor \lnot A)\equiv (\lnot B)\implies\lnot A$