Answer to Question #294204 in Discrete Mathematics for sunshine02

Question

You cannot edit a protected Wikipedia entry unless you are an administrator. Express your answer in terms of e:“You can edit a protected Wikipedia entry” and a: “You are an administrator.”

Answer 1

It is well known that "if $\neg p,$ then $q$" is logically equivalent to "$q$ unless $p$". In our case, the statement "You cannot edit a protected Wikipedia entry unless you are an administrator" is translated into propositional logic as $\neg a\to \neg e$ or using contaposition law as $e\to a.$