Ken Iverson: Difference between revisions
Jump to navigation
Jump to search
Typo
Miraheze>Adám Brudzewsky |
Miraheze>RikedyP (Typo) |
||
Line 10: | Line 10: | ||
=== Iverson bracket === | === Iverson bracket === | ||
In mathematics, the '''Iverson bracket''' | In mathematics, the '''Iverson bracket''' generalises the Kronecker delta. It converts any logical proposition into a number that is 1 if the proposition is satisfied, and 0 otherwise, and is generally written by putting the proposition inside square brackets: | ||
:<math>[P] = \begin{cases} 1 & \text{if } P \text{ is true;} \\ 0 & \text{otherwise,} \end{cases}</math> | :<math>[P] = \begin{cases} 1 & \text{if } P \text{ is true;} \\ 0 & \text{otherwise,} \end{cases}</math> | ||
where {{math|''P''}} is a statement that can be true or false. | where {{math|''P''}} is a statement that can be true or false. |