DIZNR INTERNATIONAL

Day 04Part12-Concept of tautology contradiction and Contigency , Satisfiable and Unsatisfiable case.

Day 04Part12-Concept of tautology contradiction and Contigency, Satisfiable and Unsatisfiable case.

https://www.gyanodhan.com/video/7B4.%20GATE%20CSEIT/Discrete%20Mathematics%201/474.%20Day%2004Part12-Concept%20of%20tautology%20contradiction%20and%20contigency%20%20%20satisfiable%20and%20unsatisfiable%20case.mp4

Day 04 – Part 12: Concept of Tautology, Contradiction, and Contingency

In Discrete Mathematics and Logic, statements can be categorized based on their truth values in all possible scenarios. The key concepts are Tautology, Contradiction, and Contingency, along with Satisfiable and Unsatisfiable cases.

1. Tautology (सर्वदा सत्य / Always True)

A tautology is a logical statement that is always true, regardless of the truth values of its individual components.

Example:

Truth Table:

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

Since the last column contains all True (T) values, it is a Tautology.

2. Contradiction (सर्वदा असत्य / Always False)

A contradiction is a logical statement that is always false, regardless of the truth values of its components.

Example:

Truth Table:

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

Since the last column contains all False (F) values, it is a Contradiction.

3. Contingency (कभी सत्य, कभी असत्य / Sometimes True, Sometimes False)

A contingency is a logical statement that is sometimes true and sometimes false, depending on the values of its components.

Example:

Truth Table:

pp qq p∨qp \lor q
T T T
T F T
F T T
F F F

Since the last column has both True (T) and False (F) values, it is a Contingency.

4. Satisfiable and Unsatisfiable Cases

Satisfiable Statement:

Unsatisfiable Statement:

Summary

Concept Definition Example
Tautology Always True p∨¬pp \lor \neg p
Contradiction Always False p∧¬pp \land \neg p
Contingency Sometimes True, Sometimes False p∨qp \lor q
Satisfiable True in at least one case p∨qp \lor q
Unsatisfiable Never True (Always False) p∧¬pp \land \neg p

Would you like more examples or practical applications of these concepts?

Day 04Part12-Concept of tautology contradiction and Contigency , Satisfiable and Unsatisfiable case.

Discrete Mathematics and Its Applications, Eighth Edition

1.3. Tautology /Contradiction / Contingency

1.3 Propositional Equivalences

DISCRETE MATHEMATICS

Here is a clear and complete explanation of:


Day 04 Part-12: Concepts of Tautology, Contradiction, Contingency, Satisfiable & Unsatisfiable Statements

(Discrete Mathematics / Logic – for GATE, BCA, B.Tech, CS)


1. Propositional Logic Recap

A proposition is a statement that is either True (T) or False (F).

Examples:

We use logical connectives like:


2. Tautology (Always True)

A tautology is a compound statement that is always true for all possible truth values of its variables.

Example:

(P ∨ ¬P) is always true.

P ¬P P ∨ ¬P
T F T
F T T

Output is always True → It’s a tautology


3. Contradiction (Always False)

A contradiction is a compound statement that is always false, no matter what the input values are.

Example:

(P ∧ ¬P) is always false.

P ¬P P ∧ ¬P
T F F
F T F

Output is always False → It’s a contradiction


4. Contingency (Sometimes True, Sometimes False)

A contingency is a compound statement that is true for some cases and false for others.

Example:

(P ∧ Q)

P Q P ∧ Q
T T T
T F F
F T F
F F F

Sometimes True → It’s a contingency


5. Satisfiable Statement

A formula is satisfiable if at least one combination of truth values makes the formula true.

Example: (P ∨ Q)


6. Unsatisfiable Statement

A formula is unsatisfiable if no combination of values makes it true → same as contradiction

Example: (P ∧ ¬P)


Summary Table

Concept Definition Example
Tautology Always true P ∨ ¬P
Contradiction Always false P ∧ ¬P
Contingency Sometimes true, sometimes false P → Q
Satisfiable At least one case is true P ∨ Q
Unsatisfiable No case is true P ∧ ¬P

Want Exercises or Truth Table Practice?

I can provide:

Tell me what you’d like!

Day 04Part12-Concept of tautology contradiction and Contigency , Satisfiable and Unsatisfiable case.