Translate the mathematical statement into symbolic form.
Any angle inscribed in a semicircle (i) is a right angle (r).
r ↔ i
i ∨ r
i → r
i ∧ r
~r