Changes

Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory (view source)

Revision as of 11:12, 14 December 2008

132 bytes added , 11:12, 14 December 2008

→‎Higher Order Propositions and Logical Operators (''n'' = 2): spaced out equations

Line 246: Line 246:

{| 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>

|}

Line 252: Line 252:

{| 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>'''

|}

Line 258: Line 258:

{| 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>

|}

Line 264: Line 264:

{| 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>

|}

Jon Awbrey

12,080

edits