1 definition found
From The Free On-line Dictionary of Computing (13 Mar 01) [foldoc]:
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)
more about implies
browse words by letter
a
b
c
d
e
f
g
h
i
j
k
l
m
n
o
p
q
r
s
t
u
v
w
x
y
z
or search
thesauri
dictionary
search words
|
