diff --git a/zk/Law_of_Non-Contradiction.md b/zk/Law_of_Non_Contradiction.md
similarity index 100%
rename from zk/Law_of_Non-Contradiction.md
rename to zk/Law_of_Non_Contradiction.md
diff --git a/zk/Object_language_and_meta-language.md b/zk/Object_language_and_meta_language.md
similarity index 100%
rename from zk/Object_language_and_meta-language.md
rename to zk/Object_language_and_meta_language.md
diff --git a/zk/Truth-functional_connectives.md b/zk/Truth_functional_connectives.md
similarity index 100%
rename from zk/Truth-functional_connectives.md
rename to zk/Truth_functional_connectives.md
diff --git a/zk/Truth-tables.md b/zk/Truth_tables.md
similarity index 100%
rename from zk/Truth-tables.md
rename to zk/Truth_tables.md
diff --git a/zk/Truth-trees.md b/zk/Truth_trees.md
similarity index 100%
rename from zk/Truth-trees.md
rename to zk/Truth_trees.md