Introduction to Logic & Reasoning-LLB212