Ontology Browser › logic › Modus ponens

Modus ponens

Layer 0 — Mathematicsin the logic subtree

From A and (A implies B), one may infer B.

Related concepts

Material implication
Modus tollens
Hypothetical syllogism
Valid argument
Adiabatic compression: T·V^(γ-1) = const; γ=5/3 monatomic

Explore Modus ponens on the interactive knowledge graph →

This is a text summary of a node in the layered-reality ontology. Full formal statements, tags, and the complete dependency graph are available via the interactive application after completing a proof-of-work challenge.