nonimplication
11Entailment — 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… …
12Contradiction — In classical logic, a contradiction consists of a logical incompatibility between two or more propositions. It occurs when the propositions, taken together, yield two conclusions which form the logical, usually opposite inversions of each other.… …
13Negation — 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… …
14Logical NOR — This article is about NOR in the logical sense. For the electronic gate, see NOR gate. For other uses, see Nor. Venn diagram of In boolean logic, logical nor or joint denial is a truth functional operator which produces a result that is the… …
15Logical 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… …
16Material 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… …
17OR gate — This article is about OR in the sense of an electronic logic gate (e.g. CMOS 4071). For OR in the purely logical sense, see Logical disjunction. INPUT A   B OUTPUT A + B 0 0 0 0 1 1 1 0 1 …
18Logical equality — For the corresponding concept in combinational logic, see XNOR gate. XNOR Logic Gate Symbol Logical equality is a logical operator that corresponds to equality in Boolean algebra and to the logical biconditional in propositional calculus. It… …
19XNOR gate — XNOR Truth Table Input Output A B 0 0 1 0 1 0 1 0 0 1 1 1 The XNOR gate (sometimes spelled exnor or enor ) is a digital logic gate whose function is the inverse of the exclusive …
20NOR gate — This article is about NOR in the sense of an electronic logic gate (e.g. CMOS 4001). For NOR in the purely logical sense, see Logical NOR. For other uses of NOR or Nor, see Nor (disambiguation). 4001 redirects here. For the year, see 5th… …
