Logical Reasoning Notes