connettivi, sistema minimo di

Enciclopedia della Matematica (2013)

connettivi, sistema minimo di


connettivi, sistema minimo di o base di connettivi, in logica, insieme minimo di connettivi adeguato a esprimere, in virtù di proprietà di equivalenza logica tra forme enunciative, tutti gli abituali connettivi utilizzati in logica. È tradizionalmente costituito dalla negazione (￢) e da uno qualsiasi dei connettivi ∨, ∧, ⇒, ma sono possibili ulteriori riduzioni, per le quali si vedano: → enunciati, linguaggio degli; → Sheffer, funtori di.

Tag
Vocabolario
reddito minimo di inserimento
reddito minimo di inserimento loc. s.le m. Contributo economico erogato dalle amministrazioni locali alle famiglie che vivono con un reddito inferiore alla soglia di povertà. ◆ In questo contesto, così scellerato da portare allo spreco...
mìnimo
minimo mìnimo agg. e s. m. (f. -a) [dal lat. minĭmus, superl. di minor «minore»; v. meno]. – Piccolissimo, il più piccolo. Funge da superlativo di piccolo (come il lat. minĭmus rispetto a parvus) e si contrappone direttamente a massimo....