Retourner au contenu associé (journal : [Letlang] Écrire un compilateur en Rust (partie 3))
Posté par Nicolas Boulay (site web personnel) le 29 avril 2022 à 17:16. En réponse au journal [Letlang] Écrire un compilateur en Rust (partie 3). Évalué à 3.
Mes erreurs autour de non était lors de composition.
J'ai utilisé les tautologies de https://fr.wikipedia.org/wiki/Implication_(logique) comme test. De mémoire, c'était le Modus Tollens qui était faux : ((A -> B) & ~B) -> ~A avec (a -> b) = (~a or b)
"La première sécurité est la liberté"
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: type
Posté par Nicolas Boulay (site web personnel) . En réponse au journal [Letlang] Écrire un compilateur en Rust (partie 3). Évalué à 3.
Mes erreurs autour de non était lors de composition.
J'ai utilisé les tautologies de https://fr.wikipedia.org/wiki/Implication_(logique) comme test. De mémoire, c'était le Modus Tollens qui était faux : ((A -> B) & ~B) -> ~A avec (a -> b) = (~a or b)
"La première sécurité est la liberté"