diff options
| author | Christopher Brannon <chris@the-brannons.com> | 2022-12-21 06:24:49 -0800 |
|---|---|---|
| committer | Leah Neukirchen <leah@vuxu.org> | 2022-12-21 19:03:01 +0100 |
| commit | 5d0b418ffe871b9b1ce8fcdf31786ad737401508 (patch) | |
| tree | 4b84ebffd395caefc30884cbccdc81f6d76cb1bd | |
| parent | 8580001ef44f7a8da3b97c439473cb204a0e34f5 (diff) | |
| download | mew-5d0b418ffe871b9b1ce8fcdf31786ad737401508.tar.gz mew-5d0b418ffe871b9b1ce8fcdf31786ad737401508.tar.xz mew-5d0b418ffe871b9b1ce8fcdf31786ad737401508.zip | |
antedecent -> antecedent
Closes: #1 [via git-merge-pr]
| -rw-r--r-- | mew.svnwiki | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/mew.svnwiki b/mew.svnwiki index 0099046..00b4724 100644 --- a/mew.svnwiki +++ b/mew.svnwiki @@ -291,10 +291,10 @@ but {{<kons>}} always takes the accumulator as first arguments, and the items after. This is more practical when multiple {{lists}} are passed. -<syntax>(imp <antedecent>... <consequent>)<syntax> +<syntax>(imp <antecedent>... <consequent>)<syntax> -Material implication: evaluate {{<antedecent>...}} until one is false, -then shortcut and return true. If all {{<antedecent>...}} are true, +Material implication: evaluate {{<antecedent>...}} until one is false, +then shortcut and return true. If all {{<antecedent>...}} are true, evaluate {{<consequent>}}. |