Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

double negation · Vinony

EntityQ5300067· pop 10· linked from 102 articles

double negation

Sign in to save

theorem

Connections

rule of inference

rule of replacement

Georg Wilhelm Friedrich Hegel

Bertrand Russell

International Standard Book Number

Alfred North Whitehead

commutative property

propositional calculus

equivalence relation

distributive property

logical negation

De Morgan's laws

Jan Łukasiewicz

principle of excluded middle

first-order logic

Categories

Classical logic Rules of inference Theorems in propositional logic

What links here102 pages

propositional calculus

De Morgan's laws

monotonicity of entailment

paraconsistent logic

law of noncontradiction

principle of bivalence

rule of replacement

Charles Sanders Peirce

classical logic

principle of explosion

Ludwig Wittgenstein

principle of excluded middle

Problem of multiple generality

existential graph

philosophical logic

philosophy of mathematics

Russian grammar

disjunctive normal form

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

deduction theorem

Entitydist 0.41

Conjunction introduction

Entitydist 0.58

conjunctive normal form

Entitydist 0.59

Biconditional introduction

Entitydist 0.60

disjunction elimination

Entitydist 0.60

immediate inference

Entitydist 0.62

Entitydist 0.62

disjunction introduction

Entitydist 0.64

past subjunctive

Entitydist 0.65

disjunctive normal form

Entitydist 0.65

Entitydist 0.66

material implication

Entitydist 0.66