MyWikiBiz, Author Your Legacy — Sunday September 29, 2024
Jump to navigationJump to search
341 bytes removed
, 19:10, 27 January 2009
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> |