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

Answer the following:

Which of the following well-formed formulas are equivalent?

  1. $P \rightarrow Q$
  2. $\neg Q \rightarrow \neg P$
  3. $\neg P \vee Q$
  4. $\neg Q \rightarrow P$
asked in Mathematical Logic by Veteran (39.7k points) 255 1306 1936
retagged by | 192 views
A,B and C are equivalent

3 Answers

+2 votes
Best answer
  1. P→Q    = P'+Q
  2. ¬Q→¬P=Q+P'
  3. ¬PVQ   =P'+Q
    so A,B,C are equivalent .
answered by Veteran (21.4k points) 30 103 201
selected by
+1 vote

 

  1. P→Q <=> ~P VQ
  2. ¬Q→¬P <=>~(~Q) V~P <=> QV~P <=>~PVQ         [ ~(~A)=A ]
  3. ¬P∨Q
  4. ¬Q→P <=>~(~Q)VP <=>QVP
  5. So You see above
  6. Answer is A<=>B<=>C
answered by Junior (889 points) 6 22
0 votes
A,B,C are equavelent i.e. $P\rightarrow Q \equiv \sim P \vee Q$

A and C are equal because if $\rightarrow$ is true then Contradiction always true.
answered by Veteran (52.8k points) 21 71 325
edited by
D is not equivalent
Already done
How D?
i was taken as  $\sim$(Q $\rightarrow$ P)
That is also not true.

I know that sir Or wil changes to And. thats why changed that.



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

    23338 Points

  2. Bikram

    17048 Points

  3. Habibkhan

    7912 Points

  4. srestha

    6228 Points

  5. Debashish Deka

    5438 Points

  6. jothee

    4968 Points

  7. Sachin Mittal 1

    4772 Points

  8. joshi_nitish

    4286 Points

  9. sushmita

    3964 Points

  10. Rishi yadav

    3794 Points


Recent Badges

Popular Question makhdoom ghaya
Popular Question junaid ahmad
Notable Question learner_geek
Notable Question jothee
Popular Question jothee
Notable Question Jeffrey Jose
Notable Question air1ankit
Nice Question jothee
Verified Human shaleen25
Popular Question jothee
27,290 questions
35,142 answers
83,920 comments
33,231 users