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.

Biconditional introduction · Vinony

EntityQ4903714· pop 5· linked from 49 articles

Biconditional introduction

Sign in to save

Inference in propositional logic

Connections

commutative property

propositional calculus

distributive property

De Morgan's laws

material implication

first-order logic

logical consequence

rule of inference

Categories

Rules of inference Theorems in propositional logic

What links here49 pages

conjunction elimination

rule of inference

modus ponendo tollens

Charles Sanders Peirce

distributive property

existential quantification

disjunction introduction

disjunction elimination

hypothetical syllogism

double negation

universal generalization

law of noncontradiction

principle of excluded middle

Ludwig Wittgenstein

existential generalization

constructive dilemma

propositional calculus

Similar entities

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

Conjunction introduction

Entitydist 0.19

immediate inference

Entitydist 0.28

disjunction introduction

Entitydist 0.33

disjunction elimination

Entitydist 0.35

logical biconditional

Entitydist 0.42

Entitydist 0.43

material implication

Entitydist 0.49

disjunctive normal form

Entitydist 0.50

conjunctive normal form

Entitydist 0.52

Entitydist 0.53

past subjunctive

Entitydist 0.55

deduction theorem

Entitydist 0.57