Open main menu
Home
Random
Log in
Settings
About MyWikiBiz
Disclaimers
MyWikiBiz
Search
Changes
← Older edit
Newer edit →
Talk:Logical graph
(view source)
Revision as of 18:32, 12 December 2008
41 bytes added
,
18:32, 12 December 2008
→Functional Quantifiers
:
add explicit types for clarity
Line 432:
Line 432:
{| align="center" cellpadding="8"
{| align="center" cellpadding="8"
−
| <math>\Upsilon \langle u \rangle =
1
\quad \Leftrightarrow \quad u =
1
.</math>
+
| <math>\Upsilon \langle u \rangle =
1_\mathbb{B}
\quad \Leftrightarrow \quad u =
1_{\mathbb{B}^2 \to \mathbb{B}}
.</math>
|}
|}
Jon Awbrey
12,080
edits