substitution rule
121History of logic — Philosophy ( …
122Double switch — In baseball, the double switch is a type of player substitution. The double switch allows a manager to make a pitching substitution and defensive (fielding) substitution while at the same time improving the offensive (batting) lineup of a team.… …
123Covariance and contravariance (computer science) — Within the type system of a programming language, covariance and contravariance refers to the ordering of types from narrower to wider and their interchangeability or equivalence in certain situations (such as parameters, generics, and return… …
124Resolution (logic) — In mathematical logic and automated theorem proving, resolution is a rule of inference leading to a refutation theorem proving technique for sentences in propositional logic and first order logic. In other words, iteratively applying the… …
125List of fallacies — For specific popular misconceptions, see List of common misconceptions. A fallacy is incorrect argumentation in logic and rhetoric resulting in a lack of validity, or more generally, a lack of soundness. Contents 1 Formal fallacies 1.1… …
126logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher …
127Brazilian military government — Federative Republic of Brazil (Republic of United States of Brazil until 1967) Republica Federativa do Brasil (República dos Estados Unidos do Brasil until 1967) Military dictatorship …
128Calculus with polynomials — Topics in Calculus Fundamental theorem Limits of functions Continuity Mean value theorem Differential calculus  Derivative Change of variables Implicit differentiation Taylor s theorem Related rates …
