FORMAL / LOGICAL SYSTEMS

IOTA LOGIC / EQUATIONAL LOGIC


Certain logical operators work both as variables and as
operators. Thus, when they are used together, they can be used
without changing any of the other operators within the equation.
The only form of commutation necessary is where the sign is
located in relation to the equals sign.

These signs include =, but also a number of signs I have invented,
includiing:


                         [Colophon Symbol]
                  Colon to the left: Automatically reach left answer.
                  Colon to the right: Multiply every term left by right.


                         [Akhenaton Symbol]: Third wheels.
                         E.g. with brackets afterwards or a colon
                         to the left or right.



                         [God Variable]: Infinity + 1 or any value
                         including infinity for each variable.



                         [Demi-God Variable]: God, exception
                        conditions cannot be met. All variables are
                        undefined, or value is less than negative
                        infinity.

                         [Dragon Symbol]
                         For every dragon there is an infinite iteration.


                         [Theophrastus Symbol]
                      A way of introducing logical conjectures to
                      mathematics (x = y theophrastus : conjecture).

Also included are a selection of logical symbols such as:






(Necessary Conditional,  Coherency, Sometimes, and Ambigute,


So, for example,


             |           : +10  |  = increment a previous answer 10.

OR (Another example...)

All                {a,b,c…n}                       f             x

E.g. because a coherent function contains all data.
OR,

                             {if}               Infinite


E.g. because a coherent function of i contains all possibilities.

More in the as-yet-unpublished
Dimensional Mathematics
Toolkit,
by Nathan Coppedge.



              
BACK TO SYSTEMS