Logique tétravalente

Opérateur & (et, conjonction, intersection)

 

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:
 p & q   p 
 T  F   B  N 
 q   T  T{}T & B{}
 F  {}FF & B{}
 B  T & BF & BB{}
 N  {}{}{}N

 

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.

 

Page précédente Table des matières Page suivante

 

Copyright © 2005-2009, Norman Molhant
Droit de copie et de diffusion accordés gratuitement à deux conditions:
1. ne pas altérer ni retirer la mention du copyright avec ces conditions
2. offrir gratuitement la consultation et le téléchargement de cette page