Mid Term

• Past Mid-Term
  • Question Number A
• Logic
  • Proposition
  • Combining Propositions
  • Logical Operators
    • Negation (NOT)
    • Disjunction (OR)
    • Exclusive OR (XOR)
    • Conjunction (AND)
    • Implication
    • Biconditional
  • Tautology
  • Contradiction
  • Equivalent
  • Sequence of Precedence
  • Laws of Propositional Logic
• Inference
  • Argumentation
  • Rules of Inference
    • Modus Ponens
    • Modus Tollens
    • Hypothetical Syllogism
    • Disjunctive Syllogism
    • Simplification
    • Addition
    • Conjunction
  • Axioms
  • Theorems
  • Lemmas
  • Corollary
• Sets
  • How to Present Sets
    • Enumeration
    • Standard Symbols
    • Set Formation Notation
    • Venn diagrams
  • Set Symbols
  • Cardinality
  • Empty Set
  • Subsets
  • Equivalent Sets
  • Power Set
  • Operations on Sets
    • Intersection
    • Union
    • Complement
    • Difference
    • Symmetric Difference
    • Cartesian Product
  • Laws of Sets
    • Identity Law
    • Law of null/Domination
    • Complement Law
    • Idempotent Law
    • Law of Involution
    • Law of Absorption (Absorption)
    • Commutative Law
    • Associative Law
    • Distributive Law
    • De Morgan’s Law
    • Law of 0/1
  • Inclusion-Exclusion Principle
  • Multiple Sets
    • Operations Between Two Multisets
• Relation
  • Relation Representation
    • Arrow Diagrams
    • Cartesian Graph
    • Table
    • Matrix
    • Directed Graph
  • The Nature of Relationships
    • Reflexive
    • Transitive
    • Symmetrical/Congruent
    • Anti-Symmetrical
  • Combining Relations
  • Relations Composition
• Function
  • Function Representation
  • Function Type
    • Surjective function/on/onto
    • Injective/one-one/into function
    • Bijective/one-on-one correspondence
  • Inversion Function
  • Composition Function
  • Some Special Functions
    • Floor and Ceiling Functions
    • Modulo function
    • Factorial Function
    • Exponential and Logarithmic Functions