Go backward to Exclusive DisjunctionGo up to TopGo forward to Operational Interpretation |

(A=>B)

- Other syntactic forms:
- "
`A`implies`B`"; "`B`follows from`A`" - "if
`A`, then`B`"; "`B`, (only) if`A`" - "
`A`is sufficient for`B`"; "`B`is necessary for`A`" `implies(`

.`A`,`B`)

- "
- Semantics:
`A`=>`B`is false if and only if`A`is true and`B`is false.`A``B``A`=>`B`__false____false____true____false____true____true____true____false____false____true____true____true__

Author: Wolfgang Schreiner

Last Modification: October 6, 1999