diff --git a/Logic/Laws_and_theorems.md/Corresponding_material_and_biconditional.md b/Logic/Laws_and_theorems.md/Corresponding_material_and_biconditional.md
index 70c3bde..78a6733 100644
--- a/Logic/Laws_and_theorems.md/Corresponding_material_and_biconditional.md
+++ b/Logic/Laws_and_theorems.md/Corresponding_material_and_biconditional.md
@@ -1,7 +1,7 @@
 ---
 categories:
-  - Mathematics
-tags: [logic]
+  - Logic
+tags: [propositional-logic]
 ---
 
 ## Corresponding material conditional to show validity