# conditional proof, rule of

- The rule in a deductive system that if A
_{1}…A_{n}⊦ B then A_{1}…A_{n–}⊦ A_{n}→ B.

*Philosophy dictionary.
Academic.
2011.*

### Look at other dictionaries:

**conditional proof**— conditional proof, rule of … Philosophy dictionary**Conditional immortality**— Conditional immortality, or conditionalism, is the Christian doctrine that the human soul is naturally mortal, and that immortality is granted by God as a gift. Immortality, therefore, is conditional; this viewpoint stands in contrast to the more … Wikipedia**Conditional preservation of the saints**— The Five Articles of Remonstrance Conditional election Unlimited atonement Total depravity … Wikipedia**Chain rule for Kolmogorov complexity**— The chain rule for Kolmogorov complexity is an analogue of the chain rule for information entropy, which states: H(X,Y) = H(X) + H(Y | X) That is, the combined randomness of two sequences X and Y is the sum of the randomness of X plus whatever… … Wikipedia**Propositional calculus**— In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… … Wikipedia**List of mathematics articles (C)**— NOTOC C C closed subgroup C minimal theory C normal subgroup C number C semiring C space C symmetry C* algebra C0 semigroup CA group Cabal (set theory) Cabibbo Kobayashi Maskawa matrix Cabinet projection Cable knot Cabri Geometry Cabtaxi number… … Wikipedia**Outline of logic**— The following outline is provided as an overview of and topical guide to logic: Logic – formal science of using reason, considered a branch of both philosophy and mathematics. Logic investigates and classifies the structure of statements and… … Wikipedia**Deduction theorem**— In mathematical logic, the deduction theorem is a metatheorem of first order logic.[1] It is a formalization of the common proof technique in which an implication A → B is proved by assuming A and then proving B from this assumption.… … Wikipedia**List of topics in logic**— This is a list of topics in logic.See also: List of mathematical logic topicsAlphabetical listAAbacus logic Abduction (logic) Abductive validation Affine logic Affirming the antecedent Affirming the consequent Antecedent Antinomy Argument form… … Wikipedia**formal logic**— the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium