Ch 1.5.2: Logic | Rules of Inference | Resolution
In this Lecture i discussed Resolution
0:13 Resolution
1:44 EXAMPLE 5 Use resolution to show that the hypotheses “Jasmine is skiing or it is not snowing” and “It is snowing or Bart is playing hockey” imply that “Jasmine is skiing or Bart is playing hockey.”
3:05 EXAMPLE 6 Show that the premises (p ∧ q) ∨ r and r → s imply the conclusion p ∨ s.
----------------------------------------------------
📗👩🏫Math Lecture for GATE CS • Mathematics Lectures for GATE CSE by Monal...
❓🙋♀️Math GATE PYQ : • Mathematics GATE CS/DA PYQ (2010-2025) sol...
----------------------------------------------
❓🙋♀️GATE General Aptitude (GA) solved by Monalisa • General Aptitude PYQ solved by Monalisa Pr...
----------------------------------------------------------------
📘👩🏫Algorithm Lectures : • Algorithm Lectures for GATE CSE by Monalis...
❓🙋♀️Algorithm GATE PYQ: • Algorithm GATE CS & DA PYQ(2010-2025) solv...
----------------------------------------------------------------
📙👩🏫Compiler Design Lectures : • Compiler Design Lectures for GATE Computer...
❓🙋♀️Compiler Design PYQ : • Compiler Design PYQ(2010-2025) GATE CS sol...
----------------------------------------------------------------------
📔👩🏫Theory Of Computation Lectures • TOC (Theory of Computation) Lectures for G...
❓🙋♀️TOC GATE PYQ: • TOC GATE CS PYQ (2010-2025) solved by Mona...
-------------------------------------------------------------------
📒👩🏫Data Structure Lecture: • Data Structure (DS) Lecture for GATE Compu...
❓🙋♀️Data Structure PYQ: • Data Structure GATE CS PYQ(2010-2025) Solv...
-----------------------------------------------------------------------
#gate_cs #gate #maths #mathmatics #discretemathematicsgate #discrete_mathematics #discretemathematics #gate2024 #monalisacs #logic