Go backward to Implicative LawsGo up to TopGo forward to Operational Interpretation |

(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