implied

adj : indicated by necessary connotation though not expressed

directly; "gave silent consent"; "a tacit agreement";

"the understood provisos of a custody agreement" [syn:

{silent}, {tacit}, {understood}]

implies

(◦> or a thin right arrow) A binary {Boolean} function

and {logical connective}. A ◦> B is true unless A is true and

B is false. The {truth table} is

A B | A ◦> B

----:-------

F F | T

F T | T

T F | F

T T | T

It is surprising at first that A ◦> B is always true if A is

false, but if X ◦> Y then we would expect that (X & Z) ◦> Y

for any Z.

(1995-09-30)