fahr451 a écrit:bonsoir où commence la proposition P dans P=>Q
il manque des parenthèses
juve1897 a écrit:bonsoir fahr,
en fait la définition m'a été donné de la maniere suivante (mm présentation)
Pour tout (x1,x2, ... , x(n-1),xn) E
(
=> xn E1
C'est la definition de la "stabilité" ou "fermeture"
j'espere t'avoir eclairé un peu. :happy2:
fahr451 a écrit:donc je suis d'accord avec l'alpage
juve1897 a écrit:Mais le truc que je comprends pas c'est
Pour tous X, P et Q => R en negation ça ne donnerai pas
il existe X, non(non(P et Q) => R) cad il existe X , non P ou non Q et non R
donc dans notre cas on aurait:
Il existe (x1,x2, ... , x(n-1),xn) E tel qu' il existe i,\ 1\leq i \leq n-1,\quad \quad x_i \notin E_1 ou [(x1,x2,...,xn) ,n'appartient pas à R et xn n'appartient pas à E1]
Nan c'est pas ça???
Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 49 invités
Tu pars déja ?
Identification
Pas encore inscrit ?
Ou identifiez-vous :