Discussion:Ensemble (mathématiques)/Exercices/Ensembles

Cette page est liée sur Wikipédia

dans w:Couple (mathématiques). Merci d'en tenir compte en cas de renommage. Anne, 19/5/2021

Attention aux parenthèses

Bonjour Anne, je découvre cet article par les liens que tu mets sur wp.

Bon tb pour l'initiative, mais fais attentions aux parenthèsage en calcul des prédicats ; souvent tu écris qqch comme

• all x Px --> QX lors que visiblement tu veux dire :
• all x (Px --> QX) qui n'est pas la même formule car a toutes ses variables d'objets closes ; cf https://fr.wikipedia.org/wiki/Variable_libre,

vois aussi des subtilités comme : https://fr.wikipedia.org/wiki/Logique_math%C3%A9matique#Propri%C3%A9t%C3%A9s_moins_intuitives

Bon je ne corrige pas car ai peu de temps et aussi car j'avoue que la wikiversité m'a toujours semblé un projet qui ne pouvait pas fonctionner car confidentiel. Les bonnes tentatives dans mon domaine qu'est la logique, que ce soient par toi ou d'autres sont inamendables car truffées d'erreurs, simplement car elle ne sont pas relues, comme il en est sur wp par au moins 5 personnes qui connaissent. Et là je n'étais que de passage. Pour discution plus ample on peut le faire sur wp (avec ma nouvelle identité lambdatesque qui ne passe pas ici car les nouveaux sont bloqués sur wikiversité car il y a eu trop de spam aujourd'hui (késako ?), c'est d'un pratique ! ).

Aussi, sans lien j'avoue ne pas savoir ce que tu appelles précisément une propriété collectivisante, c'est relatif à https://fr.wikipedia.org/wiki/Impr%C3%A9dicativit%C3%A9 ?

Amicalement. --Epsilon0 (discuter) 23 novembre 2021 à 00:32 (UTC) ( Appelle moi Y)