15:28 Variables: * libre: si elle n'est pas liée (au moins une fois) à un quantificateur. * liée: Sinon (c'est à dire toutes ses occurrences sont liées à un quantificateur). formule propre: * il n'existe pas de variable qui est à la fois libre et liée * Les occurrences liées d'une variable appartiennent au même quuantificateur Thanks for the video!!
@khaouitiabdelhakim7 ай бұрын
wanti xokran lik 3la had les notes hhhh! ba3da mzl 3a9l blli kan error hhhhhhh. thanks a lot!