- #1
omoplata
- 327
- 2
I have a question on the textbook "Mathematical Logic: Propositional calculus, Boolean Algebras, predicate calculus" by Rene Cori and Daniel Lascar.
This is not about an exercise but about the conceptual content of the book. So I did not post this in the "Coursework and Homework questions" forum. I hope I'm not breaking the rules.
On Lemma 1.6 on http://books.google.com/books?id=JB...tical logic cori&pg=PA12#v=onepage&q&f=false" there is a part that says,
"...if [itex]\mathcal{Y}(W)[/itex] and [itex]\mathcal{Y}(V)[/itex] are true, then [itex]\mathcal{Y}(\neg F)[/itex], [itex]\mathcal{Y}(F \wedge G)[/itex], [itex]\mathcal{Y}(F \vee G)[/itex], [itex]\mathcal{Y}(F \Rightarrow G)[/itex], [itex]\mathcal{Y}(F \Leftrightarrow G)[/itex] are also true.".
I think there is a typo there and it should be,
"...if [itex]\mathcal{Y}(W)[/itex] and [itex]\mathcal{Y}(V)[/itex] are true, then [itex]\mathcal{Y}(\neg W)[/itex], [itex]\mathcal{Y}((W \wedge V))[/itex], [itex]\mathcal{Y}((W \vee V))[/itex], [itex]\mathcal{Y}((W \Rightarrow V))[/itex], [itex]\mathcal{Y}((W \Leftrightarrow V))[/itex] are also true.",
WITH THE ADDITION OF THE EXTRA PARENTHESES.
I've attached a picture from the next page of the rest of the proof, because that might help, and the google book omits that page.
Propositional Formulas are defined in Definition 1.2 on http://books.google.com/books?id=JB...atical logic cori&pg=PA9#v=onepage&q&f=false".
Is this a typo is there something I don't understand?
This is not about an exercise but about the conceptual content of the book. So I did not post this in the "Coursework and Homework questions" forum. I hope I'm not breaking the rules.
On Lemma 1.6 on http://books.google.com/books?id=JB...tical logic cori&pg=PA12#v=onepage&q&f=false" there is a part that says,
"...if [itex]\mathcal{Y}(W)[/itex] and [itex]\mathcal{Y}(V)[/itex] are true, then [itex]\mathcal{Y}(\neg F)[/itex], [itex]\mathcal{Y}(F \wedge G)[/itex], [itex]\mathcal{Y}(F \vee G)[/itex], [itex]\mathcal{Y}(F \Rightarrow G)[/itex], [itex]\mathcal{Y}(F \Leftrightarrow G)[/itex] are also true.".
I think there is a typo there and it should be,
"...if [itex]\mathcal{Y}(W)[/itex] and [itex]\mathcal{Y}(V)[/itex] are true, then [itex]\mathcal{Y}(\neg W)[/itex], [itex]\mathcal{Y}((W \wedge V))[/itex], [itex]\mathcal{Y}((W \vee V))[/itex], [itex]\mathcal{Y}((W \Rightarrow V))[/itex], [itex]\mathcal{Y}((W \Leftrightarrow V))[/itex] are also true.",
WITH THE ADDITION OF THE EXTRA PARENTHESES.
I've attached a picture from the next page of the rest of the proof, because that might help, and the google book omits that page.
Propositional Formulas are defined in Definition 1.2 on http://books.google.com/books?id=JB...atical logic cori&pg=PA9#v=onepage&q&f=false".
Is this a typo is there something I don't understand?
Attachments
Last edited by a moderator: