12,154
edits
Changes
MyWikiBiz, Author Your Legacy — Friday November 21, 2025
Jump to navigationJump to searchDirectory: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>
'''…'''
'''…'''
