Mathematics MOC

Iverson bracket

Let 𝑝 be a proposition. The Iverson bracket is defined as follows general

[𝑝]={1𝑝0¬𝑝

This is a generalization of the Kronecker delta.

---

tidy | en | SemBr