propositional operator
91Computability theory — For the concept of computability, see Computability. Computability theory, also called recursion theory, is a branch of mathematical logic that originated in the 1930s with the study of computable functions and Turing degrees. The field has grown …
92On Denoting — written by Bertrand Russell, is one of the most significant and influential philosophical essays of the 20th century. It was published in the philosophy journal Mind in 1905; then reprinted, in both a special 2005 anniversary issue of the same j …
93Probabilistic logic — The aim of a probabilistic logic (or probability logic) is to combine the capacity of probability theory to handle uncertainty with the capacity of deductive logic to exploit structure. The result is a richer and more expressive formalism with a… …
94Computation tree logic — Computation tree logic (CTL) is a branching time logic, meaning that its model of time is a tree like structure in which the future is not determined; there are different paths in the future, any one of which might be an actual path that is… …
95Exclusive or — The logical operation exclusive disjunction, also called exclusive or (symbolized XOR or EOR), is a type of logical disjunction on two operands that results in a value of “true” if and only if exactly one of the operands has a value of “true”. [… …
96List of mathematics articles (F) — NOTOC F F₄ F algebra F coalgebra F distribution F divergence Fσ set F space F test F theory F. and M. Riesz theorem F1 Score Faà di Bruno s formula Face (geometry) Face configuration Face diagonal Facet (mathematics) Facetting… …
97Monadic Boolean algebra — In abstract algebra, a monadic Boolean algebra is an algebraic structure with signature 〈A, ·, +, , 0, 1, ∃〉 of type 〈2,2,1,0,0,1〉, where 〈A, ·, +, , 0, 1〉 is a Boolean algebra. The prefixed unary operator ∃ denotes the existential quantifier,… …
98Imperative logic — is a field of logic that is concerned with imperatives (e.g. Do A ). Unlike deontic logic, which is concerned with obligation and permission, imperative logic by itself is not necessarily tied to any ought judgments on its imperatives. However,… …
99Calculus — This article is about the branch of mathematics. For other uses, see Calculus (disambiguation). Topics in Calculus Fundamental theorem Limits of functions Continuity Mean value theorem Differential calculus  Derivative Change of variables …
100Disjunctive syllogism — Rules of inference Propositional calculus Modus ponens (A→B, A ⊢ B) Modus tollens (A→B, ¬B ⊢ ¬A) …
