<div class="definition"> Si  P et Q sont deux proprits
(assertions),  P  \(\special{color=green}\Rightarrow) Q  (qui se lit
  P <font color=green>implique </font>Q )
est  la proprit
<font color=green>non P ou Q</font>.
</div>