12,080
edits
Changes
Directory: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
|
|
<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