modus tollens (o modus tollendo tollens)

modus tollens in logica, regola di deduzione (indicata sinteticamente con MT) che permette di dedurre da una implicazione («se A allora B») e dalla negazione della sua conseguenza («non B») la negazione della sua premessa («non A»): La linea orizzontale indica che dalle premesse (A ⇒ B e ￢B) si inferisce ...

modus tollens 〈mòdus tòllens〉 [Lat. "modo che nega"] [FAF] Inferenza della sillogistica classica, nota anche come legge di contrapposizione, del tipo: se p allora q; se non q, allora non p. In termini di logica matematica si esprime di solito così: "A una sequenza di espressioni in cui occorrono sia ...