MyWikiBiz, Author Your Legacy — Thursday May 09, 2024
Jump to navigationJump to search
14 bytes added
, 20:24, 29 May 2009
Line 445: |
Line 445: |
| | (x (y)) | | | (x (y)) |
| | not x without y | | | not x without y |
− | | x → y | + | | x ⇒ y |
| |- | | |- |
| | f<sub>12</sub> | | | f<sub>12</sub> |
Line 459: |
Line 459: |
| | ((x) y) | | | ((x) y) |
| | not y without x | | | not y without x |
− | | x ← y | + | | x ⇐ y |
| |- | | |- |
| | f<sub>14</sub> | | | f<sub>14</sub> |
Line 477: |
Line 477: |
| <br> | | <br> |
| | | |
− | {| align="center" border="1" cellpadding="6" cellspacing="0" style="font-weight:bold; text-align:center; width:90%" | + | {| align="center" border="1" cellpadding="6" cellspacing="0" style="background:#f8f8ff; font-weight:bold; text-align:center; width:90%" |
| |+ '''Table 14. Differential Propositions''' | | |+ '''Table 14. Differential Propositions''' |
− | |- style="background:ghostwhite" | + | |- style="background:#f0f0ff" |
| | | | | |
| | align="right" | A : | | | align="right" | A : |
Line 486: |
Line 486: |
| | | | | |
| | | | | |
− | |- style="background:ghostwhite" | + | |- style="background:#f0f0ff" |
| | | | | |
| | align="right" | dA : | | | align="right" | dA : |
Line 705: |
Line 705: |
| | | | | |
| ¬A ∨ ¬dA<br> | | ¬A ∨ ¬dA<br> |
− | A → dA<br> | + | A ⇒ dA<br> |
− | A ← dA<br> | + | A ⇐ dA<br> |
| A ∨ dA | | A ∨ dA |
| |} | | |} |