Autosave: 2024-06-16 18:00:05

zk/Atomic_and_molecular_propositions.md

@@ -1,5 +1,7 @@
 ---
-tags: [propositional-logic]
+tags:
+  - propositional-logic
+  - logic
 ---
 
 # Atomic and molecular propositions

zk/CPU_architecture.md

@@ -1,5 +1,8 @@
 ---
-tags: [CPU, electromagnetism, clock]
+tags:
+  - CPU
+  - clock
+  - computer-architecture
 ---
 
 # CPU architecture

zk/Circuits.md

@@ -1,5 +1,8 @@
 ---
-tags: [electricity, circuits]
+tags:
+  - electricity
+  - circuits
+  - electronics
 ---
 
 # Circuits

zk/Classes.md

@@ -241,7 +241,7 @@ constructor with `super`.
 
 You shouldn't confuse `implements` with `extends`. `implements` just checks the
 class as an interface in accordance with the principles of
-[duck typing](Custom_types.md#duck-typing):
+[duck typing](Custom_types_in_TypeScript.md#duck-typing):
 i.e the implementing class should have the same properties and methods. It
 doesn't affect anything internal to the methods or properties. So e.g, if you
 typed a method parameter as `string` in the base class, this would still default

zk/Clock_signals.md

@@ -1,5 +1,10 @@
 ---
-tags: [binary, memory, clock, electromagnetism]
+tags:
+  - binary
+  - memory
+  - clock
+  - electromagnetism
+  - hardware
 ---
 
 # Clock signals

zk/Commutativity.md

@@ -1,6 +1,8 @@
 ---
 tags:
   - theorems
+  - algebra
+  - number-theory
 ---
 
 # The Commutative Property of Addition and Multiplication

zk/Conditional_Elimination.md

@@ -1,5 +1,7 @@
 ---
-tags: []
+tags:
+  - propositional-logic
+  - logic
 ---
 
 # Conditional elimination

zk/Conditional_Introduction.md

@@ -1,5 +1,7 @@
 ---
-tags: []
+tags:
+  - propositional-logic
+  - logic
 ---
 
 # Conditional Introduction

zk/Conjunction_Elimination.md

@@ -1,5 +1,7 @@
 ---
-tags: []
+tags:
+  - propositional-logic
+  - logic
 ---
 
 # Conditional Elimination

zk/Conjunction_Introduction.md

@@ -1,5 +1,7 @@
 ---
-tags: []
+tags:
+  - propositional-logic
+  - logic
 ---
 
 If two conjuncts have each been independently derived then they can be

zk/Corresponding_material_and_biconditional.md

@@ -1,5 +1,7 @@
 ---
-tags: [propositional-logic]
+tags:
+  - propositional-logic
+  - logic
 ---
 
 # Corresponding material conditional to show validity

zk/Create_timed_systemd_job.md

@@ -2,6 +2,8 @@
 tags:
   - systems-programming
   - systemd
+  - Linux
+  - procedural
 ---
 
 # Create timed `systemd` job

zk/Creating_a_Linux_partition_table.md

@@ -1,7 +1,9 @@
 ---
 id: h7f8
 title: Creating_a_Linux_partition_table
-tags: [disks]
+tags:
+  - disks
+  - Linux
 created: Monday, May 06, 2024
 ---
 

zk/Cron.md

@@ -1,6 +1,8 @@
 ---
 tags:
   - shell
+  - Linux
+  - procedural
 ---
 
 # Cron

zk/Daemons.md

@@ -1,5 +1,6 @@
 ---
 tags:
+  - computer-architecture
 ---
 
 # Daemons

zk/Formal_proofs_in_propositional_logic.md

@@ -1,5 +1,7 @@
 ---
-tags: [propositional-logic]
+tags:
+  - propositional-logic
+  - logic
 ---
 
 # Formal proofs in propositional logic

zk/Law_of_Non_Contradiction.md

@@ -1,5 +1,7 @@
 ---
-tags: [propositional-logic]
+tags:
+  - propositional-logic
+  - logic
 ---
 
 # Law of Non-Contradiction

zk/Law_of_the_Excluded_Middle.md

@@ -1,5 +1,7 @@
 ---
-tags: [propositional-logic]
+tags:
+  - propositional-logic
+  - logic
 ---
 
 # Law of the Excluded Middle

zk/Logical_consistency.md

@@ -1,5 +1,7 @@
 ---
-tags: [propositional-logic]
+tags:
+  - propositional-logic
+  - logic
 ---
 
 # Logical consistency

zk/Logical_equivalence.md

@@ -1,5 +1,7 @@
 ---
-tags: [propositional-logic]
+tags:
+  - propositional-logic
+  - logic
 ---
 
 # Logical equivalence

zk/Logical_indeterminacy.md

@@ -1,5 +1,7 @@
 ---
-tags: [propositional-logic]
+tags:
+  - propositional-logic
+  - logic
 ---
 
 # Logical indeterminacy

zk/Logical_possibility_and_necessity.md

@@ -1,5 +1,7 @@
 ---
-tags: [propositional-logic]
+tags:
+  - propositional-logic
+  - logic
 ---
 
 # Logical possibility and necessity

zk/Logical_truth_and_falsity.md

@@ -1,5 +1,7 @@
 ---
-tags: [propositional-logic]
+tags:
+  - propositional-logic
+  - logic
 ---
 
 # Logical truth and falsity

zk/Object_language_and_meta_language.md

@@ -1,5 +1,7 @@
 ---
-tags: [propositional-logic]
+tags:
+  - propositional-logic
+  - logic
 ---
 
 # Object and metalanguages

zk/Primitive_types.md

@@ -42,7 +42,7 @@ since it becomes similar to using [any](Any.md) given that most primitive
 types in JavaScripts prototypically inherit from an Object.
 
 Generally, when you use objects in TypeScript you type them as
-[custom types](Custom_types.md).
+[custom types](Custom_types_in_TypeScript.md).
 
 ## Array of (untyped) objects
 

zk/Soundness.md

@@ -1,5 +1,7 @@
 ---
-tags: [propositional-logic]
+tags:
+  - propositional-logic
+  - logic
 ---
 
 # Soundness

zk/Strategies_for_constructing_proofs.md

@@ -1,5 +1,7 @@
 ---
-tags: [propositional-logic]
+tags:
+  - propositional-logic
+  - logic
 ---
 
 # Strategies for constructing proofs in propositional logic

zk/Syllogism.md

@@ -1,5 +1,7 @@
 ---
-tags: [propositional-logic]
+tags:
+  - propositional-logic
+  - logic
 ---
 
 # Syllogism

zk/Syntax_of_propositional_logic.md

@@ -1,5 +1,7 @@
 ---
-tags: [propositional-logic]
+tags:
+  - propositional-logic
+  - logic
 ---
 
 # Syntax of propositional logic

zk/Theorems_and_empty_sets.md

@@ -1,5 +1,7 @@
 ---
-tags: [propositional-logic]
+tags:
+  - propositional-logic
+  - logic
 ---
 
 We know that when we construct a

zk/Truth_functional_connectives.md

@@ -1,5 +1,7 @@
 ---
-tags: [propositional-logic]
+tags:
+  - propositional-logic
+  - logic
 ---
 
 # Truth-functional connectives

zk/Validity_and_entailment.md

@@ -1,5 +1,7 @@
 ---
-tags: [propositional-logic]
+tags:
+  - propositional-logic
+  - logic
 ---
 
 ## Validity