Jump to content

Predicate logic: Difference between revisions

138 bytes added ,  23:23, 11 November 2021
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>