12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Friday November 22, 2024
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Functional Logic : Quantification Theory (view source)
Revision as of 11:12, 14 December 2008
, 11:12, 14 December 2008→Higher Order Propositions and Logical Operators (''n'' = 2): spaced out equations
{| align="center" cellpadding="8"
{| align="center" cellpadding="8"
| <math>X = \langle \mathcal{X} \rangle = \langle u, v \rangle = \{ (u, v) \} \cong \mathbb{B}^2.</math>
| <math>X \quad = \quad \langle \mathcal{X} \rangle \quad = \quad \langle u, v \rangle \quad = \quad \{ (u, v) \} \quad \cong \quad \mathbb{B}^2.</math>
|}
|}
{| align="center" cellpadding="8"
{| align="center" cellpadding="8"
| '''<math>X = \{\!</math> <code>(u)(v)</code> , <code>(u)v</code> , <code>u(v)</code> , <code>uv</code> <math>\} \cong \mathbb{B}^2.</math>'''
| '''<math>X \quad = \quad \{\!</math> <code>(u)(v)</code> , <code>(u)v</code> , <code>u(v)</code> , <code>uv</code> <math>\} \quad \cong \quad \mathbb{B}^2.</math>'''
|}
|}
{| align="center" cellpadding="8"
{| align="center" cellpadding="8"
| <math>X = \{\ (0, 0),\ (0, 1),\ (1, 0),\ (1, 1)\ \} \cong \mathbb{B}^2.</math>
| <math>X \quad = \quad \{\ (0, 0),\ (0, 1),\ (1, 0),\ (1, 1)\ \} \quad \cong \quad \mathbb{B}^2.</math>
|}
|}
{| align="center" cellpadding="8"
{| align="center" cellpadding="8"
| <math>X^\uparrow = (X \to \mathbb{B}) = \{ f : X \to \mathbb{B} \} \cong (\mathbb{B}^2 \to \mathbb{B}).</math>
| <math>X^\uparrow \quad = \quad (X \to \mathbb{B}) \quad = \quad \{ f : X \to \mathbb{B} \} \quad \cong \quad (\mathbb{B}^2 \to \mathbb{B}).</math>
|}
|}
