Question

whats this?

Answer 1

why did they put the logs down there and what exactly is the question demanding?

Answer 2

The problem is asking you to prove that if given the first part, you can somehow make it into the second part.
It looks like a math question from a class with proofs (college level).

p implies q
if p then q

Answer 3

\[-q \rightarrow -p \]

Answer 4

this is not iff
if and only if goes both ways