Biconditional elimination
- Biconditional elimination
Biconditional elimination allows one to infer a conditional from a biconditional: if ( A ↔ B ) is true, then one may infer either direction of the biconditional, ( A → B ) and ( B → A ).
For example, if it's true that I'm breathing if and only if I'm alive, then it's true that if I'm breathing, I'm alive; likewise, it's true that if I'm alive, I'm breathing.
Formally:
( A ↔ B ) ∴ ( A → B )
also
( A ↔ B ) ∴ ( B → A )
ee also
*Logical biconditional
*If and only if
Wikimedia Foundation.
2010.
Look at other dictionaries:
Logical biconditional — In logic and mathematics, the logical biconditional (sometimes known as the material biconditional) is the logical connective of two statements asserting p if and only if q , where q is a hypothesis (or antecedent) and p is a conclusion (or… … Wikipedia
Disjunction elimination — Rules of inference Propositional calculus Modus ponens (A→B, A ⊢ B) Modus tollens (A→B, ¬B ⊢ ¬A) … Wikipedia
Double negative elimination — In propositional logic, the inference rules double negative elimination (also called double negation elimination, double negative introduction, double negation introduction, or simply double negation) allow deriving the double negative equivalent … 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
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
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
List of rules of inference — This is a list of rules of inference, logical laws that relate to mathematical formulae.IntroductionRules of inference are syntactical transformation rules which one can use to infer a conclusion from a premise to create an argument. A set of… … Wikipedia
Disjunctive syllogism — Rules of inference Propositional calculus Modus ponens (A→B, A ⊢ B) Modus tollens (A→B, ¬B ⊢ ¬A) … Wikipedia
Modus ponens — Rules of inference Propositional calculus Modus ponens (A→B, A ⊢ B) Modus tollens (A→B, ¬B ⊢ ¬A) … Wikipedia
Simplification — Rules of inference Propositional calculus Modus ponens (A→B, A ⊢ B) Modus tollens (A→B, ¬B ⊢ ¬A) … Wikipedia
