Chuyển bộ gõ


Từ điển Máy Tính - Foldoc Dictionary
implication



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.

Last updated: 2009-10-28



▼ Từ liên quan / Related words
Related search result for "implication"

Giới thiệu VNDIC.net | Plugin từ diển cho Firefox | Từ điển cho Toolbar IE | Tra cứu nhanh cho IE | Vndic bookmarklet | Học từ vựng | Vndic trên web của bạn

© Copyright 2006-2024 VNDIC.NET & VDICT.CO all rights reserved.