From 4bde8b8441bee53dcae12e600d73d5c79a4d9110 Mon Sep 17 00:00:00 2001
From: Flancian <0@flancia.org>
Date: Sat, 12 Dec 2020 13:24:57 +0100
Subject: [PATCH] Auto: misc.

---
 absolute.md           | 2 ++
 formal-logic.md       | 4 ++++
 hypothesis.md         | 2 ++
 mathematical-logic.md | 7 +++++++
 4 files changed, 15 insertions(+)
 create mode 100644 absolute.md
 create mode 100644 formal-logic.md
 create mode 100644 mathematical-logic.md

diff --git a/absolute.md b/absolute.md
new file mode 100644
index 000000000..4446b4697
--- /dev/null
+++ b/absolute.md
@@ -0,0 +1,2 @@
+# Absolute
+
diff --git a/formal-logic.md b/formal-logic.md
new file mode 100644
index 000000000..f3d807266
--- /dev/null
+++ b/formal-logic.md
@@ -0,0 +1,4 @@
+# Formal Logic
+
+- [[see also]] [[mathematical logic]]
+
diff --git a/hypothesis.md b/hypothesis.md
index f33095441..c7d5ef9d1 100644
--- a/hypothesis.md
+++ b/hypothesis.md
@@ -2,6 +2,8 @@
 
 - [[go]] https://en.wikipedia.org/wiki/Hypothesis
   - "A hypothesis (plural hypotheses) is a proposed explanation for a phenomenon. For a hypothesis to be a scientific hypothesis, the scientific method requires that one can test it."
+  - "A working hypothesis is a provisionally accepted hypothesis proposed for further research, in a process beginning with an educated guess or thought."
+- In [[formal logic]], the [[antecedent]] of a [[proposition]].
 - See also: [[hypothes.is]].
 
 
diff --git a/mathematical-logic.md b/mathematical-logic.md
new file mode 100644
index 000000000..7593fea42
--- /dev/null
+++ b/mathematical-logic.md
@@ -0,0 +1,7 @@
+# Mathematical Logic
+
+- [[go]] https://en.wikipedia.org/wiki/Mathematical_logic
+
+[//begin]: # "Autogenerated link references for markdown compatibility"
+[go]: go "Go"
+[//end]: # "Autogenerated link references"
\ No newline at end of file