Question d'interprétation de la formule au grand spécialiste fsmrel...
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 :COURSE x CHEVAL --> JOCKEY, NUMERO
COURSE x JOCKEY --> CHEVAL, NUMERO
COURSE x NUMERO --> CHEVAL, JOCKEY
Peut-on interpréter la CIF12, en notation logique, de cette façon :CIF12 = CIF1 U CIF2 = COURSE x CHEVAL --> JOCKEY, NUMERO
{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 ?
Partager