
- Tout public
- Logique et déduction
Énoncé
Soit S un ensemble à n éléments. On cherche une opération définie sur S.
(1) La simplification à droite : a c = b c implique a = b, quels que soient les éléments a, b et c de S.
(2) L’anti-associativité : a (b c) ≠ (a b) c, quels que soient les éléments a, b et c de S.
Q1Question 1 sur 1À faire
Peut-on trouver une opération sur S qui vérifie ces deux propriétés ?