GATE CSE
First time here? Checkout the FAQ!
x
0 votes
100 views

Is the given statement True ?  Please explain

  • $\forall_x \left \{ P(x) \vee Q(x) \right \}\Leftrightarrow \forall_x P(x) \vee \forall_x Q(x) $
  • $\forall_x \left \{ P(x) \wedge Q(x) \right \}\Leftrightarrow \forall_x P(x) \wedge \forall_x Q(x) $
  • $\exists_x \left \{ P(x) \vee Q(x)\right \} \Leftrightarrow \exists_x P(x) \vee \forall_x Q(x)$
  • $\exists_x \left \{ P(x) \wedge Q(x) \right \}\Leftrightarrow \exists_x P(x) \wedge \exists_x Q(x) $
asked in Mathematical Logic by Loyal (2.6k points)   | 100 views

1 Answer

+3 votes
Best answer
Only 2nd and third is true
∀ is true when it is true for each nd every value of its domain so it is distributive on AND
∃ is true when it is true for atleast value of its domain  so it is distributive on OR
answered by Veteran (10.6k points)  
selected by
Either try with examples or you need to prove it(which is difficult)

Its hard for me try with examples also :( 
Is there any other approach ?

Can u just show for this http://gateoverflow.in/3783/gate2005-it-36

How to check other options using examples ? :( 
Sorry i was asking too much questions . I was not able to understand this topic at all

They have given example for 2005 question. Try it on your own. You will get it
Even I find difficult taking examples.


Top Users May 2017
  1. akash.dinkar12

    3292 Points

  2. pawan kumarln

    1652 Points

  3. sh!va

    1650 Points

  4. Arjun

    1424 Points

  5. Bikram

    1372 Points

  6. Devshree Dubey

    1272 Points

  7. Debashish Deka

    1142 Points

  8. Angkit

    1044 Points

  9. LeenSharma

    904 Points

  10. srestha

    718 Points

Monthly Topper: Rs. 500 gift card
Top Users 2017 May 22 - 28
  1. Bikram

    458 Points

  2. Arnab Bhadra

    402 Points

  3. pawan kumarln

    278 Points

  4. Ahwan

    236 Points

  5. bharti

    194 Points


22,786 questions
29,121 answers
65,184 comments
27,661 users