12,080
edits
Changes
Directory talk:Jon Awbrey/Papers/Differential Logic : Introduction (view source)
Revision as of 18:58, 29 November 2015
, 18:58, 29 November 2015no edit summary
(p)~q~
(p)~q~
\\[4pt]
\\[4pt]
(p)[[User:Jon Awbrey|Jon Awbrey]] ([[User talk:Jon Awbrey|talk]])
(p)~ ~
\\[4pt]
\\[4pt]
~p~(q)
~p~(q)
\\[4pt]
\\[4pt]
~ ~(q)
\\[4pt]
\\[4pt]
(p,~q)
(p,~q)
((p,~q))
((p,~q))
\\[4pt]
\\[4pt]
~ ~ ~q~~
\\[4pt]
\\[4pt]
~(p~(q))
~(p~(q))
\\[4pt]
\\[4pt]
~~p18:36, 29 November 2015 (UTC)
~~p~ ~ ~
\\[4pt]
\\[4pt]
((p)~q)~
((p)~q)~