Go backward to
Implicative Laws
Go up to
Top
Go forward to
Operational Interpretation
Equivalences
(
A
<=>
B
)
Other syntactic forms:
A
=
B
,
A
~
B
;
"
A
and
B
are equivalent", "
A
if and only if
B
", "
A
iff
B
";
"
A
is necessary and sufficient for
B
";
equiv(
A
,
B
)
.
Semantics:
A
<=>
B
is true iff
A
and
B
have the same truth value.
A
B
A
<=>
B
false
false
true
false
true
false
true
false
false
true
true
true
Author:
Wolfgang Schreiner
Last Modification: October 6, 1999