indecidìbile

indecidibile

indecidìbile agg. [der. di decidere, col pref. in-²]. – 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».