Non sequitur

Le non sequitur est issu d'erreurs sur la notion logique d'implication (ou condition suffisante). L'affirmation « Si A est vraie, alors B est vraie » peut s'écrire « A implique B » (ou « A ⇒ B » en langage formel).