6
$\begingroup$

In Mendelson's book ("Introduction to mathematical logic") he defines truth values for sentences in the propositional calculus using truth tables. However, it seems to me he assumes implicitly that every well-formed sentence (what he calls "statement form") has a unique parsing; i.e. it is impossible for the same statement form to arise in two different ways.

This is of course correct, but it requires a proof. The omission of such proof (or even mentioning it is needed) is somewhat surprising for me as Mendelson's book is otherwise very explicit about everything. Am I missing something?

  • 0
    @J.D.: Yes, you prove that every WFF has a unique parse tree, or generating sequence, or whatever; the important thing is it will have a unique "something you define the truth value by".2012-03-14

1 Answers 1

10

No, you're not missing anything. Mendelson does define a "statement form" to be a kind of expression, and does not go out of his way to prove unique readability or to prove that if you had unique readability then this would lead to his claim that each statement form determines a unique function of its variables.

But, to be charitable, the entire section is somewhat conversational, and it's right at the beginning, so the author might view these things as particularly simple and not want to spend time proving them if he thinks that would delay getting into more interesting material. It is not uncommon in textbooks for authors to make various claims that have to be verified by the reader, without dwelling on how the claims would be proved.

  • 1
    Thank you. As I've said, my surprise comes from Mandelson not even mentioning the need for such a proof; he really hides some very nontrivial work that the beginning student won't even know he needs to do.2012-03-14