Non sequitur

Non sequitur signifie, en latin, « qui ne suit pas les prémisses ». En logique formelle, un argument est un non sequitur si la conclusion ne suit pas les prémisses.

Le non sequitur peut s'exprimer sous les formes suivantes :

Si A est vraie, alors B est vraie.
B est vraie.
Donc, A doit être vraie.
Exemple :

Si je suis à Tokyo (A), alors je suis au Japon (B).
Je suis au Japon.
Donc, je dois être à Tokyo.
Alors qu'en réalité, je pourrais être n'importe où au Japon.