Logic Part 2: The Law of Non Contradiction