12,144
edits
Changes
User:Jon Awbrey/SCRATCHPAD (view source)
Revision as of 14:45, 27 January 2009
, 14:45, 27 January 2009→Proof Schemata
<br>
<br>
<pre>
Logical Translation Rule 0
If Sj is a sentence
about things in the universe U
and Pj is a proposition
about things in the universe U
such that:
L0a. [Sj] = Pj, for all j C J,
then the following equations are true:
L0b. [ConcJj Sj] = ConjJj [Sj] = ConjJj Pj.
L0c. [SurcJj Sj] = SurjJj [Sj] = SurjJj Pj.
</pre>