diff --git a/zk/Atomic_and_molecular_propositions.md b/zk/Atomic_and_molecular_propositions.md index 531ca73..62ba7c0 100644 --- a/zk/Atomic_and_molecular_propositions.md +++ b/zk/Atomic_and_molecular_propositions.md @@ -1,5 +1,7 @@ --- -tags: [propositional-logic] +tags: + - propositional-logic + - logic --- # Atomic and molecular propositions diff --git a/zk/CPU_architecture.md b/zk/CPU_architecture.md index 9d55000..b2fc0cb 100644 --- a/zk/CPU_architecture.md +++ b/zk/CPU_architecture.md @@ -1,5 +1,8 @@ --- -tags: [CPU, electromagnetism, clock] +tags: + - CPU + - clock + - computer-architecture --- # CPU architecture diff --git a/zk/Circuits.md b/zk/Circuits.md index c7db663..c7e4369 100644 --- a/zk/Circuits.md +++ b/zk/Circuits.md @@ -1,5 +1,8 @@ --- -tags: [electricity, circuits] +tags: + - electricity + - circuits + - electronics --- # Circuits diff --git a/zk/Classes.md b/zk/Classes.md index f16bade..74a25fd 100644 --- a/zk/Classes.md +++ b/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 diff --git a/zk/Clock_signals.md b/zk/Clock_signals.md index b60ab56..a93f1f0 100644 --- a/zk/Clock_signals.md +++ b/zk/Clock_signals.md @@ -1,5 +1,10 @@ --- -tags: [binary, memory, clock, electromagnetism] +tags: + - binary + - memory + - clock + - electromagnetism + - hardware --- # Clock signals diff --git a/zk/Commutativity.md b/zk/Commutativity.md index a462188..efa63c2 100644 --- a/zk/Commutativity.md +++ b/zk/Commutativity.md @@ -1,6 +1,8 @@ --- tags: - theorems + - algebra + - number-theory --- # The Commutative Property of Addition and Multiplication diff --git a/zk/Conditional_Elimination.md b/zk/Conditional_Elimination.md index e9ba974..2d6ba47 100644 --- a/zk/Conditional_Elimination.md +++ b/zk/Conditional_Elimination.md @@ -1,5 +1,7 @@ --- -tags: [] +tags: + - propositional-logic + - logic --- # Conditional elimination diff --git a/zk/Conditional_Introduction.md b/zk/Conditional_Introduction.md index 1c0d44f..ac1bbe6 100644 --- a/zk/Conditional_Introduction.md +++ b/zk/Conditional_Introduction.md @@ -1,5 +1,7 @@ --- -tags: [] +tags: + - propositional-logic + - logic --- # Conditional Introduction diff --git a/zk/Conditionals.md b/zk/Conditionals_in_Bash.md similarity index 100% rename from zk/Conditionals.md rename to zk/Conditionals_in_Bash.md diff --git a/zk/Conjunction_Elimination.md b/zk/Conjunction_Elimination.md index 71a10ea..bb34ba2 100644 --- a/zk/Conjunction_Elimination.md +++ b/zk/Conjunction_Elimination.md @@ -1,5 +1,7 @@ --- -tags: [] +tags: + - propositional-logic + - logic --- # Conditional Elimination diff --git a/zk/Conjunction_Introduction.md b/zk/Conjunction_Introduction.md index 3dc9411..be90243 100644 --- a/zk/Conjunction_Introduction.md +++ b/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 diff --git a/zk/Controlled_components.md b/zk/Controlled_components_in_React.md similarity index 100% rename from zk/Controlled_components.md rename to zk/Controlled_components_in_React.md diff --git a/zk/Corresponding_material_and_biconditional.md b/zk/Corresponding_material_and_biconditional.md index 7126bf2..7cc54f5 100644 --- a/zk/Corresponding_material_and_biconditional.md +++ b/zk/Corresponding_material_and_biconditional.md @@ -1,5 +1,7 @@ --- -tags: [propositional-logic] +tags: + - propositional-logic + - logic --- # Corresponding material conditional to show validity diff --git a/zk/Create_timed_systemd_job.md b/zk/Create_timed_systemd_job.md index 797fe8a..9150e40 100644 --- a/zk/Create_timed_systemd_job.md +++ b/zk/Create_timed_systemd_job.md @@ -2,6 +2,8 @@ tags: - systems-programming - systemd + - Linux + - procedural --- # Create timed `systemd` job diff --git a/zk/Creating_a_Linux_partition_table.md b/zk/Creating_a_Linux_partition_table.md index de4e0cf..01278da 100644 --- a/zk/Creating_a_Linux_partition_table.md +++ b/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 --- diff --git a/zk/Cron.md b/zk/Cron.md index 943410a..02beace 100644 --- a/zk/Cron.md +++ b/zk/Cron.md @@ -1,6 +1,8 @@ --- tags: - shell + - Linux + - procedural --- # Cron diff --git a/zk/Custom_types.md b/zk/Custom_types_in_TypeScript.md similarity index 100% rename from zk/Custom_types.md rename to zk/Custom_types_in_TypeScript.md diff --git a/zk/Daemons.md b/zk/Daemons.md index 9820d59..a52f71c 100644 --- a/zk/Daemons.md +++ b/zk/Daemons.md @@ -1,5 +1,6 @@ --- tags: + - computer-architecture --- # Daemons diff --git a/zk/Formal_proofs_in_propositional_logic.md b/zk/Formal_proofs_in_propositional_logic.md index 6cc5431..e6d21c5 100644 --- a/zk/Formal_proofs_in_propositional_logic.md +++ b/zk/Formal_proofs_in_propositional_logic.md @@ -1,5 +1,7 @@ --- -tags: [propositional-logic] +tags: + - propositional-logic + - logic --- # Formal proofs in propositional logic diff --git a/zk/Law_of_Non_Contradiction.md b/zk/Law_of_Non_Contradiction.md index 11c2d6e..6163960 100644 --- a/zk/Law_of_Non_Contradiction.md +++ b/zk/Law_of_Non_Contradiction.md @@ -1,5 +1,7 @@ --- -tags: [propositional-logic] +tags: + - propositional-logic + - logic --- # Law of Non-Contradiction diff --git a/zk/Law_of_the_Excluded_Middle.md b/zk/Law_of_the_Excluded_Middle.md index 9d5fcdd..4ef6b4b 100644 --- a/zk/Law_of_the_Excluded_Middle.md +++ b/zk/Law_of_the_Excluded_Middle.md @@ -1,5 +1,7 @@ --- -tags: [propositional-logic] +tags: + - propositional-logic + - logic --- # Law of the Excluded Middle diff --git a/zk/Logical_consistency.md b/zk/Logical_consistency.md index 01b2572..9952841 100644 --- a/zk/Logical_consistency.md +++ b/zk/Logical_consistency.md @@ -1,5 +1,7 @@ --- -tags: [propositional-logic] +tags: + - propositional-logic + - logic --- # Logical consistency diff --git a/zk/Logical_equivalence.md b/zk/Logical_equivalence.md index ab155bc..ba744ea 100644 --- a/zk/Logical_equivalence.md +++ b/zk/Logical_equivalence.md @@ -1,5 +1,7 @@ --- -tags: [propositional-logic] +tags: + - propositional-logic + - logic --- # Logical equivalence diff --git a/zk/Logical_indeterminacy.md b/zk/Logical_indeterminacy.md index f11667f..833fe92 100644 --- a/zk/Logical_indeterminacy.md +++ b/zk/Logical_indeterminacy.md @@ -1,5 +1,7 @@ --- -tags: [propositional-logic] +tags: + - propositional-logic + - logic --- # Logical indeterminacy diff --git a/zk/Logical_possibility_and_necessity.md b/zk/Logical_possibility_and_necessity.md index 75a6792..d73f96f 100644 --- a/zk/Logical_possibility_and_necessity.md +++ b/zk/Logical_possibility_and_necessity.md @@ -1,5 +1,7 @@ --- -tags: [propositional-logic] +tags: + - propositional-logic + - logic --- # Logical possibility and necessity diff --git a/zk/Logical_truth_and_falsity.md b/zk/Logical_truth_and_falsity.md index f132d95..00ba254 100644 --- a/zk/Logical_truth_and_falsity.md +++ b/zk/Logical_truth_and_falsity.md @@ -1,5 +1,7 @@ --- -tags: [propositional-logic] +tags: + - propositional-logic + - logic --- # Logical truth and falsity diff --git a/zk/Object_language_and_meta_language.md b/zk/Object_language_and_meta_language.md index fbadd6b..e112c0a 100644 --- a/zk/Object_language_and_meta_language.md +++ b/zk/Object_language_and_meta_language.md @@ -1,5 +1,7 @@ --- -tags: [propositional-logic] +tags: + - propositional-logic + - logic --- # Object and metalanguages diff --git a/zk/Primitive_types.md b/zk/Primitive_types.md index 434bc34..69b3b6c 100644 --- a/zk/Primitive_types.md +++ b/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 diff --git a/zk/Components.md b/zk/React_Components.md similarity index 100% rename from zk/Components.md rename to zk/React_Components.md diff --git a/zk/Soundness.md b/zk/Soundness.md index 27049ac..707cdd8 100644 --- a/zk/Soundness.md +++ b/zk/Soundness.md @@ -1,5 +1,7 @@ --- -tags: [propositional-logic] +tags: + - propositional-logic + - logic --- # Soundness diff --git a/zk/Strategies_for_constructing_proofs.md b/zk/Strategies_for_constructing_proofs.md index 47f2aff..b568a3a 100644 --- a/zk/Strategies_for_constructing_proofs.md +++ b/zk/Strategies_for_constructing_proofs.md @@ -1,5 +1,7 @@ --- -tags: [propositional-logic] +tags: + - propositional-logic + - logic --- # Strategies for constructing proofs in propositional logic diff --git a/zk/Syllogism.md b/zk/Syllogism.md index f3a49fa..c31db33 100644 --- a/zk/Syllogism.md +++ b/zk/Syllogism.md @@ -1,5 +1,7 @@ --- -tags: [propositional-logic] +tags: + - propositional-logic + - logic --- # Syllogism diff --git a/zk/Syntax_of_propositional_logic.md b/zk/Syntax_of_propositional_logic.md index 7380daf..1c0ef49 100644 --- a/zk/Syntax_of_propositional_logic.md +++ b/zk/Syntax_of_propositional_logic.md @@ -1,5 +1,7 @@ --- -tags: [propositional-logic] +tags: + - propositional-logic + - logic --- # Syntax of propositional logic diff --git a/zk/Theorems_and_empty_sets.md b/zk/Theorems_and_empty_sets.md index 4edd309..f551549 100644 --- a/zk/Theorems_and_empty_sets.md +++ b/zk/Theorems_and_empty_sets.md @@ -1,5 +1,7 @@ --- -tags: [propositional-logic] +tags: + - propositional-logic + - logic --- We know that when we construct a diff --git a/zk/Truth_functional_connectives.md b/zk/Truth_functional_connectives.md index 5141b8a..f8b9c25 100644 --- a/zk/Truth_functional_connectives.md +++ b/zk/Truth_functional_connectives.md @@ -1,5 +1,7 @@ --- -tags: [propositional-logic] +tags: + - propositional-logic + - logic --- # Truth-functional connectives diff --git a/zk/Validity_and_entailment.md b/zk/Validity_and_entailment.md index 1f464b8..e806f1b 100644 --- a/zk/Validity_and_entailment.md +++ b/zk/Validity_and_entailment.md @@ -1,5 +1,7 @@ --- -tags: [propositional-logic] +tags: + - propositional-logic + - logic --- ## Validity