Changes

==Case analysis-synthesis theorem==

==Case analysis-synthesis theorem==

===Discusssion===

===Discussion===

The task at hand is build a bridge between model-theoretic and proof-theoretic perspectives on logical procedure, though for now we join them at a point so close to their common source that it may not seem worth the candle at all.  The substance of this principle was known to Boole in the 1850's, tantamount to what we now call the ''boolean expansion'' of a propositional expression.  The only novelty here resides in a certain manner of presentation, in which we will prove the basic principle from the axioms given before.  One name for this rule is the ''Case Analysis-Synthesis Theorem'' (CAST).

The task at hand is build a bridge between model-theoretic and proof-theoretic perspectives on logical procedure, though for now we join them at a point so close to their common source that it may not seem worth the candle at all.  The substance of this principle was known to Boole in the 1850's, tantamount to what we now call the ''boolean expansion'' of a propositional expression.  The only novelty here resides in a certain manner of presentation, in which we will prove the basic principle from the axioms given before.  One name for this rule is the ''Case Analysis-Synthesis Theorem'' (CAST).