Le Redico

(Vous n'êtes pas connecté}

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 [kogiii]



Actions Propositions Évaluations #
Texte Convaincre pour démontrer, c'est "vendre de la hi-fi", pas "faire de la logique".
Auteur kogiii

kogiii (0) 100 *
2
Préambule 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 …
Texte (x \in Y) et (x \notin X) => (x \in Z)
Auteur kogiii

kogiii (0) 100 *
1