estensione
estensióne [Der. del lat. extensio -onis, dal part. pass. extensus di extendere (→ estensibile)] [LSF] (a) Con signif. concreto, dimensione geometrica in genere, e cioè, a seconda dei casi, [...] es., per l'e. della nozione di campo, v. campi, teoria classica dei: I 473 d. ◆ [ALG] La porzione di linea, il contenuto di ciascuno di essi. (b) Con altra accezione, nella logica, la classe di tutti gli oggetti che sono denotati con lo stesso segno ...
Leggi Tutto
disgiunzione
disgiunzióne [Der. del lat. disiunctio -onis "il disgiungere e l'effetto di esso", da disiungere (→ disgiunto)] [ALG] [FAF] (a) Uno dei connettivi enunciativi della logica matematica, la [...] dagli elementi di un certo insieme ai quali compete l'uno o l'altro di due o più attributi; è collegata con l'operazione di somma logica (unione). ◆ [PRB] D. di eventi: l'e-vento corrispondente al verificarsi di almeno uno di essi: v. probabilità ...
Leggi Tutto
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". ...
Leggi Tutto
logica
lògica (ant. lòica) s. f. [dal lat. logĭca, gr. λογική (sottint. τέχνη «arte»), dall’agg. λογικός: v. logico1]. – 1. Nel pensiero greco classico, la scienza del logos, ossia del pensiero in quanto viene espresso; in partic., in Aristotele,...
tautologia
tautologìa s. f. [dal gr. ταὐτολογία, comp. di ταὐτο- «tauto-» e -λογία «-logia»]. – 1. a. Nella logica formale classica, termine usato per qualificare negativamente ogni proposizione la quale, proponendosi di definire qualcosa,...