Minor improvement to Logic chapter
Minor improvements to supervised learning chapter