12,080
edits
Changes
Directory:Jon Awbrey/Papers/Differential Propositional Calculus (view source)
Revision as of 15:49, 12 May 2008
, 15:49, 12 May 2008move complex example down to [expository examples]
==Casual introduction==
==Casual introduction==
…
==Formal development==
…
==Expository examples==
Consider the logical proposition represented by the following venn diagram:
Consider the logical proposition represented by the following venn diagram:
* The fibers of 1 under the propositions <math>u, v, w\!</math> are the respective subsets <math>U, V, W \subseteq X.</math>
* The fibers of 1 under the propositions <math>u, v, w\!</math> are the respective subsets <math>U, V, W \subseteq X.</math>
…
…