##### Which one of the following well - formed formulae is a tautology?

set2018
30 Aug 2017 07:07 pm

-----> implies

<-----> bidirectional

can we say bidirectional is same as logical equivalent ?