Concept: simplification
Label (en): conjunction elimination
Description (en): inference in propositional logic
Also known as (en): simplification
Label (es): simplificación
Also known as (es): simplificacion
Label (ca): simplificació
Label (it): eliminazione della congiunzione
Instance of: theorem, rule of inference
Subclass of: change, simplification