Outrageously Funny Word Dictionary :: Pluperfectness

👉 In logic and computer science, a pluperfect formula is a formula that can be derived from a set of axioms by means of quantification over all possible interpretations of variables. The term "pluperfectness" refers to the fact that such formulas are valid in all possible interpretations of the variables. For example, consider the following pluperfect formula: ``` A1 ∧ B1 ∧ C1 A2 ∧ B2 ∧ C2 ... A_n ∧ B_n

pluperfectness