Answer: D) if x = 5, then 2x = 10
======================================================
Explanation:
Writing [tex]P \to Q[/tex] is another way of saying "if P, then Q".
P and Q are placeholders. Instead of holding numbers, they hold statements. The statements can be anything you want (generally they should be something that can be verified).
The two statements are
P: x = 5
Q: 2x = 10
So the format "if P, then Q" turns into "if x = 5, then 2x = 10" after replacing P and Q with the proper definitions.
Side note: it might help to think of the "search and replace" feature in many word documents.
