WAEC 2020 · Paper 1 · Q40

Consider the statements:

xx: Birds fly

yy: The sky is blue.

Which of the following statements can be represented as x⇔yx \Leftrightarrow y?

Worked solution (try it first)
  1. The symbol ⇔\Leftrightarrow is the biconditional: xx implies yy and yy implies xx.
  2. In words it is "xx if and only if yy".
  3. So x⇔yx \Leftrightarrow y reads "Birds fly if and only if the sky is blue", option B.

Report a problem with this question