538
edits
Predicate logic: Difference between revisions
cheo higher-orderness example
No edit summary |
(cheo higher-orderness example) |
||
| Line 22: | Line 22: | ||
<blockquote> | <blockquote> | ||
{{t|cheo}}: ___ all satisfy binary relation ___ among each other. | {{t|cheo}}: ___ all satisfy binary relation ___ among each other.<br> | ||
<math>\text{Cheo}(x, R) \iff \forall a \forall b ( \text{Among}(a, x) \wedge \text{Among}(b, x) \wedge (a \neq b) \to R(a, b))</math> | |||
</blockquote> | </blockquote> | ||