ならば演算子
Implication Operator
table:then_op
p q p → q
true true true
true false false
false true true
false false true
「p ならば q」を実現する演算子
「→」に相当する演算子は実装依存。
C/C++ であれば、(p) ? (q) : true と書けばほぼ同義。
例えば、assert( p → q ); と書いてあれば、p が成り立つ時にのみ q の結果が評価されて assert が行われるようになる。
この場合、if ( p ) { assert( q ); } とほぼ同義。
C++ に、ならば演算子(=>)の導入を検討している例