GATE CS 2017 Set 1| Q2: Consider the first-order logic sentence F:∀x(∃yR(x,y)). Assuming non-empty
GATE CS 2017 Set 1 | Question: 02
Consider the first-order logic sentence F:∀x(∃yR(x,y)). Assuming non-empty logical domains, which of the sentences below are implied by F?
I.∃y(∃ xR(x,y)) II.∃y(∀xR(x,y)) III.∀y(∃xR(x,y)) IV.¬∃x(∀y¬R(x,y))
(A)IV only (B)I and IV only (C)II only (D)II and III only
Ans :(B)I and IV only
0:00 Question
0:27 Solution
----------------------------------------------------
📗👩🏫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