| p est égal à q | lorsque tous les éléments de p sont aussi des éléments de q |
| et tous les éléments de q sont aussi des éléments de p | |
| (c-à-d: lorsque p et q comprennent exactement les mêmes éléments), | |
| sinon p est inégal à q. | |
| (p = q) vaut | T lorsque p est identiquement égal à q, |
| F dans tous les autres cas. | |
| (p \ q) vaut | F lorsque p est identiquement égal à q, |
| T dans tous les autres cas. | |
| Table de vérité de l'égalité: | Table de vérité de l'inégalité: | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
| |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||