Equivalence?

[Roman]

We have used conjunction, disjunction, negation, and implication in the
definition of a WFF, what about equivalence (<->)? This is important to
know for question 2. Do we need to show there's an equivalent formula to
a WFF with this connective?

Thanks.

[Omer Beg]

Post by Roman
We have used conjunction, disjunction, negation, and implication in the
definition of a WFF, what about equivalence (<->)? This is important to know
for question 2. Do we need to show there's an equivalent formula to a WFF
with this connective?
Thanks.

You can assume that the set {V,A,~,->} is an adequate set.