Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
predicate_logic [2015/10/13 20:56] nikolaj |
predicate_logic [2016/05/01 15:37] nikolaj |
||
---|---|---|---|
Line 42: | Line 42: | ||
the first time, which we use to introduce new notation. | the first time, which we use to introduce new notation. | ||
+ | |||
+ | I came up with | ||
+ | |||
+ | $P(!a) \equiv \forall x.\,P(x)\implies x=a$ | ||
+ | |||
+ | for a predicate $P$, expressing that $P$ only holds for the term $a$. | ||
We also use the abbreviation | We also use the abbreviation |