Update 1. Introduction to Logic.md