predicate

999	axioms
724	variables
716	verb
715	predicates
709	algebra
700	infinite
699	propositional
699	arbitrary
699	finite
698	logic

previous:	predetermined
next:	predict
random:	Zeger

More distant neighbors

negation theorem logical syntactic algebraic trivial calculus propositions arithmetic semantics semantic constraint grammatical subset Boolean equivalence rational matrix noun verbs formulas matrices generalized polynomial recursive definitions inverse implies parameter logically proposition probability vector theorems notation mathematical define relation discrete

Back