implies
implies
(logic)A B | A => B----+-------F F | TF T | TT F | FT T | T
It is surprising at first that A => B is always true if A isfalse, but if X => Y then we would expect that (X & Z) => Yfor any Z.
英语词典包含2567994条英英释义在线翻译词条,基本涵盖了全部常用单词的英英翻译及用法,是英语学习的有利工具。