modusponensmodusponens 〈mòduspònens〉 [Lat. "modo che afferma"] [FAF] Inferenza della sillogistica classica del tipo: se sussiste p allora vale q; sussiste p; allora vale q. La regola di deduzione [...] corrispondente compare nei più diffusi calcoli logici moderni. Nella logica matematica è chiamata più frequentemente regola di separazione o di distacco e si enuncia così: "A una sequenza di espressioni ...
Leggi Tutto
modus tollendo ponensmodus tollendo ponens 〈mòdus tollèndo pònens〉 [Lat. "modo che negando (un enunciato) afferma (l'altro)"] [FAF] Inferenza della sillogistica classica del tipo: vale almeno uno degli [...] enunciati p, q; vale "non p"; allora vale q ...
Leggi Tutto
conclusione
conclusióne [Der. del lat. conclusio -onis, dal part. pass. conclusus di concludere, comp. di cum "insieme" e claudere "chiudere", e quindi "chiusura, compimento"] [FAF] C. della regola: [...] nella regola del modusponens: v. logica: III 484 a. ...
Leggi Tutto