12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Sunday April 06, 2025
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Differential Logic : Introduction (view source)
Revision as of 16:32, 29 November 2015
, 16:32, 29 November 2015→Cactus Language for Propositional Logic
Line 76:
Line 76:
|
|
<math>\begin{matrix}
<math>\begin{matrix}
−a ~\mathrm{implies}~ b
+a ~\text{implies}~ b
\\[6pt]
\\[6pt]
\mathrm{if}~ a ~\mathrm{then}~ b
\mathrm{if}~ a ~\mathrm{then}~ b
