| Line 983: |
Line 983: |
| | | | | | |
| | |} | | |} |
| − |
| |
| − | <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>
| |
| | | | |
| | <br> | | <br> |