en:proof^en

• n.
  ⦿a formal series of statements showing that if one thing is true something else necessarily follows from it
  lexical concept

Semantic relations

Display as 📊 diagram🗄️ table or learn more about the individual relations.

! Data may be omitted; view table for full details.

Lexical context

External links

Other