GATE CSE
First time here? Checkout the FAQ!
x
+1 vote
66 views

asked in Mathematical Logic by Boss (8.6k points)   | 66 views
Is S1 equivalent to S2?

1 Answer

+3 votes
Best answer
P(x) : x is politician

Q(x) : x is crooked

Stmt : if everyone is politician then somebody is crooked

s2 can be directly inferred from stmt

∀(x) P(x) --> ∃(x) Q(x)

So s2 is true.

s2 :
= ∀(x) P(x) --> ∃(x) Q(x)
= ~( ∀(x)P(x) ) V ( ∃(x)Q(x) ) [Applied P->Q == ~P V Q]...equation 1
= ( ∃(x)~P(x)) V ( ∃(x)Q(x) ) [Applied ~[∀(x)P(x)] == ∃(x)~P(x) ]
= ∃(x) [ ~P(x) V Q(x) ]
= ∃(x) [ P(x) --> Q(x) ] ....this is S1

Now from equation 1 back
s2 :
= ~( ∀(x)P(x) ) V ( ∃(x)Q(x) )
= ~( ∀(x)P(x) ) V ( ~~∃(x)Q(x) ) [Applied ~~P(x) == P(x) ]
= ~( ∀(x)P(x) ) V ( ~∀(x)~Q(x) ) [Applied ~[∃(x)P(x)] == ∀(x)~P(x) ]
= ~ [ ( ∀(x)P(x) ) ^ ∀(x)~Q(x) ] [Applied ~ (P ^ Q) == ~P V ~Q]
= ~∀(x) [ P(x) ^ ~Q(x) ] ---> this is s3

Hence all options s1,s2 and s3 are equivalent.
answered by Loyal (3.5k points)  
selected by


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