Question d'interprétation de la formule au grand spécialiste fsmrel...
COURSE x CHEVAL --> JOCKEY, NUMERO
COURSE x JOCKEY --> CHEVAL, NUMERO
COURSE x NUMERO --> CHEVAL, JOCKEY
Lorsque tu as présenté ces différentes CIF finales, tu as écrit qu'elles étaient chacune le résultat de l'union de deux CIF élémentaires :
CIF12 = CIF1 U CIF2 = COURSE x CHEVAL --> JOCKEY, NUMERO
Peut-on interpréter la CIF12, en notation logique, de cette façon :
{COURSE} U {CHEVAL} => {JOCKEY, NUMERO}

Autrement dit, en partant de COURSE x CHEVAL détermine JOCKEY, NUMERO, peut-on dire que l'union des deux singletons {COURSE} et {CHEVAL} implique l'ensemble {JOCKEY, NUMERO} ?

J'ai commencé à jouer avec les tables de vérité hier mais j'ai arrêté faute de temps et ça m'amuserait de continuer à l'occasion.

Si on trouve un nouvel axiome, on écrit l'article ensemble ?