12,080
edits
Changes
Directory:Jon Awbrey/Papers/Differential Propositional Calculus (view source)
Revision as of 14:10, 3 June 2008
, 14:10, 3 June 2008→Work In Progress: synchronize copies
|}
|}
|}
|}
<br>
'''…'''
'''…'''
<math>(\mathbb{B}^n\ +\!\to \mathbb{B})</math><br>
<math>(\mathbb{B}^n\ +\!\to \mathbb{B})</math><br>
<math>[\mathbb{B}^n]</math>
<math>[\mathbb{B}^n]</math>
|}<br>
|}
<br>
Table 5 summarizes the basic notations that are needed to describe the (first order) differential extensions of propositional calculi in a corresponding manner.
Table 5 summarizes the basic notations that are needed to describe the (first order) differential extensions of propositional calculi in a corresponding manner.
<math>(\mathbb{D}^n\ +\!\to \mathbb{B})</math><br>
<math>(\mathbb{D}^n\ +\!\to \mathbb{B})</math><br>
<math>[\mathbb{D}^n]</math>
<math>[\mathbb{D}^n]</math>
|}<br>
|}
<br>
'''…'''
'''…'''