ScholarQuill logoScholarQuillUniversity Notes
  • Notes
  • Past Papers
  • Blogs
  • Todo
Login
ScholarQuill logoScholarQuillUniversity Notes
Login
NotesPast PapersBlogsTodo
More
SubjectsDiscussionCGPA CalculatorGPA CalculatorStudent PortalCourse Outline
About
About usPrivacy PolicyReportContact
Notes
Past Papers
Blogs
Todo
Analytics
    Current Subject
    🧩
    Discrete Mathematics
    MATH2113
    Progress0 / 25 topics
    Topics
    1. Mathematical Reasoning: Sets, Subsets, Algebra of Sets2. Propositions and Compound Statements3. Basic Logical Operations4. Propositional Logic and its Applications with Statement Problems5. Propositions and Truth Tables6. Tautologies and Contradictions7. Conditional and Bi-conditional Statements8. Arguments in Propositional Logic9. Propositional Functions10. Quantifiers and Negation of Quantified Statements11. Relations and Equivalence Relations12. Partial Ordering Relations13. Functions and Recursively Defined Functions14. Combinatorics: Basics of Counting Methods15. Combinations and Permutations16. Pigeonhole Principle17. Graphs and its Types18. Graph Isomorphism19. Trees in Graph Theory20. Connectivity in Graphs21. Eulerian and Hamiltonian Paths22. Spanning Trees and Shortest Path Problem23. Revisiting Special Functions: Power, Floor, Increasing, Decreasing24. Big O, Little O and Omega Notations25. Orders of the Polynomial Functions
    MATH2113›Tautologies and Contradictions
    Discrete MathematicsTopic 6 of 25

    Tautologies and Contradictions

    2 minread
    420words
    Beginnerlevel

    Tautologies and Contradictions


    1. Tautology

    A tautology is a compound proposition that is always true, no matter what truth values are assigned to its individual components.

    In a truth table, a tautology will have T (True) in every row of the final column.

    Examples:

    a) p∨¬pp \lor \neg pp∨¬p
    p ¬p p ∨ ¬p
    T F T
    F T T

    This is true for all possible values of ppp. So it's a tautology.

    b) (p→q)∨(q→p)(p \to q) \lor (q \to p)(p→q)∨(q→p)

    No matter the values of ppp and qqq, this compound statement always evaluates to true.


    2. Contradiction

    A contradiction is a compound proposition that is always false, regardless of the truth values of the individual components.

    In a truth table, a contradiction will have F (False) in every row.

    Examples:

    a) p∧¬pp \land \neg pp∧¬p
    p ¬p p ∧ ¬p
    T F F
    F T F

    Always false → this is a contradiction.

    b) (p→q)∧(p∧¬q)(p \to q) \land (p \land \neg q)(p→q)∧(p∧¬q)

    This is only true if both p→qp \to qp→q and p∧¬qp \land \neg qp∧¬q are true at the same time, which is impossible. Always false.


    3. Contingency

    A contingency is a compound proposition that is sometimes true and sometimes false, depending on the truth values of its variables.

    Example:

    p→qp \to qp→q

    p q p → q
    T T T
    T F F
    F T T
    F F T

    This is not always true or always false → it's a contingency.


    4. Identifying with Truth Tables

    To determine if a statement is a tautology, contradiction, or contingency:

    1. Construct the truth table.
    2. Check the final column:
      • All T → Tautology
      • All F → Contradiction
      • Mixed T and F → Contingency

    5. Why Tautologies and Contradictions Matter

    • Tautologies represent logically valid forms.
      • Used in proofs and argument validation.
    • Contradictions signal inconsistent or illogical statements.
      • Useful for proof by contradiction.
    • Recognizing these helps evaluate logical correctness in mathematics, programming, and circuit design.

    Previous topic 5
    Propositions and Truth Tables
    Next topic 7
    Conditional and Bi-conditional Statements

    Past Papers

    Open this section to load past papers

    Click on Show Past Papers to see past papers.
    On This Page
      Reading Stats
      Est. reading time2 min
      Word count420
      Code examples0
      DifficultyBeginner