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.

modus ponens · Vinony

EntityQ655742· pop 31· linked from 197 articles

modus ponens

Sign in to save

if X implies Y, and X is true, then Y is true

Connections

double negation

William Shakespeare

Artificial intelligence

Bertrand Russell

Ludwig Wittgenstein

International Standard Book Number

digital object identifier

International Standard Serial Number

Alfred North Whitehead

list of Latin phrases

Categories

Classical logic Latin logical phrases Rules of inference Theorems in propositional logic

Sources

wikipedia.externallinksexternallink

What links here197 pages

rule of inference

propositional calculus

Curry–Howard correspondence

conjunction elimination

probabilistic logic

material implication

inference engine

deduction theorem

simply typed lambda calculus

Possibility theory

modus ponendo tollens

What the Tortoise Said to Achilles

Charles Sanders Peirce

distributive property

necessity and sufficiency

logical negation

existential quantification

normal modal logic

Similar entities

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

Entitydist 0.48

indicative conditional

Entitydist 0.50

Entitydist 0.54

Entitydist 0.54

Gödel's ontological proof

Entitydist 0.55

Entitydist 0.56

English subjunctive

Entitydist 0.56

Entitydist 0.56

dialectical logic

Entitydist 0.56

Entitydist 0.57

declarative sentence

Entitydist 0.57

Entitydist 0.58