Go backward to
Exclusive Disjunction
Go up to
Top
Go forward to
Operational Interpretation
Implication
(
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