diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-07-18 18:26:52 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-07-18 18:29:59 -0400 |
| commit | 229e2cd2f5c78b13c483a8559dead2c8f31d8e42 (patch) | |
| tree | 9d6a1ff0100bda7632948987352b3d6614c3eeb5 /doc/logic.md | |
| parent | 010b97c8cf346dfeafc289ae66f77e8c61cd9865 (diff) | |
Terminology changes: subject, 1/2-modifier, Box/Unbox to Enclose/Merge, blocks
Diffstat (limited to 'doc/logic.md')
| -rw-r--r-- | doc/logic.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/logic.md b/doc/logic.md index 0e38fb1d..638bdace 100644 --- a/doc/logic.md +++ b/doc/logic.md @@ -14,7 +14,7 @@ We define: And ← × Or ← ×⌾¬ -Note that `¬⁼ ←→ ¬`, since the first added 1 will be negated but the second won't; the two 1s cancel leaving two subtractions, and `-⁼ ←→ -`. An alternate definition of Or that matches the typical formula from probability theory is +Note that `¬⁼ ←→ ¬`, since when applying `¬` twice the first added 1 will be negated but the second won't; the two 1s cancel leaving two subtractions, and `-⁼ ←→ -`. An alternate definition of Or that matches the typical formula from probability theory is Or ← +-× |