Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Last revision Both sides next revision | ||
|
predicate_logic [2016/05/01 15:37] nikolaj |
predicate_logic [2016/05/01 15:38] nikolaj |
||
|---|---|---|---|
| Line 45: | Line 45: | ||
| I came up with | I came up with | ||
| - | $P(!a) \equiv \forall x.\,P(x)\implies x=a$ | + | $P(!a) \equiv \left(\forall x.\,P(x)\implies x=a\right)$ |
| for a predicate $P$, expressing that $P$ only holds for the term $a$. | for a predicate $P$, expressing that $P$ only holds for the term $a$. | ||
