The correct prefix formula is
Answer: C
Correct answer: →→PQ→→QR→PR
In prefix notation the connective precedes its operands, so the string is read outward from the leading symbol. This one parses as an implication whose antecedent is \( P \to Q \) and whose consequent is \( (Q \to R) \to (P \to R) \) - a well-formed formula, and in fact a valid one. The others leave connectives without the operands they require.
Please log in or register to report this question.