notes.npwitknpwitk.com ↗

Midterm Exam

Updated 4 Oct 2026

  1. For all, For some, 7 ข้อย่อย ให้เช็ค True, False
  2. ต้องใช้ De Morgan’s เข้าไปใน ∃x∀yP(x,y)\exists x \forall y P(x,y)
  3. Equivalence of two
  4. Resolution proof
  7. Proof by Induction (7^n-3)glfdsjlkjfld is divisible by 8
  8. Proof by Induction 12+22+32+…+n2=n(n+1)(2n+1)61^2+2^2+3^2+\dotso+n^2=\frac{n(n+1)(2n+1)}{6}
  9. P(P({1}))P(P(\{1\}))
    • P(P({1}))×{a,b}P(P(\{1\})) \times \{a,b\}, list all pairs.
  10. How many relation from {a,b,c}\{a,b,c\} to {1,2,3}\{1,2,3\}
  11. 5 divides 4a+b4a+b
    • Proof Reflexive
    • Proof Symmetric
    • Proof Antisymmetric
    • Proof Transitive