| Le conflit étu… | 266 |
| L'ergonomie du… | 261 |
| La résurrectio… | 197 |
| De l'énergie n… | 187 |
| Jean Staune, p… | 161 |
| Loi 1 | Loi 2 | Loi 3 | Loi 4 | Loi 5 | Loi 6 |
| Loi 7 | Loi 8 | Loi 9 | Loi 10 | Loi 11 | Loi 12 |
| Loi 13 | Loi 14 | Loi 15 | Loi 16 | Loi 17 | Loi 18 |
| Loi 19 |
| 0 < 10% Accord fort | |
| 10% < 33.3% Accord mitigé | |
| 33.3% < 66.7% Opinion orthogonale | |
| 66.7% < 90% Désaccord mitigé | |
| 90% ≤ 100% Désaccord fort | |
| (Abstention ou pas encore évaluée) |
| Redico | Sur la logique propositionnelle |
| Preambule | et "rappel des notations" : \exists : "il existe", \in : "appartient à", \notin : "n'appartient pas à", \inter : "l'intersection", Ø : "l'ensemble vide", \neq : "n'est pas égal à", etc. (i) Soit X = x_1 U ... U x_n" ; (ii) Soit Y = x_i1 U ... U x_im = "pré-X", avec X \inter Y \neq Ø ; (iii) Soit Z = (Omega - X) = {x \notin X} = "non-X" |
| Proposition | (x \in Y) et (x \notin X) => (x \in Z) |
| Auteur | kogiii |
| Date | 2011-06-02 |
| Nombre d'évaluations | 1 |
| Moyenne des évaluations | 100,0 |
| Joueur | Évaluation | Nb modifs | Commentaire | Date |
|---|---|---|---|---|
| kogiii | 100 | Réf. "Jean Staune partie 3/5", application avec X "les idées darwiniennes", Y "les idées pré-darwiniennes" (parmi lesquelles certaines ont été retenues par Darwin et d'autres non), Z "les idées non darwiniennes" : "une idée pré-darwinienne et abandonnée depuis Darwin est non-darwinienne". C'est même trivial puisque "x \in Y" semble n'être là que pour décorer, du fait de l'équivalence déduite de ce qui est posée en (iii) : x \in Z <=> x \in {x \notin X} (le mieux pour relire/corriger, c'est un crayon, du papier, et des "patatoïdes" !!) | 2011-06-02 | |
| Moyenne | 100,0 |