Possible errata in LPC 3rd edition?

[Ville Ranta-aho]

First off thank you Mr. Tarver for writing the books and creating Shen! I'm enjoying reading both TBoS and LPC at the moment.

I didn't find the following possible errata in the LPC page https://shenlanguage.org/lpc.html.

On exercise 3.4 part c, (( p -> ( ~ p )) -> p)  is mentioned as being a tautology. 

But my understanding is that the answer should be neither?

| p | ~ p | (p -> (~ p)) | ((p -> (~ p)) -> p) |
|---+------+------------------+----------------------------|
| T | F    |            F        |    T                         |
| F | T    |           T         |    F                         |

Some possible typos:

page 28 "Contemporary logicians do not follow Frege is adopting...". Should it be "... do not follow Frege in adopting."?

page 40 "light is one", should it be "light is on"?

-----

Ville

[dr.mt...@gmail.com]

Yes; it should be (p -> ~p) -> ~p.

I'll fix the other typos too.

thx

Mark