Changes

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

Revision as of 06:08, 12 December 2014

647 bytes added , 06:08, 12 December 2014

add cats

Line 647: Line 647:

\texttt{(} x \texttt{)~} y \texttt{~}

\\

−

\texttt{(} x \texttt{)~~~~~~~}

+

\texttt{(} x \texttt{)[[User:Jon Awbrey|Jon Awbrey]] ([[User talk:Jon Awbrey|talk]])}

\\

\texttt{~} x \texttt{~(} y \texttt{)}

\\

−

\texttt{~~~~~~~(} y \texttt{)}

+

\texttt{[[User:Jon Awbrey|Jon Awbrey]] ([[User talk:Jon Awbrey|talk]])(} y \texttt{)}

\\

\texttt{(} x \texttt{,~} y \texttt{)}

Line 712: Line 712:

\texttt{((} x \texttt{,~} y \texttt{))}

\\

−

\texttt{~~~~~} y \texttt{~~}

+

\texttt{06:08, 12 December 2014 (UTC)} y \texttt{~~}

\\

\texttt{~(} x \texttt{~(} y \texttt{))}

\\

−

\texttt{~~} x \texttt{~~~~~}

+

\texttt{~~} x \texttt{06:08, 12 December 2014 (UTC)}

\\

\texttt{((} x \texttt{)~} y \texttt{)~}

Line 3,480: Line 3,480:

\\[20pt]

\mathrm{D}f_{8}

−

& = & ~~~~~~~ 0 ~~ \cdot ~ \texttt{(} \mathrm{d}u \texttt{)} \texttt{(} \mathrm{d}v \texttt{)}

+

& = & [[User:Jon Awbrey|Jon Awbrey]] ([[User talk:Jon Awbrey|talk]]) 0 ~~ \cdot ~ \texttt{(} \mathrm{d}u \texttt{)} \texttt{(} \mathrm{d}v \texttt{)}

−

& + & ~~~~~~~ u ~~ \cdot ~ \texttt{(} \mathrm{d}u \texttt{)} \mathrm{d}v

+

& + & [[User:Jon Awbrey|Jon Awbrey]] ([[User talk:Jon Awbrey|talk]]) u ~~ \cdot ~ \texttt{(} \mathrm{d}u \texttt{)} \mathrm{d}v

−

& + & ~~~~~~~~ v ~~ \cdot ~ \mathrm{d}u \texttt{(} \mathrm{d}v \texttt{)}

+

& + & [[User:Jon Awbrey|Jon Awbrey]] ([[User talk:Jon Awbrey|talk]]) 06:08, 12 December 2014 (UTC) v ~~ \cdot ~ \mathrm{d}u \texttt{(} \mathrm{d}v \texttt{)}

& + & \texttt{((} u \texttt{,} v \texttt{))} \cdot \mathrm{d}u ~ \mathrm{d}v

\end{array}\!</math>

Line 4,470: Line 4,470:

[[Category:Adaptive Systems]]

[[Category:Artificial Intelligence]]

+

[[Category:Boolean Algebra]]

[[Category:Boolean Functions]]

+

[[Category:Charles Sanders Peirce]]

[[Category:Combinatorics]]

+

[[Category:Computational Complexity]]

[[Category:Computer Science]]

[[Category:Cybernetics]]

Line 4,477: Line 4,480:

[[Category:Discrete Systems]]

[[Category:Dynamical Systems]]

+

[[Category:Equational Reasoning]]

[[Category:Formal Languages]]

[[Category:Formal Sciences]]

Line 4,483: Line 4,487:

[[Category:Group Theory]]

[[Category:Inquiry]]

+

[[Category:Inquiry Driven Systems]]

+

[[Category:Knowledge Representation]]

[[Category:Linguistics]]

[[Category:Logic]]

+

[[Category:Logical Graphs]]

[[Category:Mathematics]]

[[Category:Mathematical Systems Theory]]

[[Category:Philosophy]]

+

[[Category:Propositional Calculus]]

[[Category:Science]]

[[Category:Semiotics]]

[[Category:Systems Science]]

[[Category:Visualization]]

Jon Awbrey

12,122

edits