est réalisé si et seulement si
n'est pas réalisé.
est réalisé si et seulement si
et
sont réalisés
simultanément.
est réalisé si et seulement si
ou
est réalisé.
signifie que chaque fois que
est réalisé,
est également réalisé :
implique
.