modus tollens

Dizionario delle Scienze Fisiche (1996)

modus tollens


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 l'espressione ┐K sia l'espressione H→K, può essere aggiunta l'espressione ┐H".

Vedi anche
inferènza inferènza Nel linguaggio filosofico, ogni forma di ragionamento deduttivo, che dimostra come una proposizione derivi logicamente da un'altra. In logica matematica, si dicono 'regole d'inferenza ' l'insieme delle regole in base alle quali in un sistema deduttivo possono essere derivati enunciati e teoremi ... sillogismo Termine filosofico con cui Aristotele designò la forma fondamentale di argomentazione logica (sillogismo categorico), costituita da tre proposizioni dichiarative connesse in modo tale che dalle prime due, assunte come premesse, si possa dedurre una conclusione (per es., «tutti gli uomini sono mortali, ... lògica matemàtica lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono essere considerate formalmente come oggetti grafici combinabili tra loro (sintassi) o in relazione ... Latino Pacato Drepànio Pacato Drepànio, Latino (lat. Latinius Pacatus Drepanius). - Retore gallo (sec. 4º d. C.), amico di Ausonio e di Simmaco; capo di una legazione a Roma (389), pronunciò un panegirico di Teodosio, a noi giunto, interessante come documento storico.
Categorie
Tag
Altri risultati per modus tollens
  • modus tollens
    Enciclopedia della Matematica (2013)
    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 (o modus tollendo tollens)
    Dizionario di filosofia (2009)
    modus tollens (o modus tollendo tollens) Locuz. latina («modo che nega»). Regola d’inferenza logica, già nota agli stoici, avente la seguente forma: «se p allora q; non q, allora non p» (➔ anche modus tollendo ponens).
Vocabolario
modus operandi
modus operandi locuz. lat. mod. (propr. «modo di operare»), usata in ital. come s. m. – Maniera di fare, di agire, di procedere, sia in senso generico sia nell’ambito di una determinata attività: non mi piace questo m. o.; per ottenere...
modus vivendi
modus vivendi locuz. lat. mod. (propr. «modo di vivere»), usata in ital. come s. m. – 1. Accordo stabilito provvisoriamente fra due parti in contrasto e fatto di reciproche concessioni (o anche una tacita intesa fra due o più persone),...