| 翻訳と辞書 |
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)
スポンサード リンク
| 翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|