Ontology Browser
›
logic
› Simplification (∧-elimination)
Simplification (∧-elimination)
Layer 0 — Mathematics
in the
logic
subtree
From a conjunction, either conjunct may be inferred individually.
Related concepts
Logical conjunction (AND)
Explore Simplification (∧-elimination) on the interactive knowledge graph →