From a5d29bb96956206b68ceb7fb6882ac63ca2e6c1b Mon Sep 17 00:00:00 2001 From: NotWearingPants <26556598+NotWearingPants@users.noreply.github.com> Date: Sat, 26 Oct 2024 01:04:06 +0300 Subject: [PATCH] Fix wikipedia link (modus ponendo tollens -> modus tollendo ponens) --- .i18n/Game.pot | 2 +- .i18n/en/Game.pot | 2 +- Game.lean | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/.i18n/Game.pot b/.i18n/Game.pot index 13a0dda..ea11f11 100644 --- a/.i18n/Game.pot +++ b/.i18n/Game.pot @@ -3257,7 +3257,7 @@ msgid "\n" "If you take a moment to re-read them again, lines 5, 6, & 7 are all slightly different styles of logical deductions.\n" "\n" "- Line 5 is deducing the negation of the left-hand side of an "if ... then ..." statement. Just for references' sake, we'll give this style of reasoning a name: [**modus tollens**](https://en.wikipedia.org/wiki/Modus_tollens)\n" -"- Line 6 is using the process of elimination on two options. This is the style of reasoning responsible for Sherlock Holmes' most famous quote — "When you have eliminated the impossible, whatever remains, however improbable, must be the truth". We'll give this a name too: [**modus tollendo ponens**](https://en.wikipedia.org/wiki/Modus_ponendo_tollens)\n" +"- Line 6 is using the process of elimination on two options. This is the style of reasoning responsible for Sherlock Holmes' most famous quote — "When you have eliminated the impossible, whatever remains, however improbable, must be the truth". We'll give this a name too: [**modus tollendo ponens**](https://en.wikipedia.org/wiki/Modus_tollendo_ponens)\n" "- Line 7 is the conclusion and is applying the "if ... then ..." statement on line 3. We'll call this one [**modus ponens**](https://en.wikipedia.org/wiki/Modus_ponens).\n" "\n" "We won't always be denoting these with Latin names, but the general process of being able to give some generically useful deductive reasoning a name is nice. It makes them easier to reference. During the course of this game some of your proofs will be given names and correspondingly unlocked in your inventory. Thus names are a way to avoid proving the same thing over and over again.\n" diff --git a/.i18n/en/Game.pot b/.i18n/en/Game.pot index c6bdbf0..0d25c82 100644 --- a/.i18n/en/Game.pot +++ b/.i18n/en/Game.pot @@ -3005,7 +3005,7 @@ msgid "# An Introduction to Constructive Logic\n" "If you take a moment to re-read them again, lines 5, 6, & 7 are all slightly different styles of logical deductions.\n" "\n" "- Line 5 is deducing the negation of the left-hand side of an \"if ... then ...\" statement. Just for references' sake, we'll give this style of reasoning a name: [**modus tollens**](https://en.wikipedia.org/wiki/Modus_tollens)\n" -"- Line 6 is using the process of elimination on two options. This is the style of reasoning responsible for Sherlock Holmes' most famous quote — \"When you have eliminated the impossible, whatever remains, however improbable, must be the truth\". We'll give this a name too: [**modus tollendo ponens**](https://en.wikipedia.org/wiki/Modus_ponendo_tollens)\n" +"- Line 6 is using the process of elimination on two options. This is the style of reasoning responsible for Sherlock Holmes' most famous quote — \"When you have eliminated the impossible, whatever remains, however improbable, must be the truth\". We'll give this a name too: [**modus tollendo ponens**](https://en.wikipedia.org/wiki/Modus_tollendo_ponens)\n" "- Line 7 is the conclusion and is applying the \"if ... then ...\" statement on line 3. We'll call this one [**modus ponens**](https://en.wikipedia.org/wiki/Modus_ponens).\n" "\n" "We won't always be denoting these with Latin names, but the general process of being able to give some generically useful deductive reasoning a name is nice. It makes them easier to reference. During the course of this game some of your proofs will be given names and correspondingly unlocked in your inventory. Thus names are a way to avoid proving the same thing over and over again.\n" diff --git a/Game.lean b/Game.lean index a28af4b..130bf69 100755 --- a/Game.lean +++ b/Game.lean @@ -65,7 +65,7 @@ Does this argument convince you? The validity of this argument can be made more If you take a moment to re-read them again, lines 5, 6, & 7 are all slightly different styles of logical deductions. - Line 5 is deducing the negation of the left-hand side of an \"if ... then ...\" statement. Just for references' sake, we'll give this style of reasoning a name: [**modus tollens**](https://en.wikipedia.org/wiki/Modus_tollens) -- Line 6 is using the process of elimination on two options. This is the style of reasoning responsible for Sherlock Holmes' most famous quote — \"When you have eliminated the impossible, whatever remains, however improbable, must be the truth\". We'll give this a name too: [**modus tollendo ponens**](https://en.wikipedia.org/wiki/Modus_ponendo_tollens) +- Line 6 is using the process of elimination on two options. This is the style of reasoning responsible for Sherlock Holmes' most famous quote — \"When you have eliminated the impossible, whatever remains, however improbable, must be the truth\". We'll give this a name too: [**modus tollendo ponens**](https://en.wikipedia.org/wiki/Modus_tollendo_ponens) - Line 7 is the conclusion and is applying the \"if ... then ...\" statement on line 3. We'll call this one [**modus ponens**](https://en.wikipedia.org/wiki/Modus_ponens). We won't always be denoting these with Latin names, but the general process of being able to give some generically useful deductive reasoning a name is nice. It makes them easier to reference. During the course of this game some of your proofs will be given names and correspondingly unlocked in your inventory. Thus names are a way to avoid proving the same thing over and over again.