MTH104 Sets and Logic Complete Guide | Virtual University Pakistan

MTH104 Sets and Logic serves as the mathematical backbone for Virtual University of Pakistan's computing and mathematics programs. Unlike traditional universities where you might attend physical lectures, VU delivers this course entirely through its Learning Management System (LMS) with pre-recorded video lectures, comprehensive handouts, and scheduled live sessions. The 2026 semester handout spans 15 modules, each building progressively from basic set definitions to complex proof constructions. What makes VU's approach unique is the integration of graded discussion boards (GDBs) where you must apply logical reasoning to real-world scenarios — these count significantly toward your final grade. The course carries 3 credit hours and follows VU's standard grading scheme: 20% assignments, 30% midterm, 50% final exam. Understanding this structure from day one helps you allocate study time effectively across the semester.

Your Virtual University of Pakistan LMS dashboard is mission control for MTH104. The course homepage organizes content into weekly modules matching the 2026 semester schedule. Each module contains three critical resources: the video lecture (typically 45-60 minutes), the corresponding handout section, and practice exercises with solutions. Pro tip: Download the complete MTH104 handout PDF at semester start — the 2026 version includes updated examples on predicate logic that frequently appear in exams. The 'Announcements' section posts assignment deadlines, GDB topics, and exam schedules — check it daily. Virtual University's 'Course Discussion Forum' often has senior students sharing memory aids for logic laws and set identities. Don't ignore the 'Past Papers' section under 'Examinations' — solving at least 5 years of MTH104 past papers is the single highest-impact study activity reported by VU toppers.

Set theory forms Modules 1-4 of your MTH104 handout and constitutes roughly 25% of midterm marks at Virtual University of Pakistan. Start with mastering notation: ∈, ∉, ⊆, ⊂, ∪, ∩, ∁, ∅. VU exams love testing boundary cases — like whether ∅ ⊆ A (always true) versus ∅ ∈ A (usually false). The handout's Venn diagram sections are gold — practice shading regions for complex expressions like (A ∪ B) ∩ Cᶜ. De Morgan's Laws appear in almost every VU midterm: (A ∪ B)ᶜ = Aᶜ ∩ Bᶜ and (A ∩ B)ᶜ = Aᶜ ∪ Bᶜ. Don't just memorize — understand the logical equivalence. Power sets and Cartesian products show up in both assignments and finals. For the 2026 semester, pay special attention to the new examples on partition sets and equivalence relations — these were added based on previous exam patterns.

Modules 5-7 cover propositional logic — the machinery of mathematical reasoning. Virtual University of Pakistan structures this section around five connectives: negation (¬), conjunction (∧), disjunction (∨), implication (→), and biconditional (↔). Truth tables are your primary tool — you'll construct them for 3-4 variable statements in exams. The handout emphasizes logical equivalences: double negation, commutative, associative, distributive, De Morgan's, implication equivalence (p → q ≡ ¬p ∨ q), and contrapositive (p → q ≡ ¬q → ¬p). VU assignments often ask you to prove equivalences using laws rather than truth tables. Tautologies, contradictions, and contingencies classification appears in both midterm and final. The 2026 handout includes new practice on logical circuits — a favorite GDB topic where you translate logic statements to gate diagrams.

Predicate logic (Modules 8-10) separates average from top MTH104 performers at Virtual University of Pakistan. Here propositions become predicates with variables: P(x), Q(x,y). Universal (∀) and existential (∃) quantifiers change everything. The handout's negation rules are critical: ¬∀x P(x) ≡ ∃x ¬P(x) and ¬∃x P(x) ≡ ∀x ¬P(x). Nested quantifiers like ∀x∃y P(x,y) appear in finals — practice translating English statements: "Every student has a friend" becomes ∀x∃y Friend(x,y). Domain specification matters — VU examiners deduct marks for missing domains. The 2026 handout expands on inference rules for quantified statements: universal instantiation, existential generalization, etc. These form the basis for mathematical proofs in later modules.

Modules 11-15 transform you into a mathematician — this is where Virtual University of Pakistan's MTH104 proves its value for your entire degree. Proof techniques covered: direct proof, proof by contrapositive, proof by contradiction, proof by cases, and mathematical induction. The handout provides templates for each — memorize the structure. Induction appears in every VU final: base case, inductive hypothesis, inductive step. Common pitfalls: assuming what you're proving, skipping base cases, incorrect algebraic manipulation in inductive step. The 2026 handout adds new examples on strong induction and well-ordering principle. Proof by contradiction shows up in GDBs — classic example: prove √2 is irrational. Assignment 3 typically requires 3-4 formal proofs — start early and use the LMS discussion forum for feedback before submission.

Virtual University of Pakistan's semester system demands strategic pacing. Week 1-4: Complete set theory modules, solve all handout exercises. Week 5-8: Propositional logic mastery — build truth table speed. Week 9-12: Predicate logic and quantifiers — practice English translations daily. Week 13-15: Proof techniques — write one complete proof daily. Week 16: Past paper marathon — solve 2019-2023 papers under timed conditions. Midterm (usually week 9) covers Modules 1-7. Final (week 18) comprehensive with 60% weight on Modules 8-15. VU's exam pattern: 40% MCQs, 60% subjective. Subjective questions follow handout examples closely — sometimes identical numbers. Download the 'MTH104 Short Notes' from VU student groups — they condense 200-page handout to 20 pages of high-yield formulas and proof templates.

The 2026 MTH104 handout from Virtual University of Pakistan is your bible — but only if used actively. Don't just read — annotate. Use three-color coding: definitions (blue), laws/theorems (red), examples (green). Create a 'mistake log' for every practice problem you get wrong — pattern recognition reveals your weak spots. Past papers from VU's LMS show clear trends: 2021-2023 finals all had a 10-mark induction proof, 5-mark predicate logic translation, 5-mark set theory Venn diagram. Assignments repeat concepts — Assignment 1 always set theory, Assignment 2 logic, Assignment 3 proofs. The handout's 'Self Assessment Questions' at module ends are literally exam questions from previous years. Form a study group of 3-4 via VU's course forum — teach each other proof techniques; explaining forces deeper understanding.

After analyzing Virtual University of Pakistan's MTH104 results for five semesters, clear failure patterns emerge. Pitfall 1: Memorizing without understanding — logic laws look similar but apply differently. Solution: Prove each law from truth tables once. Pitfall 2: Sloppy notation — missing parentheses in logic, wrong set brackets. VU graders deduct heavily for notation errors. Pitfall 3: Ignoring domains in predicate logic — automatic mark loss. Pitfall 4: Rushing induction base cases — the easiest marks lost. Pitfall 5: Last-minute assignment submission — LMS crashes happen before deadlines. Submit 24 hours early. Pitfall 6: Skipping GDBs — they're easy marks with clear rubrics. The 2026 handout explicitly warns about these in 'Common Errors' boxes — highlight them. Remember: MTH104 isn't about computation — it's about precise mathematical communication.