| Line 2,702: |
Line 2,702: |
| | | | |
| | ===Rule 8=== | | ===Rule 8=== |
| − |
| |
| − | <pre>
| |
| − | Rule 8
| |
| − |
| |
| − | If S, T are sentences
| |
| − | about things in the universe U,
| |
| − |
| |
| − | then the following are equivalent:
| |
| − |
| |
| − | R8a. S <=> T. :D7a
| |
| − | ::
| |
| − | R8b. [S] = [T]. :D7b
| |
| − | :R7a
| |
| − | ::
| |
| − | R8c. [S](u) = [T](u), for all u C U. :R7b
| |
| − | ::
| |
| − | R8d. ConjUu ( [S](u) = [T](u) ). :R7c
| |
| − | ::
| |
| − | R8e. ConjUu ( [S](u) <=> [T](u) ). :R7d
| |
| − | ::
| |
| − | R8f. ConjUu (( [S](u) , [T](u) )). :R7e
| |
| − | ::
| |
| − | R8g. ConjUu (( [S] , [T] ))$(u). :R7f
| |
| − | </pre>
| |
| | | | |
| | <br> | | <br> |