Converse implication

Converse implication is the converse of implication. That is to say; that for any two propositions P and Q, if Q implies P, then P is the converse implication of Q.

It may take the following forms:

p⊂q, Bpq, or p←q

Definition

Truth table

The truth table of A⊂B

a	b	⊂
T	T	T
T	F	T
F	T	F
F	F	T

Venn diagram

The Venn diagram of "If B then A" (the white area shows where the statement is false)

Properties

truth-preserving: The interpretation under which all variables are assigned a truth value of 'true' produces a truth value of 'true' as a result of converse implication.

Symbol

Natural language

"Not q without p."

"p if q."

Boolean Algebra

(A + B')

Computer Science

See also

• Logical connective
• Material implication

This logic-related article is a stub. You can help Wikipedia by expanding it.v · Categories: Propositional calculus Logical connectives Logic stubs Wikimedia Foundation. 2010. Игры ⚽ Нужно решить контрольную? The Weather Channel (Australia) Programming Olsobip Rural LLG Look at other dictionaries: Converse nonimplication — In logic, converse nonimplication is a logical connective which is the negation of the converse of implication. Contents 1 Definition 1.1 Truth table 1.2 Venn diagram …   Wikipedia converse — ● converse adjectif et nom féminin (latin conversa, de convertere, convertir) Dans la logique aristotélicienne, se dit d une proposition dont la place du sujet et la place de l attribut ont été interverties par rapport à une autre proposition.… …   Encyclopédie Universelle Converse (logic) — In logic, the converse of a categorical or implicational statement is the result of reversing its two parts. For the implication P → Q, the converse is Q → P. For the categorical proposition All S is P, the converse is All P is S. In neither case …   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 Logical connective — This article is about connectives in classical logic. For connectors in natural languages, see discourse connective. For connectives and operators in other logics, see logical constant. For other logical symbols, see table of logic symbols. In… …   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 Material conditional — The material conditional, also known as material implication, is a binary truth function, such that the compound sentence p→q (typically read if p then q or p implies q ) is logically equivalent to the negative compound: not (p and not q). A… …   Wikipedia Entailment — For other uses, see Entail (disambiguation). In logic, entailment is a relation between a set of sentences (e.g.,[1] meaningfully declarative sentences or truthbearers) and a sentence. Let Γ be a set of one or more sentences; let S1 be the… …   Wikipedia 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 Negation — For other uses, see Negation (disambiguation). In logic and mathematics, negation, also called logical complement, is an operation on propositions, truth values, or semantic values more generally. Intuitively, the negation of a proposition is… …   Wikipedia 18+ © Academic, 2000-2024 Contact us: Technical Support, Advertising Dictionaries export, created on PHP, Joomla, Drupal, WordPress, MODx. Mark and share Search through all dictionaries Translate… Search Internet Share the article and excerpts Direct link … Do a right-click on the link above and select “Copy Link”