implies
Last modified by Administrator on 2020/08/13 18:57
Notations of Implies
In logic, Implies is the connective in propositional calculus which has the meaning "if \(A\) is true, then \(B\) is also true".
Description of Implies symbol
Observations of this symbol
Put your observations here...
English
We find here a logical implication relation is showed in this formula on the right.
Find the book A Logical Approach to Discrete Math in our bibliography or go directly to the example in page 76 in google books links
German
In the example on right we also find a logical implication relation is represented from the German book Mathematisch-strukturelle Grundlagen der Informatik
Find the example in page 59 in google books link