Forum de Mathématiques: Maths-Forum

ah :/, cela me semble plus compliqué que ce que je pensais du coup, si il faut le montrer pour tout les systemes de 13 connecteurs possible cela va etre tres long vu le nombre de combinaisons ... Sinon je suis obliger de montrer que je dois explirer par exemple la conjonction avec chaque connecteurs...

Je vois, je pense avoir compris pour la première question, comme je dois exprimer la negation, la conjonction et la disjonction en fonction des autres connecteurs cela fais qu'il me reste automatiquement 13 connecteurs parmi les 16, parcontre pour la 2eme comment savoir quel autre connecteurs je peu...

Donc si j'ai bien compris comment montrer qu'un ensemble de connecteurs est complet, je dois montrer qu'on peu fabriquer des formules équivalente a a barre a ou b, a et b avec les connecteurs de cet ensemble ?

Pourrai tu me donner un exemple avec un système contenant beaucoup de connecteurs stp ? Je n'ai que des exemples simple dans ma fiche de TD comme http://www.hostingpics.net/viewer.php?id=173099logique.jpg Et honnêtement déjà avec 2-3 connecteurs j'ai du mal alors avec 13 ... je me sens perdu ^^

Comment puis je faire sa du coup ? mon cours ne contient que des exemples simple avec 2-3 connecteurs

Donc si je comprend bien, pour la 1ere et 2eme question je dois prendre un des 16 connecteurs mentionner ici https://fr.wikipedia.org/wiki/Connecteur_logique Puis je dois montrer qu'il sont tous 2 a 2 complet ? Genre si je suis la liste des connecteurs proposer dans la liste sur wikipedia je dois mo...

Du coup avec le xor cela fais 5 connecteur, mais quel sont les autres ? Parcontre je ne comprend pas ce que tu veux dire par "pour remplir cette troisième colonne tu as 2^4 possibilités donc 16 connecteurs ... " il y'a 2^4 possibilité si on considère tout les cas mais comme il s'agit d'un ...

Ah ?

Dans mon cours l'ensemble C = { negation, implication ,equivalence, conjonction, disjonction }

Je ne connais pas les autres connecteurs

Genre j'essaye toute les combinaisons possible entre l'implication, l’équivalence, la négation, la conjonction et la disjonction ? pour des connecteurs 2 a 2 distincts cela voudrai dire qu'il faut montrer que chaqu'un des ensemble ci dessous est complet : la negation et l'implication la negation et ...

Les connecteur que je connais sont l'implication, l’équivalence, la négation, la conjonction et la disjonction

Il y'a quelques exemples d'ensemble de connecteurs complet dans mon cours, comme l'ensemble de connecteurs ( negation, conjonction , disjonction )

Voici la définition de mon cours ...
On appelle système complet de connecteurs tout sous ensemble C' de C tel que pour toute formule P il
existe une formule P' équivalente à P n’utilisant que les connecteurs de C'

Up, je n'ai toujours pas trouver de solution a ce probleme , pouvez vous m'aider svp ?

Je pense, oui, je viens de refaire le calcul je tombe sur la même chose

f(x) = arcsinx/(racine(1-x²))

f'(x) = (racine(1-x²) + xarcsinx )/(racine(1-x²)(1-x²))

le soucis est qu'en calculant (1 - x²)f'(x) - xf(x) il me restera toujours une variable x ... du coup comment arriver a la constante 1 ?!

Bonjour,

Désolé pour ma réponse tardive, c'est le principe que j'ai essayer d'utiliser en remplaçant les y par f(x) mais il reste les x qui me gênent ... comment puis je m'en débarrasser ?

Bonjour, désolé pour ma réponse tardive,

Je pense avoir compris, merci

Merci pour ta réponse pseuda, je suppose que tu parles de la dernière question dont je n'ai pas encore saisie le sens ^^ je vais essayer de revoir ce que tu dis sur papier.

Sinon pour la question concernant la continuité, comment répondre ?

C'est ce que j'ai trouvé en essayant de résoudre cette question : Montrer que f est solution de l'edo : (1-x^2)y'-xy=1

J'ai remplacer le y et y' par f et f' ..

petit up

Du coup si j'ai bien compris je dois développer en serie entiere le resultat que j'ai trouver plus haut ? a savoir -x(^3)arcsinx/(racine(1-x²))