The Gateway to Computer Science Excellence
First time here? Checkout the FAQ!
+7 votes

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 Boss (40.1k points)
retagged by | 397 views
A,B and C are equivalent

3 Answers

+11 votes
Best answer
  1. $P→Q   \equiv \neg P\vee Q$
  2. $¬Q→¬P\equiv Q\vee \neg P$
  3. $¬P\vee Q   \equiv \neg P \vee Q$

So, $A,B,C$ are equivalent .

answered by Boss (20.4k points)
selected by
+5 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 (60.6k points)
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.

+3 votes
A) P→Q <=> ~P $\vee$ Q

       B) ¬Q→¬P <=>~(~Q) $\vee$~P <=> Q $\vee$ ~P <=> ~P $\vee$ Q         [ ~(~A)=A ]

       C) ¬P $\vee$ Q

       D) ¬Q → P <=>~(~Q) $\vee$ P <=> Q $\vee$ P

         So, You see above

         Answer is A<=>B<=>C
answered by Loyal (8k points)
edited by

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

38,187 questions
45,688 answers
49,654 users