From 3fe0a4131fa9d296567b7ed46bd9e6ac37064695 Mon Sep 17 00:00:00 2001
From: Luc <luc@bijl.us>
Date: Tue, 21 Nov 2023 21:52:30 +0100
Subject: [PATCH] Updated math section.

---
 config/en/mkdocs.yaml        |  2 +-
 docs/en/mathematics/logic.md | 21 +++++++++++++++++++++
 docs/en/mathematics/start.md | 17 ++++++++++++++++-
 3 files changed, 38 insertions(+), 2 deletions(-)
 create mode 100644 docs/en/mathematics/logic.md

diff --git a/config/en/mkdocs.yaml b/config/en/mkdocs.yaml
index 0629ed8..cd88d95 100755
--- a/config/en/mkdocs.yaml
+++ b/config/en/mkdocs.yaml
@@ -41,6 +41,7 @@ nav:
   - 'Welcome': index.md
   - 'Mathematics':
     - 'Start': mathematics/start.md
+    - 'Logic': mathematics/logic.md
     - 'Calculus': 
       - 'Limits': mathematics/calculus/limits.md
       - 'Continuity': mathematics/calculus/continuity.md
@@ -67,7 +68,6 @@ nav:
       - 'Second order differential equations': mathematics/ordinary-differential-equations/second-order-ode.md
       - 'Systems of linear differential equations': mathematics/ordinary-differential-equations/systems-of-linear-ode.md
       - 'The Laplace transform': mathematics/ordinary-differential-equations/laplace-transform.md
-    
 
   - 'Physics':
     - 'Start': physics/start.md
diff --git a/docs/en/mathematics/logic.md b/docs/en/mathematics/logic.md
new file mode 100644
index 0000000..808f1ec
--- /dev/null
+++ b/docs/en/mathematics/logic.md
@@ -0,0 +1,21 @@
+# Logic
+
+> *Definition*: a statement is a sentence that is either true or false, never both.
+
+> *Definition* **- Logical operators**: let $A$ and $B$ be assertions. 
+> * The assertion $A$ and $B$ ($A \land B$) is true, iff both $A$ and $B$ are true.
+> * The assertion $A$ or $B$ ($A \lor B$) is true, iff at least one of $A$ and $B$ is true.
+> * The negation of $A$ ($\neg A$) is true iff $A$ is false.
+
+> *Definition* **- Implies**: if $A$ and $B$ are assertions then the assertion if $A$ then $B$ ($A \implies B$) is true iff
+> * $A$ is true and $B$ is true,
+> * $A$ is false and $B$ is true,
+> * $A$ is false and $B$ is false.
+> 
+> This also works the opposite way, if $B$ then $A$ ($A \Longleftarrow B$)
+
+> *Definition* **- If and only if**: if $A$ and $B$ are assertions then the assertion $A$ if and only if $B$ (A \iff B) is true iff
+> * $(A \Longleftarrow B) \land (a \implies B)$.
+>
+> This leads to the following table.
+
diff --git a/docs/en/mathematics/start.md b/docs/en/mathematics/start.md
index 5ad52e7..12bed28 100755
--- a/docs/en/mathematics/start.md
+++ b/docs/en/mathematics/start.md
@@ -1,3 +1,18 @@
 # Mathematics
 
-Welcome to the mathematics page.
\ No newline at end of file
+Welcome to the mathematics page. Some special mathematical environments that will be used in this section are listed and explained below.
+
+* *Definitions* : a precise and unambiguous description of the meaning of a mathematical term. It char-
+acterizes the meaning of a word by giving all the properties and only those properties that must be
+true.
+* *Theorems* : a mathematical statement that is proved to be true using rigorous mathematical reasoning. In
+a mathematical text, the term theorem is often reserved for the most important results.
+* *Propositions* : an often interesting result, but generally less important than a theorem.
+* *Lemmas* : a minor result whose purpose is to help in proving a theorem. It is a stepping stone on the path
+to proving a theorem.
+* *Corollaries* : a result in which the (usually short) proof relies heavily on a given theorem (we often say
+that this is a corollary to Theorem A).
+* *Proofs* : a convincing argument that a certain mathematical statement is necessarily true. A proof
+generally uses deductive reasoning and logic but also contains some amount of ordinary language.
+* *Examples* : examples help to understand the meaning of a definition, or the impact of a result.
+* *Algorithms* : recipes to do calculations.
\ No newline at end of file