Logique tétravalente
Opérateur - (moins, différence)
| p - q est l'ensemble qui comprend
| tous les éléments de p
|
| qui ne sont pas des éléments de q.
|
|
|
| p - q est égal à p & ¬q
|
| Loi de fermeture:
|
| pour toute paire d'ensembles p et q, il existe un ensemble unique p - q
|
|
|
| Lois d'identité:
|
{} - p = {}
p - {} = p
p - p = {}
|
|
|
| Lois de complémentarité:
|
p - TFBN = {}
TFBN - p = ¬p
|
| Table de vérité de la différence:
|
| p - q
| p
| | T | F
| B | N
| | q
| T
| {} | F | B | N
| | F
| T | {} | B | N
| | B
| T | F | {} | N
| | N
| T | F | B | {}
|
|
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