Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Food Places Asteroids Exoplanets Artists Albums Gazetteer Search

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

list of rules of inference · Vinony

Home
Logic-related lists
list of rules of inference

🌐English

English Español Italiano Português فارسی ไทย 中文

EntityQ15439057· pop 6· linked from 124 articles

list of rules of inference

Wikimedia list article

Available in 6 languages

Español
Português
Italiano
فارسی
ไทย

via Wikidata sitelinks · CC0

Connections

Categories

Logic-related lists Mathematics-related lists Rules of inference

Sheffer stroke

Entity

conjunction elimination

mathematical proof

mathematical logic

Boolean algebra

commutative property

critical thinking

Sign in to save

Similar entities

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

Category:Theories of deduction

Entitydist 0.36

Category:Deductive reasoning

Entitydist 0.36

list of grammatical cases

Entitydist 0.37

rule of inference

Entitydist 0.39

list of logicians

Entitydist 0.41

list of conjectures

Entitydist 0.42

list of misquotations

Entitydist 0.43

Category:Wikipedia essays explaining processes

Entitydist 0.43

Template:Bayesian statistics

Entitydist 0.43

Category:Wikipedia essays about consensus

Entitydist 0.44

Category:Theories of truth

Entitydist 0.44

Category:Formalism (deductive)

Entitydist 0.44

What links here124 pages

conjunction elimination

proof by example

logical contradiction

metamathematics

rule of inference

boolean satisfiability problem

modus ponendo tollens

distributive property

necessity and sufficiency

existential quantification

logical consequence

Cantor–Bernstein–Schroeder theorem

disjunction introduction

disjunction elimination

universal generalization

hypothetical syllogism

double negation