論理の本ですが記号を用いた式変形は出てきません

論理の本ですが記号論理学の本ではないです。
ですから式変形を伴う記号は出てきません。
接続関係に注意して文を読む方法が示されています。
否定・ドモルガンの法則・逆裏待遇などの論理学特有の用語は丁寧に解説されていなす。
独習で1冊だけやるなら101題の方が良いかもしれません。