982 views
0 votes
0 votes
can someone please tell when to interpret this symbol $\Leftrightarrow$ as logical equivalence and when as double implication?

1 Answer

0 votes
0 votes

BidirectionEx-NoriffEquivalence operator<=>

p<=>q means   (p=>q )AND(q>p) which means (p'+q).(q'+p) which means p'q'+pq

Now the prepositional logic  p'q'+pq would be true when either both p,q are false or both are true.so this make p,q logically equivalent iff p'q'+pq is true always.

like for example let p=a+b' and q= (a'b)' so as you can guess p is logically equivalent to q here

but you can prove it by using p<=>q if the outcome for all possible inputs is always true then p and q would be logically equivalent.

Related questions

1 votes
1 votes
1 answer
1
1 votes
1 votes
1 answer
4
nishant279 asked Oct 18, 2017
1,213 views
A = ∃x (P(x) ^ Q(x)).B = ∃x P(x) ^ ∃x Q(x).Which is correct?a) A = Bb) B = Ac) A <= Bd) None of ThesePlease Explain.