Retourner au contenu associé (dépêche : Grammalecte, correcteur grammatical)
Posté par kantien le 23 avril 2015 à 21:42. En réponse à la dépêche Grammalecte, correcteur grammatical. Évalué à 3.
Grosse correction : le modus ponens ce n'est pas (削除) si A alors B, or B donc A (削除ここまで) mais bien si A alors B, or A donc B (j'ai honte).
Il y a aussi des fautes de grammaire, comme quoi ce genre d'outil intégré à Firefox serai d'une grande utilité. ;)
Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: Inférence de type, ou preuve automatique ?
Posté par kantien . En réponse à la dépêche Grammalecte, correcteur grammatical. Évalué à 3.
Grosse correction : le modus ponens ce n'est pas
(削除) si A alors B, or B donc A (削除ここまで)mais bien si A alors B, or A donc B (j'ai honte).Il y a aussi des fautes de grammaire, comme quoi ce genre d'outil intégré à Firefox serai d'une grande utilité. ;)
Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.