GATE CSE
First time here? Checkout the FAQ!
x
0 votes
109 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 (3.2k points) 8 45 88 | 109 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 (11.8k points) 13 43 139
selected by
Can u tell why 4 is true ? with some reason / example .? Im not able to understsand that situation
bt 4 is nt true
∃x p(x)∧∃x q(x) and  ∃x (p(x)∧q(x))
     suppose domain consist of all positive integers
p(x)= x is odd   q(x)= x is even
    consider ∃x p(x)∧∃x q(x) ,it is saying that there exist odd numbers and there exist even numbers
now consider ∃x (p(x)∧q(x)) it is saying that there exist a no. which is is both odd and even it is trivially false.
@Dq.

P: Divisible by 2

Q: Divisible by 3

And let x={2,4,8}

 

For this 4th statment is   F$\Leftrightarrow$ T
Got it :) Thanks.
Can I ask one more question ?
yes bro

How to solve  these kind of questions ?

Some Resources I have seen some of the options is proved by CP or IP  rule and some options by examples . I m not getting a general idea how to deal with these kinda questionz :(

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.


Quick search syntax
tags tag:apple
author user:martin
title title:apple
content content:apple
exclude -tag:apple
force match +apple
views views:100
score score:10
answers answers:2
is accepted isaccepted:true
is closed isclosed:true
Top Users Oct 2017
  1. Arjun

    23462 Points

  2. Bikram

    17108 Points

  3. Habibkhan

    8560 Points

  4. srestha

    6314 Points

  5. Debashish Deka

    5458 Points

  6. jothee

    5038 Points

  7. Sachin Mittal 1

    4882 Points

  8. joshi_nitish

    4416 Points

  9. sushmita

    3996 Points

  10. Rishi yadav

    3868 Points


Recent Badges

Notable Question Sanjay Sharma
Notable Question Warrior
Notable Question sid1221
Nice Answer 2018
Good Question Arjun
Nice Question mitalitak
Great Question Arjun
Popular Question Tesla!
Nice Question makhdoom ghaya
Popular Question Sankaranarayanan P.N
27,349 questions
35,204 answers
84,249 comments
33,328 users