Material nonimplication

Venn diagram of $A \nrightarrow B$

Material nonimplication or abjunction (latin ab = "from", junctio =–"joining") is the negation of implication. That is to say that for any two propositions P and Q, if P does not imply Q, then P is the material nonimplication of Q.

It may be written using logical notation as:

p⊅q

Lpq

p↛q

Definition

Truth table

p	q	$~\nrightarrow$
T	T	F
T	F	T
F	T	F
F	F	F

Properties

falsehood-preserving: The interpretation under which all variables are assigned a truth value of 'false' produces a truth value of 'false' as a result of material nonimplication.

Symbol

The symbol for material nonimplication is simply a crossed-out material implication symbol. Its Unicode symbol is 8603 (decimal).

Natural language

Grammatical

Rhetorical

"It's not the case that p implies q."
"p but not q."

Colloquial

"Just because p, doesn't mean q."

Boolean Algebra

(A'+B)'

Computer Science

C: (A&(~B))

See also

This mathematical logic-related article is a stub. You can help Wikipedia by expanding it.v ·

This logic-related article is a stub. You can help Wikipedia by expanding it.v · Categories: Propositional calculus Logical connectives Mathematical logic stubs Logic stubs Wikimedia Foundation. 2010. Игры ⚽ Поможем решить контрольную работу Asbach, Birkenfeld Converse nonimplication Look at other dictionaries: 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 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 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 Logical conjunction — ∧ redirects here. For exterior product, see exterior algebra. Venn diagram of …   Wikipedia List of mathematics articles (M) — NOTOC M M estimator M group M matrix M separation M set M. C. Escher s legacy M. Riesz extension theorem M/M/1 model Maass wave form Mac Lane s planarity criterion Macaulay brackets Macbeath surface MacCormack method Macdonald polynomial Machin… …   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 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 Logical disjunction — Disjunction redirects here. For separation of chromosomes, see Meiosis. For disjunctions in distribution, see Disjunct distribution. Venn diagram of the logical disjunction of A and B …   Wikipedia 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 Contents 1 Definition 1.1 Truth table 1.2 …   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”