indecidibile indecidìbile agg. [der. di decidere, col pref. in-2]. – Propr., che non può essere deciso. In logica, è detto di ogni asserzione, proposizione, formula per la quale si dimostra che, in un [...] dato sistema formalizzato, né essa né la sua negazione possono essere dedotte dagli assiomi del sistema; nella logica trivalente, il terzo valore di verità, accanto a quelli di «vero» e «falso» ... Leggi Tutto

indecidibilita indecidibilità s. f. [der. di indecidibile]. – L’essere indecidibile. In logica, condizione nella quale è impossibile decidere se una proposizione è vera o falsa. ... Leggi Tutto

polivalente polivalènte agg. [comp. di poli- e valente]. – 1. In chimica, di elemento che presenta più di un grado di valenza (come, per es., il ferro, che è bi-, tri-, esavalente, e raram. anche monovalente); [...] : una proposizione, cioè, può non solo essere vera o falsa (come accade nell’ordinaria logica bivalente), ma anche, per es., indecidibile. 3. Con sign. generico, che serve a più scopi, che si prefigge di ottenere più effetti, che ha efficacia in più ... Leggi Tutto