Line 985: |
Line 985: |
| | | |
| <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> |