Machine-translated by Google. Questions are authored in English.
Top

Discussion

The correct prefix formula is

  • A.→˥,P v Q ↔˥R ˥S
  • B.→P˥Qv ↔ ˥R
  • C.→→PQ→→QR→PR
  • D.→˥PV ↔ QSP

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.

No comment is present. Be the first to comment.
Loading…

Post your comment

Please log in or register to post a comment.