# Mathematical Logic by Cori and Lascar : Possible typo?

• Jun 2nd 2011, 07:15 AM
omoplata
Mathematical Logic by Cori and Lascar : Possible typo?
I have a question on the textbook "Mathematical Logic: Propositional calculus, Boolean Algebras, predicate calculus" by Rene Cori and Daniel Lascar.

On Lemma 1.6 on this page there is a part that says,
"...if $\displaystyle \mathcal{Y}(W)$ and $\displaystyle \mathcal{Y}(V)$ are true, then $\displaystyle \mathcal{Y}(\neg F)$, $\displaystyle \mathcal{Y}(F \wedge G)$, $\displaystyle \mathcal{Y}(F \vee G)$, $\displaystyle \mathcal{Y}(F \Rightarrow G)$, $\displaystyle \mathcal{Y}(F \Leftrightarrow G)$ are also true.".

I think there is a typo there and it should be,
"...if $\displaystyle \mathcal{Y}(W)$ and $\displaystyle \mathcal{Y}(V)$ are true, then $\displaystyle \mathcal{Y}(\neg W)$, $\displaystyle \mathcal{Y}((W \wedge V))$, $\displaystyle \mathcal{Y}((W \vee V))$, $\displaystyle \mathcal{Y}((W \Rightarrow V))$, $\displaystyle \mathcal{Y}((W \Leftrightarrow V))$ are also true.",
WITH THE ADDITION OF THE EXTRA PARENTHESES.

I tried to attach a picture from the next page of the rest of the proof, because that might help, and the google books omits that page. But it doesn't upload. I don't know why. Size is 33kB.

Is this a typo is there something I don't understand?
• Jun 2nd 2011, 07:55 AM
MoeBlee
Delete post.
• Jun 2nd 2011, 08:15 AM
omoplata
I uploaded the rest of the proof to photobucket. It's here.
• Jun 2nd 2011, 08:27 AM
emakarov
Quote:

Is this a typo is there something I don't understand?
I think you are right on both counts: it should use W and V and add parentheses.
• Jun 2nd 2011, 11:06 AM
omoplata
Thanks. I could not overlook the possibility that I might be wrong.
• Jun 2nd 2011, 11:49 AM
MoeBlee
The book stipulates the convention that outer parentheses on formulas may be dropped to stand for the actual formula with outer parenetheses.
• Jun 2nd 2011, 04:57 PM
omoplata
Quote:

Originally Posted by MoeBlee
The book stipulates the convention that outer parentheses on formulas may be dropped to stand for the actual formula with outer parenetheses.

That's in page 10, right. Thanks. I forgot that.