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{}{}{}
 F  {}F{}{}
 B  {}{}B{}
 N  {}{}{}N

 

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

 

Copyright © 2005-2008, 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