Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap


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 |   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.

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


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

©2018 Martin Webb