Linked from

The 33 pages that link to Negation, each with the reason it gives.

• Truth tableBroader topic: Its output column flips the input value in every row.

• Intuitionistic logicRelated: Here, negation means a proof would turn evidence for the proposition into contradiction.

• Natural deductionRelated: Natural deduction commonly introduces negation by deriving contradiction from an assumption.

• Paraconsistent logicRelated: Paraconsistent logics often alter how negation interacts with contradiction and inference.

• ConsistencyRelated: The definition tests whether both a proposition and its negation are derivable.

• Logical connectiveBroader topic: It is the simplest connective, operating on one proposition.

• Proof by contradictionBroader topic: The method begins by assuming the negation of the statement to be proved.

• Truth valueBroader topic: Negation maps true to false and false to true in the two-valued system.

• ContradictionRelated: Contradiction arises when a claim and its negation are both asserted.

• QuantifierRelated: Negation exchanges universal and existential claims when moved across a quantifier.

• Existential quantificationRelated: Negating an existential claim yields a universal claim that no object qualifies.

• Modus tollensRelated: The rule depends on denying Q and concluding the denial of P.

• DisjunctionRelated: Negating a disjunction yields a conjunction of negated components by De Morgan’s law.

• Independence (mathematical logic)Related: Independence requires that neither the sentence nor its negation be derivable.

• Exclusive orRelated: Negation helps express exclusive or as the negation of equivalence.

• Reductio ad absurdumRelated: Reductio often tests a claim by assuming its negation and deriving an impossibility.

• Auxiliary verbRelated: English normally places not after an auxiliary to form clausal negation.

• Material conditionalRelated: Negating the antecedent yields the disjunction equivalent to the conditional.

• NOT gateRelated: A NOT gate implements logical negation for binary signals.

• Principle of explosionRelated: The contradiction required for explosion pairs a proposition with its negation.

• Augustus De MorganRelated: De Morgan’s laws describe how negation passes through conjunctions and disjunctions.

• Disjunctive syllogismRelated: The second premise negates one disjunct, ruling it out.

• Law of noncontradictionRelated: The law concerns the impossibility of a proposition and its negation both being true.

• Peirce's lawRelated: Expanding implication through negation reveals classical principles equivalent to Peirce's law.

• Atomic formulaCompared with: Negating an atomic formula produces a non-atomic formula in standard syntax.

• Being and NothingnessRelated: Sartre treats consciousness as introducing nothingness into the world through negation.

• Cox's theoremRelated: Cox's treatment of negation supplies the route to a complement rule.

• Sheffer strokeRelated: Applying the stroke to a proposition twice yields its negation.

• Consequentia mirabilisRelated: The principle begins with the proposition's negation as its antecedent.

• Grammatical particleRelated: Many languages use particles to negate clauses or specific phrases.

• If and only ifRelated: Negating an iff’s sides helps derive equivalent forms and test its truth conditions.

• Modus ponendo tollensRelated: The conclusion negates the alternative excluded by the affirmed one.

• NonNarrower topic: Non is one French lexical expression of the broader operation of negation.