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.

Conjunction introduction · Vinony

EntityQ5161172· pop 7· linked from 54 articles

Conjunction introduction

Sign in to save

rule of inference of propositional logic

Connections

International Standard Book Number

commutative property

propositional calculus

distributive property

De Morgan's laws

logical conjunction

first-order logic

logical consequence

rule of inference

hypothetical syllogism

Categories

Rules of inference Theorems in propositional logic

Sources

wikipedia.externallinksexternallink

What links here54 pages

conjunction elimination

rule of inference

Fitch's paradox of knowability

Charles Sanders Peirce

modus ponendo tollens

distributive property

existential quantification

disjunction introduction

disjunction elimination

double negation

universal generalization

hypothetical syllogism

law of noncontradiction

principle of excluded middle

Ludwig Wittgenstein

existential generalization

constructive dilemma

Similar entities

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

Biconditional introduction

Entitydist 0.19

disjunction elimination

Entitydist 0.22

disjunction introduction

Entitydist 0.30

immediate inference

Entitydist 0.36

disjunctive normal form

Entitydist 0.41

Entitydist 0.42

conjunctive normal form

Entitydist 0.43

past subjunctive

Entitydist 0.48

Entitydist 0.50

deduction theorem

Entitydist 0.52

material implication

Entitydist 0.52

Entitydist 0.53