GATE CSE
First time here? Checkout the FAQ!
x
0 votes
98 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)   | 98 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.5k 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 Apr 2017
  1. akash.dinkar12

    3782 Points

  2. Divya Bharti

    2696 Points

  3. Deepthi_ts

    2270 Points

  4. rude

    2142 Points

  5. Tesla!

    1888 Points

  6. Sanjay Sharma

    1692 Points

  7. Debashish Deka

    1668 Points

  8. Shubham Sharma 2

    1610 Points

  9. Prashant.

    1580 Points

  10. Arjun

    1570 Points

Monthly Topper: Rs. 500 gift card

22,135 questions
28,126 answers
63,468 comments
24,261 users