IEVref:171-03-22ID:
Language:enStatus: Standard
Term: implication
Synonym1: IF-THEN operation
[Preferred]
Synonym2:
Synonym3:
Symbol:
Definition: dyadic Boolean operation whose result has the Boolean value 0 if and only if the first operand has the Boolean value 0 and the second has the Boolean value 1

Note 1 to entry: Implication is noted a→b MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbbjxAHX garuavP1wzZbItLDhis9wBH5garmWu51MyVXgaruWqVvNCPvMCG4uz 3bqee0evGueE0jxyaibaiGc9aspC0FXdbbc9asFfpec8Eeeu0lXdbb a9frFj0xb9Lqpepeea0xd9s8qiYRWxGi6xij=hbba9q8aq0=yq=He9 q8qiLsFr0=vr0=vr0db8meaabaGacmaadiWaaiWabaabaiaafaaake aacaWGHbGaeyOKH4QaamOyaaaa@40C1@ .


Publication date:2019-03-29
Source
Replaces:
Internal notes:
CO remarks:
TC/SC remarks:
VT remarks:
Domain1:
Domain2:
Domain3:
Domain4:
Domain5: