Negazione dell'antecedente

È un'errata applicazione del modus tollens, cioè di [(p -> q) ^ ¬q] ->  ¬p. Si afferma che [(p -> q) ^ ¬p] ->  ¬q.
 

ESEMPIO - Se sono a Venezia allora sono in Veneto. Io non sono a Venezia, quindi non sono in Veneto.

Vedi anche:
 

	fallacie sillogistiche
	affermazione del conseguente
	autocontraddittorietà
	bibliografia essenziale