Type of cases

Duration: 4 min

This video lesson is available to enrolled students.

Return to /learn/COAL-INDIA-MANAGEMENT-TRAINEE/engineering-maths/propositional-and-predicate-logic/types-of-logical-cases-tautology-contradiction-contingency-satisfiability-and-validity/asset-type-of-cases after enrolling

Inside: a video lesson and guided study material.

Module outline

  1. About Course: About the Course
  2. Paper-2 | Programming & Data Structures: C Fundamentals, Control Flow, Functions, Arrays & Pointers, Storage Classes, Structures & Enums, DMA, Macros, Scoping & File Handling, Introduction to DS, Array, Stack, Queue, Linked List, Tree, Graphs, Hashing
  3. Paper-2 | Databases / DBMS & SQL: Basics of DBMS, ER Diagram, Relational Model & Functional Dependencies, Keys & Integrity Constraints, Normalization (1NF - BCNF), Decomposition Properties & 4NF, File Organization & Indexing, Relational Algebra, SQL, Relational Calculus, Transaction Management, Concurrency Control
  4. Paper-2 | Algorithms: Algorithm Analysis, Time Complexity Analysis, Sorting Algorithms, Greedy Algorithms, Dynamic Programming, Minimum Spanning Trees, Shortest Path Algos
  5. Paper-2 | Computer Networks & Security: Introduction to CN, Data Communication, DLL: Access Control, DLL: Flow Control, DLL: Error Control, DLL: Framing, Data Link Layer - Ethernet, Net Layer: IPv4 & Proto, Net Layer: IP Addressing, Net Layer:Routing Protocol, Transport Layer Services, TL: Congestion & UDP, Application Layer, Hardware Basics, Network Access Technologies, Network Security
  6. Paper-2 | Digital Logic: Digital Systems & Boolean Basics, Logic Gates & Hardware, Boolean Expression, Boolean Minimization, Combinational Circuit, Sequential Circuits, Number System, Number Representation, Floating Point Rep
  7. Paper-2 | Operating System: Introduction to OS, Process Management, CPU Scheduling, Process Synchronization, Threads & Process Creation, Deadlock, Memory Management, Virtual Memory, Disc Scheduling, File Management
  8. Paper-2 | Theory of Computation: Introduction to TOC, Deterministic FA (DFA), Non-Deterministic FA, Regular Expressions, Grammar, Regular Language Properties, Moore & Mealy Machines, Pushdown Automata & CFG, Turing Machines
  9. Paper-2 | Computer Organization & Architecture: Basics of COA, Cache Memory Organization, Input Output Organisation, Pipelining, Instr Formats & Modes, Control Unit Design, Programming the Basic Computer
  10. Paper-2 | Compiler Design: Intro to Compilers, Lexical Analysis, Grammar & CFG, Syntax Analysis: Top-Down, Syntax Analysis: Bottom-Up, Semantic Analysis & SDT, Intermediate Code Gen, Code Optimization, Run Time Environment
  11. Paper-1 | General Awareness: Polity, Physics, Biology, Chemistry, Static General Knowledge, GK- Current Affairs, History, Geography, Indian Economy, Environment
  12. Paper-1 | Logical Reasoning: Series (Number and Letter Series) (Numerical Relations and Reasoning), Coding Decoding, Non Verbal Reasoning (Spatial Aptitude) (Spatial Reasoning) (Visual Reasoning), Data Interpretation, Blood Relations, Syllogisms, Deductive and Inductive Reasoning (Logical Deduction and Induction) (Prepositional Reasoning), Selection Decision Table (Decision Making), Clock, Calendar, Cubes & Dices, Directions (Direction Test), Analogy, Seating Arrangements, Analytical Reasoning (Counting Figures Reasoning)
  13. Paper-1 | Quantitative Aptitude: Ratio and Proportion (Ratios), Mixture and Alligation, Permutation and Combination, Number System, HCF LCM, Speed Time and Distance, Average, Age Problems, Percentage, Profit and Loss, Time and Work, Pipe and Cistern, Simple Interest and Compound Interest, Powers and Exponents (Surds and Indices), Mensuration and Geometry, Probability, Statistics, Arithmetic, Algebra
  14. Paper-1 | English: Vocabulary, Comprehension / Reading Comprehension / Unseen Passages (Critical Reasoning) (Paragraph Questions), Sentence Re-arrangements (Para Jumbles) (Narrative Sequencing), Sentence Correction (Error Correction), Sentence Completion (Fill in the blanks), Sentence Construction, Cloze Test (Cloze Passage)
  15. Coal India Previous Year Paper:
  16. Engineering Mathematics: Set Theory, Relations, Functions, Graph Theory, Group Theory, Propositional and Predicate Logic, Linear Algebra, Calculus
  17. Coal India Mock Test:
AI summary & chapters

AI Summary

An AI-generated summary of this video lecture.

The lecture covers the classification of propositional functions into four main types: Tautology, Contradiction, Contingency, and Satisfiable. The instructor uses truth tables to demonstrate the properties of each type, emphasizing the values in the final column of the table. He begins by defining a Tautology as a function that is always true, using the example $p \lor

eg p$. He then defines a Contradiction as a function that is always false, using $p \land

eg p$. Next, he explains Contingency as a function that is neither always true nor always false, exemplified by $p \lor q$. Finally, he defines Satisfiable as any function that is not a contradiction, meaning it has at least one true value. The session concludes with a hierarchical diagram relating validity, invalidity, satisfiability, and unsatisfiability.

Chapters

  1. 0:00 – 2:00 00:00-02:00

    The instructor introduces the topic "Type of cases" and defines a Tautology (or valid function) as a propositional function that always yields truth in the last column of its truth table. He provides the example $p \lor eg p$ and constructs a truth table with columns for $p$, $ eg p$, and $p \lor eg p$. He fills the table, showing that when $p$ is False, $ eg p$ is True, making the disjunction True. When $p$ is True, $ eg p$ is False, but the disjunction remains True. He circles the final column to highlight this consistency and underlines the phrase "truth in the last column" in the definition. He writes "Ta" and "valid" on the board to reinforce the terminology.

  2. 2:00 – 4:19 02:00-04:19

    The lecture transitions to "Contradiction/Unsatisfiable," defined as a function always having false in the last column, with the example $p \land eg p$. The instructor fills out the corresponding truth table, showing that the conjunction is False in both rows. He then defines "Contingency" as a function that is neither a tautology nor a contradiction, using $p \lor q$ as an example where the final column contains both True and False values. He fills the table for $p \lor q$, showing results F, T, T, T. Finally, he defines "Satisfiable" as any function that is not a contradiction, requiring at least one truth value in the final column. He concludes by drawing a diagram linking Tautology to Valid, and grouping Contingency and Contradiction under Invalid, further distinguishing them as Satisfiable and Unsatisfiable respectively.

The video systematically categorizes logical statements based on their truth values across all possible interpretations. A Tautology is identified by a column of all True values, representing a valid argument. Conversely, a Contradiction is marked by all False values, representing an unsatisfiable statement. Contingency represents statements that depend on the input values, containing a mix of True and False results. The concept of Satisfiability is introduced as a broader category encompassing any statement that is not a contradiction, effectively grouping Tautologies and Contingencies together as "satisfiable" while isolating Contradictions as "unsatisfiable." This hierarchical structure helps students understand the relationships between validity, satisfiability, and the specific types of logical functions. The instructor visually maps these relationships, showing that "Invalid" statements split into "Unsatisfiable" (Contradiction) and "Satisfiable" (Contingency), providing a clear framework for analyzing propositional logic problems.

Loading lesson…