Infinitary logic logical axiom, an element of T, or is deduced from previous statements using a rule of inference. As before, all rules of inference in finitary logic can be used, together with an additional one: The logical axiom schemata specific to infinitary logic are presented below. Global schemata variables: formula_3 and formula_18 such that formula_23. The last two axiom schemata require the axiom of choice because certain sets must be well orderable. The last axiom schema is strictly speaking unnecessary as Chang's distributivity laws imply it, however it is included as a natural way to allow natural weakenings to the logic.
Contraposition (traditional logic) from universal to particular. Also, notice that contraposition is a method of inference which may require the use of other rules of inference. The contrapositive is the product of the method of contraposition, with different outcomes depending upon whether the contraposition is full, or partial. The successive applications of conversion and obversion within the process of contraposition may be given by a variety of names. The process of the logical equivalence of a statement and its contrapositive as defined in traditional class logic is "not" one of the axioms of propositional logic. In traditional logic there is more than one