MyWikiBiz, Author Your Legacy — Thursday November 06, 2025
Jump to navigationJump to search
158 bytes removed
, 18:06, 31 January 2009
| Line 2,420: |
Line 2,420: |
| | | | |
| | ===Definition 7=== | | ===Definition 7=== |
| − |
| |
| − | <pre>
| |
| − | Definition 7
| |
| − |
| |
| − | If S, T are sentences
| |
| − | about things in the universe U,
| |
| − |
| |
| − | then the following are equivalent:
| |
| − |
| |
| − | D7a. S <=> T.
| |
| − |
| |
| − | D7b. [S] = [T].
| |
| − | </pre>
| |
| − |
| |
| − | <br>
| |
| | | | |
| | {| align="center" cellpadding="0" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black" width="90%" | | {| align="center" cellpadding="0" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black" width="90%" |