You are here: irt.org | FOLDOC | implies

<*logic*> (=> or a thin right arrow) A binary Boolean function
and logical connective. A => B is a true implication 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 | TIt 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.

If A is actually an expression X & Y then the implication is called a syllogism.

(2009-10-28)

Nearby terms: implication « implicit parallelism « implicit type conversion « **implies** » imply » import » imprecise probability

FOLDOC, Topics, 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, ?, ALL