👉 Untrivial, as defined in mathematics and computer science, refers to a statement or proposition that is either true (i.e., it has an affirmative truth value) or false (i.e., it has an negatival truth value). In other words, it involves a proposition whose truth value cannot be determined by the truth values of its antecedents.