p & q est l'ensemble qui comprend | tous les éléments de p |
qui appartiennent aussi à q. |
Loi de fermeture: |
pour toute paire d'ensembles p et q, il existe un ensemble unique p & q |
Loi de commutativité: |
p & q = q & p |
Loi d'associativité: |
(p & q) & r = p & (q & r) |
Loi d'idempotence: |
p & p = p |
Lois d'identité: |
p & TFBN = p p & {} = {} |
Loi de complémentarité: |
p & ¬p = {} |
Table de vérité de la conjonction: | |||||||||||||||||||||||||||||||
|
Les deux cas soulignés T & B et F & B voient leur résolution suspendue jusqu'à ce que la valeur potentielle ou partiellement indéterminée B se réalise ou se résolve en T ou en F.