the propositional function preceding may be called the antecedent or the conditioning propositional function, and fx the consequent propositional function or the prediction; and the general implication, (x) fx), asserts that all values of which satisfy also satisfy.