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 tollens · Vinony

EntityQ844118· pop 28· linked from 105 articles

modus tollens

Sign in to save

if X implies Y, and Y isn't true, then neither is X

Connections

reductio ad absurdum

first-order logic

International Standard Book Number

ancient history

list of Latin phrases

commutative property

deductive reasoning

propositional calculus

Categories

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

Sources

wikipedia.externallinksexternallink

Similar entities

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

Yoda conditions

Entitydist 0.60

Entitydist 0.62

That that is is that that is not is not is that it it is.

Entitydist 0.62

Entitydist 0.63

Entitydist 0.63

Monadic predicate calculus

Entitydist 0.65

Entitydist 0.65

Entitydist 0.66

Ibis redibis nunquam per bella peribis

Entitydist 0.67

Entitydist 0.67

null coalescing operator

Entitydist 0.67

Entitydist 0.67

What links here105 pages

propositional calculus

problem of evil

experience machine

probabilistic logic

necessity and sufficiency

rule of inference

appeal to consequences

burden of proof

modus ponendo tollens

Charles Sanders Peirce

distributive property

existential quantification

Epistemic closure

disjunction introduction

disjunction elimination

double negation

universal generalization

hypothetical syllogism

psychology of reasoning