Changes

Directory talk:Jon Awbrey/Papers/Differential Propositional Calculus (view source)

Revision as of 15:22, 28 May 2008

2 bytes added , 15:22, 28 May 2008

cleanup

Line 2,079: Line 2,079:

=Work Area 1=

−

~~==Propositional Forms on Two Variables==~~

−

To broaden our experience with simple examples, let us now contemplate the sixteen functions of concrete type <math>X \times Y \to \mathbb{B}</math> and abstract type <math>\mathbb{B} \times \mathbb{B} \to \mathbb{B}.</math> For future reference, I will set here a few Tables that detail the actions of <math>\operatorname{E}</math> and <math>\operatorname{D}</math> on each of these functions, allowing us to view the results in several different ways.

−

~~By way of initial orientation, Table 1 lists equivalent expressions for the sixteen functions in a number of different languages for zeroth order logic.~~

{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:lightcyan; text-align:center; width:96%"

Line 2,317: Line 2,311:

=Work Area 2=

+

===Propositional Forms on Two Variables===

+

To broaden our experience with simple examples, let us now contemplate the sixteen functions of concrete type <math>X \times Y \to \mathbb{B}</math> and abstract type <math>\mathbb{B} \times \mathbb{B} \to \mathbb{B}.</math> For future reference, I will set here a few Tables that detail the actions of <math>\operatorname{E}</math> and <math>\operatorname{D}</math> on each of these functions, allowing us to view the results in several different ways.

+

By way of initial orientation, Table 1 lists equivalent expressions for the sixteen functions in a number of different languages for zeroth order logic.

{| align="center" border="1" cellpadding="4" cellspacing="0" style="font-weight:bold; text-align:center; width:96%"

Jon Awbrey

12,080

edits