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> |